Albert Heinle
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2012–2018
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISSAC | Enumeration of Complex Golay Pairs via Programmatic SAT. | Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh |
| 2016 | CASC | MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. | Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki |
| 2016 | ISSAC | A Factorization Algorithm for G-Algebras and Applications. | Albert Heinle, Viktor Levandovskyy |
| 2016 | SYNASC | MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. | Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki |
| 2014 | ISSAC | Factoring linear differential operators in | Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy |
| 2012 | CASC | A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials. | Mark Giesbrecht, Albert Heinle |