default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlbert Heinle
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2021
[j9]Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
:
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT. J. Symb. Comput. 102: 153-172 (2021)- 2018
- [j8]Viktor Levandovskyy, Albert Heinle:
A factorization algorithm for G-algebras and its applications. J. Symb. Comput. 85: 188-205 (2018) - 2017
- [j7]Albert Heinle, Wolfram Koepf, Wolfram Sperber:
Some steps to improve software information. ACM Commun. Comput. Algebra 51(1): 1-11 (2017) - [j6]Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh:
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. J. Autom. Reason. 58(3): 313-339 (2017) - 2016
- [j5]Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy:
Factoring linear partial differential operators in n variables. J. Symb. Comput. 75: 127-148 (2016) - 2015
- [j4]Albert Heinle, Viktor Levandovskyy:
The SDEval benchmarking toolkit. ACM Commun. Comput. Algebra 49(1): 1-9 (2015) - [j3]Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy:
On factoring differential and difference operators in n variables. ACM Commun. Comput. Algebra 49(1): 33 (2015) - 2013
- [j2]Albert Heinle:
Review of "a first course in computational algebraic geometry" by W. Decker and G. Pfister. ACM Commun. Comput. Algebra 47(1/2): 62-63 (2013) - 2010
- [j1]Albert Heinle, Viktor Levandovskyy:
Factorization of polynomials in Z-graded skew polynomial rings. ACM Commun. Comput. Algebra 44(3/4): 113-114 (2010)
Conference and Workshop Papers
- 2024
- [c7]Behkish Nassirzadeh, Albert Heinle, Stefanos Leonardos, Anwar Hasan, Vijay Ganesh:
CountChain: A Decentralized Oracle Network for Counting Systems. Blockchain 2024: 324-331 - 2018
- [c6]Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh:
Enumeration of Complex Golay Pairs via Programmatic SAT. ISSAC 2018: 111-118 - 2016
- [c5]Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki:
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. CASC 2016: 117-133 - [c4]Albert Heinle, Viktor Levandovskyy:
A Factorization Algorithm for G-Algebras and Applications. ISSAC 2016: 263-270 - [c3]Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki:
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. SC²@SYNASC 2016: 13-19 - 2014
- [c2]Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy:
Factoring linear differential operators in n variables. ISSAC 2014: 194-201 - 2012
- [c1]Mark Giesbrecht, Albert Heinle:
A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials. CASC 2012: 117-128
Informal and Other Publications
- 2024
- [i9]Behkish Nassirzadeh, Stefanos Leonardos, Albert Heinle, Anwar Hasan, Vijay Ganesh:
CountChain: A Decentralized Oracle Network for Counting Systems. CoRR abs/2409.11592 (2024) - [i8]Behkish Nassirzadeh, Albert Heinle, Stefanos Leonardos, Anwar Hasan, Vijay Ganesh:
AdChain: Decentralized Header Bidding. CoRR abs/2410.16141 (2024) - 2019
- [i7]Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh:
Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT. CoRR abs/1907.11981 (2019) - 2018
- [i6]Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh:
Enumeration of Complex Golay Pairs via Programmatic SAT. CoRR abs/1805.05488 (2018) - 2016
- [i5]Albert Heinle, Viktor Levandovskyy:
A Factorization Algorithm for G-Algebras and Applications. CoRR abs/1602.00296 (2016) - 2014
- [i4]Mark Giesbrecht, Albert Heinle, Viktor Levandovskyy:
Factoring Differential Operators in n Variables. CoRR abs/1404.0002 (2014) - [i3]Reinhold Burger, Albert Heinle:
A Diffie-Hellman-like Key Exchange Protocol Based on Multivariate Ore Polynomials. CoRR abs/1407.1270 (2014) - 2013
- [i2]Albert Heinle, Viktor Levandovskyy:
Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra. CoRR abs/1302.5674 (2013) - [i1]Albert Heinle, Viktor Levandovskyy, Andreas Nareike:
SymbolicData: SDEval - Benchmarking for Everyone. CoRR abs/1310.5551 (2013)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-27 21:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
