Factorization of polynomials in Z-graded skew polynomial rings. - Albert Heinle; Viktor Levandovskyy (ACM Commun. Comput. Algebra, 2010)

A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials. - Mark Giesbrecht; Albert Heinle (CASC, 2012)

Review of "a first course in computational algebraic geometry" by W. Decker and G. Pfister. - Albert Heinle (ACM Commun. Comput. Algebra, 2013)

SymbolicData: SDEval - Benchmarking for Everyone. - Albert Heinle; Viktor Levandovskyy; Andreas Nareike (CoRR, 2013)

Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra - Albert Heinle; Viktor Levandovskyy (CoRR, 2013)

Factoring linear differential operators in n variables. - Mark Giesbrecht; Albert Heinle; Viktor Levandovskyy (ISSAC, 2014)

A Diffie-Hellman-like Key Exchange Protocol Based on Multivariate Ore Polynomials. - Reinhold Burger; Albert Heinle (CoRR, 2014)

Factoring Differential Operators in n Variables. - Mark Giesbrecht; Albert Heinle; Viktor Levandovskyy (CoRR, 2014)

On factoring differential and difference operators in n variables. - Mark Giesbrecht; Albert Heinle; Viktor Levandovskyy (ACM Commun. Comput. Algebra, 2015)

The SDEval benchmarking toolkit. - Albert Heinle; Viktor Levandovskyy (ACM Commun. Comput. Algebra, 2015)

A Factorization Algorithm for G-Algebras and Applications. - Albert Heinle; Viktor Levandovskyy (ISSAC, 2016)

MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. - Curtis Bright; Vijay Ganesh 001; Albert Heinle; Ilias S. Kotsireas; Saeed Nejati; Krzysztof Czarnecki 001 (SC²@SYNASC, 2016)

Factoring linear partial differential operators in n variables. - Mark Giesbrecht; Albert Heinle; Viktor Levandovskyy (J. Symb. Comput., 2016)

Some steps to improve software information. - Albert Heinle; Wolfram Koepf; Wolfram Sperber (ACM Commun. Comput. Algebra, 2017)

Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. - Edward Zulkoski; Curtis Bright; Albert Heinle; Ilias S. Kotsireas; Krzysztof Czarnecki 001; Vijay Ganesh 001 (J. Autom. Reason., 2017)

Enumeration of Complex Golay Pairs via Programmatic SAT. - Curtis Bright; Ilias S. Kotsireas; Albert Heinle; Vijay Ganesh 001 (ISSAC, 2018)

A factorization algorithm for G-algebras and its applications. - Viktor Levandovskyy; Albert Heinle (J. Symb. Comput., 2018)

Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT. - Curtis Bright; Ilias S. Kotsireas; Albert Heinle; Vijay Ganesh 001 (J. Symb. Comput., 2021)

CountChain: A Decentralized Oracle Network for Counting Systems. - Behkish Nassirzadeh; Albert Heinle; Stefanos Leonardos; M. Anwar Hasan; Vijay Ganesh 001 (Blockchain, 2024)

AdChain: Decentralized Header Bidding. - Behkish Nassirzadeh; Albert Heinle; Stefanos Leonardos; M. Anwar Hasan; Vijay Ganesh 001 (MARBLE, 2024)