Albert Heinle

26 papers B 5Journal 18Unranked 3
YearRankTypeTitle / Venue / Authors
2024 — conf
AdChain: Decentralized Header Bidding.
MARBLE
Behkish Nassirzadeh, Albert Heinle, Stefanos Leonardos, M. Anwar Hasan, Vijay Ganesh
2024 J jnl
AdChain: Decentralized Header Bidding.
CoRR
Behkish Nassirzadeh, Albert Heinle, Stefanos Leonardos, M. Anwar Hasan, Vijay Ganesh
2024 — conf
CountChain: A Decentralized Oracle Network for Counting Systems.
Blockchain
Behkish Nassirzadeh, Albert Heinle, Stefanos Leonardos, M. Anwar Hasan, Vijay Ganesh
2024 J jnl
CountChain: A Decentralized Oracle Network for Counting Systems.
CoRR
Behkish Nassirzadeh, Stefanos Leonardos, Albert Heinle, M. Anwar Hasan, Vijay Ganesh
2021 J jnl
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT.
J. Symb. Comput.
Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
2019 J jnl
Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT.
CoRR
Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
2018 J jnl
A factorization algorithm for G-algebras and its applications.
J. Symb. Comput.
Viktor Levandovskyy, Albert Heinle
2018 B conf
Enumeration of Complex Golay Pairs via Programmatic SAT.
ISSAC
Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
2018 J jnl
Enumeration of Complex Golay Pairs via Programmatic SAT.
CoRR
Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
2017 J jnl
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures.
J. Autom. Reason.
Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh
2017 J jnl
Some steps to improve software information.
ACM Commun. Comput. Algebra
Albert Heinle, Wolfram Koepf, Wolfram Sperber
2016 B conf
A Factorization Algorithm for G-Algebras and Applications.
ISSAC
Albert Heinle, Viktor Levandovskyy
2016 J jnl
A Factorization Algorithm for G-Algebras and Applications.
CoRR
Albert Heinle, Viktor Levandovskyy
2016 J jnl
Factoring linear partial differential operators in n variables.
J. Symb. Comput.
Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy
2016 B conf
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.
CASC
Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
2016 — conf
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.
SC²@SYNASC
Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
2015 J jnl
On factoring differential and difference operators in
ACM Commun. Comput. Algebra
Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy
2015 J jnl
The SDEval benchmarking toolkit.
ACM Commun. Comput. Algebra
Albert Heinle, Viktor Levandovskyy
2014 J jnl
A Diffie-Hellman-like Key Exchange Protocol Based on Multivariate Ore Polynomials.
CoRR
Reinhold Burger, Albert Heinle
2014 J jnl
Factoring Differential Operators in n Variables.
CoRR
Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy
2014 B conf
Factoring linear differential operators in
ISSAC
Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy
2013 J jnl
Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra
CoRR
Albert Heinle, Viktor Levandovskyy
2013 J jnl
Review of "a first course in computational algebraic geometry" by W. Decker and G. Pfister.
ACM Commun. Comput. Algebra
Albert Heinle
2013 J jnl
SymbolicData: SDEval - Benchmarking for Everyone.
CoRR
Albert Heinle, Viktor Levandovskyy, Andreas Nareike
2012 B conf
A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials.
CASC
Mark Giesbrecht, Albert Heinle
2010 J jnl
Factorization of polynomials in Z-graded skew polynomial rings.
ACM Commun. Comput. Algebra
Albert Heinle, Viktor Levandovskyy