Ilias S. Kotsireas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
9
Active years
1999–2025
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ISSAC | On properties of Legendre pairs under compression. | Ilias S. Kotsireas, Ana-Isabel Gmez, Domingo Gmez-Prez |
| 2022 | ISSAC | Bounding the Number of Roots of Multi-Homogeneous Systems. | Evangelos Bartzos, Ioannis Z. Emiris, Ilias S. Kotsireas, Charalambos Tzamos |
| 2021 | AAAI | A SAT-based Resolution of Lam's Problem. | Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh |
| 2020 | IJCAI | Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. | Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh |
| 2020 | IWOCA | Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. | Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh |
| 2019 | AAAI | A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. | Curtis Bright, Dragomir Z. okovic, Ilias S. Kotsireas, Vijay Ganesh |
| 2019 | CASC | Root-Finding with Implicit Deflation. | Rmi Imbach, Victor Y. Pan, Chee Yap, Ilias S. Kotsireas, Vitaly Zaderman |
| 2019 | CASC | PAF Reconstruction with the Orbits Method. | Ilias S. Kotsireas, Youtong Liu, Jing Yang |
| 2018 | AAAI | A SAT+CAS Method for Enumerating Williamson Matrices of Even Order. | Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh |
| 2018 | AISC | Autocorrelation via Runs. | Ilias S. Kotsireas, Jing Yang |
| 2018 | ISSAC | Enumeration of Complex Golay Pairs via Programmatic SAT. | Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh |
| 2018 | IWOCA | Evaluation of Tie-Breaking and Parameter Ordering for the IPO Family of Algorithms Used in Covering Array Generation. | Kristoffer Kleine, Ilias S. Kotsireas, Dimitris E. Simos |
| 2017 | ISSAC | Matrix Representations by Means of Interpolation. | Ioannis Z. Emiris, Christos Konaxis, Ilias S. Kotsireas, Clment Laroche |
| 2016 | CASC | MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. | Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki |
| 2016 | ISAIM | Computational Approaches to Open Problems in Combinatorics. | Ilias S. Kotsireas |
| 2016 | SYNASC | MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. | Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki |
| 2007 | ISSAC | Inequivalent Hadamard matrices from orthogonal designs. | Ilias S. Kotsireas, Christos Koukouvinos |
| 2003 | ICCSA | Implicit Polynomial Support Optimized for Sparseness. | Ioannis Z. Emiris, Ilias S. Kotsireas |
| 2002 | ISSAC | A geometric-numeric algorithm for absolute factorization of multivariate polynomials. | Robert M. Corless, Andr Galligo, Ilias S. Kotsireas, Stephen M. Watt |
| 2001 | ISSAC | Towards factoring bivariate approximate polynomials. | Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt |
| 2000 | AISC | Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. | Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt |
| 1999 | CASC | Symmetry Theorems for the Newtonian 4- and 5-body Problems with Equal Masses. | Jean-Charles Faugre, Ilias S. Kotsireas |