Ilias S. Kotsireas

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 74

Top Venues

CoRR

Math. Comput. Sci.

Ann. Math. Artif. Intell.

ACM Commun. Comput. Algebra

Publications

Radel Ben-Av, Giora Dula, Assaf Goldberger, Ilias S. Kotsireas, Yossi Strassler
New weighing matrices via partitioned group actions. Discret. Math. 347 (5) (2024)
Stefanos Leonardos, William J. Knottenbelt, Elise Alfieri, Panos M. Pardalos, Ilias S. Kotsireas
Introduction to the Special Issue on Mathematical Research for Blockchain Economy. Distributed Ledger Technol. Res. Pract. 3 (1) (2024)
Ilias S. Kotsireas, Toufik Mansour, Gökhan Yildirim
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences. J. Symb. Comput. 120 (2024)
Konstantinos E. Parsopoulos, Vasileios A. Tatsis, Ilias S. Kotsireas, Panos M. Pardalos
Parallel algorithm portfolios with adaptive resource allocation strategy. J. Glob. Optim. 88 (3) (2024)
Ilias S. Kotsireas, Panos M. Pardalos, Julius Zilinskas
Preface. J. Glob. Optim. 88 (3) (2024)
Robert M. Corless, Ilias S. Kotsireas
Remembering Eugenio Roanes-Lozano. Maple Trans. 3 (2) (2023)
Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos
Preface: Selected revised papers from the LION 15 conference. Ann. Math. Artif. Intell. 91 (2) (2023)
Ilias S. Kotsireas, Dimitris E. Simos, Ali Kemal Uncu
Foreword. Math. Comput. Sci. 17 (1) (2023)
Jonathan D. Hauenstein, Yang-Hui He, Ilias S. Kotsireas, Dhagash Mehta, Tingting Tang
Special issue on Algebraic Geometry and Machine Learning. J. Symb. Comput. 118 (2023)
Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos
Correction to: Preface: Selected revised papers from the LION 15 conference. Ann. Math. Artif. Intell. 91 (6) (2023)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
When satisfiability solving meets symbolic computation. Commun. ACM 65 (7) (2022)
Ilias S. Kotsireas, Panos M. Pardalos, Alexander Semenov, William T. Trevena, Michael N. Vrahatis
Survey of Methods for Solving Systems of Nonlinear Equations, Part I: Root-finding Approaches. CoRR (2022)
Ilias S. Kotsireas
Review of "Handbook of Heuristics". Oper. Res. Forum 3 (3) (2022)
Ludwig Kampel, Michael Wagner, Ilias S. Kotsireas, Dimitris E. Simos
A primer on the application of neural networks to covering array generation. Optim. Methods Softw. 37 (3) (2022)
Evangelos Bartzos, Ioannis Z. Emiris, Ilias S. Kotsireas, Charalambos Tzamos
Bounding the Number of Roots of Multi-Homogeneous Systems. ISSAC (2022)
Ilias S. Kotsireas, Panos M. Pardalos, Alexander Semenov, William T. Trevena, Michael N. Vrahatis
Survey of Methods for Solving Systems of Nonlinear Equations, Part II: Optimization Based Approaches. CoRR (2022)
Ilias S. Kotsireas, Panos M. Pardalos
Preface selected revised papers from the LION 14 conference. Ann. Math. Artif. Intell. 90 (7) (2022)
Ilias S. Kotsireas
Personal Recollections of Prof. Vladimir P. Gerdt. Math. Comput. Sci. 16 (4) (2022)
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 (2021)
Jonathan S. Turner, Ilias S. Kotsireas, Dursun A. Bulutoglu, Andrew J. Geyer
A Legendre pair of length 77 using complementary binary matrices with fixed marginals. Des. Codes Cryptogr. 89 (6) (2021)
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
A SAT-based Resolution of Lam's Problem. AAAI (2021)
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh
A nonexistence certificate for projective planes of order ten with weight 15 codewords. Appl. Algebra Eng. Commun. Comput. 31 (3-4) (2020)
Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos
Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques. Ann. Math. Artif. Intell. 88 (1-3) (2020)
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
A SAT-based Resolution of Lam's Problem. CoRR (2020)
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. CoRR (2020)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. IEEE Trans. Inf. Theory 66 (12) (2020)
Ilias S. Kotsireas, Panos M. Pardalos
Guest editorial: revised selected papers from the LION 12 conference. Ann. Math. Artif. Intell. 88 (1-3) (2020)
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. IWOCA (2020)
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. CoRR (2020)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
Applying computer algebra systems with SAT solvers to the Williamson conjecture. J. Symb. Comput. 100 (2020)
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. IJCAI (2020)
Kenza Guenda, Iiro S. Honkala, Ilias S. Kotsireas, Teo Mora, Qiang Wang
Special Issue: "Computer Algebra and Application to Combinatorics, Coding Theory and Cryptography" ACA 2019, Montreal, Canada, July 16-20, 2019. Appl. Algebra Eng. Commun. Comput. 31 (3-4) (2020)
Anna Maria Bigatti, Francisco Botana, Thierry N. Dana-Picard, Felipe Gago, Ilias S. Kotsireas, Manuel Ladra, Wei Li
Foreword. Math. Comput. Sci. 14 (2) (2020)
Rémi Imbach, Victor Y. Pan, Chee Yap, Ilias S. Kotsireas, Vitaly Zaderman
Root-Finding with Implicit Deflation. CASC (2019)
Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh
Effective problem solving using SAT solvers. CoRR (2019)
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh
A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords. CoRR (2019)
Curtis Bright, Dragomir Z. Ðokovic, Ilias S. Kotsireas, Vijay Ganesh
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. AAAI (2019)
Ludwig Kampel, Dimitris E. Simos, Bernhard Garn, Ilias S. Kotsireas, Evgeny Zhereshchin
Algebraic Models for Arbitrary Strength Covering Arrays over v-ary Alphabets. CAI (2019)
Dimitris Souravlias, Ilias S. Kotsireas, Panos M. Pardalos, Konstantinos E. Parsopoulos
Parallel algorithm portfolios with performance forecasting. Optim. Methods Softw. 34 (6) (2019)
Jürgen Gerhard, Ilias S. Kotsireas
Maple Conference 2019. ACM Commun. Comput. Algebra 53 (4) (2019)
Panagiotis Vlamos, Ilias S. Kotsireas, Dimitrios Vlachakis
Complexity in Medical Informatics. Complex. 2019 (2019)
Ilias S. Kotsireas, Youtong Liu, Jing Yang
PAF Reconstruction with the Orbits Method. CASC (2019)
Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh
The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices. CoRR (2019)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. CoRR (2019)
Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh
The SAT+CAS method for combinatorial search with applications to best matrices. Ann. Math. Artif. Intell. 87 (4) (2019)
Manfred Droste, Ilias S. Kotsireas, Robert Rolland
Preface. Theor. Comput. Sci. 800 (2019)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics. CoRR (2019)
Ludwig Kampel, Michael Wagner, Ilias S. Kotsireas, Dimitris E. Simos
How to Use Boltzmann Machines and Neural Networks for Covering Array Generation. LION (2019)
Michel Beaudin, Thierry N. Dana-Picard, Alexander B. Levin, Christoph Koutschan, Ilias S. Kotsireas, Daniel Robertz
Foreword. Math. Comput. Sci. 13 (1-2) (2019)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
SAT solvers and computer algebra systems: a powerful combination for mathematics. CASCON (2019)
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 (2019)
Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh
Effective Problem Solving Using SAT Solvers. MC (2019)
Ilias S. Kotsireas
Hard Combinatorial Problems: A Challenge for Satisfiability. SC-Square@FLOC (2018)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
The SAT+CAS paradigm and the Williamson conjecture. ACM Commun. Comput. Algebra 52 (3) (2018)
Francisco J. Aragón Artacho, Rubén Campoy, Ilias S. Kotsireas, Matthew K. Tam
A feasibility approach for constructing combinatorial designs of circulant type. J. Comb. Optim. 35 (4) (2018)
Dragomir Z. Dokovic, Ilias S. Kotsireas
Goethals-Seidel Difference Families with Symmetric or Skew Base Blocks. Math. Comput. Sci. 12 (4) (2018)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture. CoRR (2018)
Curtis Bright, Dragomir Z. Djokovic, Ilias S. Kotsireas, Vijay Ganesh
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. CoRR (2018)
Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
A SAT+CAS Method for Enumerating Williamson Matrices of Even Order. AAAI (2018)
Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
Enumeration of Complex Golay Pairs via Programmatic SAT. ISSAC (2018)
Dardo Goyeneche, Ilias S. Kotsireas, Padraig Ó Catháin
Foreword. Math. Comput. Sci. 12 (4) (2018)
Kristoffer Kleine, Ilias S. Kotsireas, Dimitris E. Simos
Evaluation of Tie-Breaking and Parameter Ordering for the IPO Family of Algorithms Used in Covering Array Generation. IWOCA (2018)
Ilias S. Kotsireas, Jing Yang
Autocorrelation via Runs. AISC (2018)
Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
Enumeration of Complex Golay Pairs via Programmatic SAT. CoRR (2018)
Thierry N. Dana-Picard, Wolfram Koepf, Ilias S. Kotsireas, Zoltán Kovács, Alexander N. Prokopenya, Werner M. Seiler
Foreword. Math. Comput. Sci. 11 (3-4) (2017)
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) (2017)
Ilias S. Kotsireas
Mathematics in Computer Science: After 10 Years. Math. Comput. Sci. 11 (1) (2017)
Ioannis Z. Emiris, Christos Konaxis, Ilias S. Kotsireas, Clément Laroche
Matrix Representations by Means of Interpolation. ISSAC (2017)
Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. CASC (2016)
Ilias S. Kotsireas
Computational Approaches to Open Problems in Combinatorics. ISAIM (2016)
Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. SC²@SYNASC (2016)
Dimitris Souravlias, Konstantinos E. Parsopoulos, Ilias S. Kotsireas
Circulant weighing matrices: a demanding challenge for parallel optimization metaheuristics. Optim. Lett. 10 (6) (2016)
Srinivasan Arunachalam, Ilias S. Kotsireas
Hard satisfiable 3-SAT instances via autocorrelation. J. Satisf. Boolean Model. Comput. 10 (1) (2016)
Ilias S. Kotsireas, Panos M. Pardalos, Konstantinos E. Parsopoulos, Dimitris Souravlias
On the Solution of Circulant Weighing Matrices Problems Using Algorithm Portfolios on Multi-core Processors. SEA (2016)
Dragomir Z. Dokovic, Ilias S. Kotsireas
Some new periodic Golay pairs. Numer. Algorithms 69 (3) (2015)
Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos
Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. RTA (2015)
Dragomir Z. Dokovic, Ilias S. Kotsireas
Compression of periodic complementary sequences and applications. Des. Codes Cryptogr. 74 (2) (2015)
Dragomir Z. Dokovic, Ilias S. Kotsireas, Daniel Recoskie, Joe Sawada
Charm bracelets and their application to the construction of periodic Golay pairs. Discret. Appl. Math. 188 (2015)
Ilias S. Kotsireas, Edgar Martínez-Moro
Foreword: Computer Algebra in Coding Theory and Cryptography. Des. Codes Cryptogr. 76 (1) (2015)
Ilias S. Kotsireas, Panos M. Pardalos
A New Existence Condition for Hadamard Matrices with Circulant Core. LION (2014)
Ilias S. Kotsireas, Lilia Krivodonova, Sabine McConnell, Erik Schnetter
High performance computing theory and applications - Proceedings of SHARCNET Research Day 2012 (Guelph, Ontario). J. Comput. Sci. 5 (3) (2014)
Ilias S. Kotsireas
Message from the SIGSAM Chair. ACM Commun. Comput. Algebra 48 (3/4) (2014)
Ilias S. Kotsireas
Message from the SIGSAM Chair. ACM Commun. Comput. Algebra 48 (1/2) (2014)
Ilias S. Kotsireas, Bernard Mourrain, Victor Y. Pan, Lihong Zhi
Preface. Theor. Comput. Sci. 479 (2013)
Ilias S. Kotsireas, Panos M. Pardalos
D-optimal matrices via quadratic integer optimization. J. Heuristics 19 (4) (2013)
Allen M. Tesdall, Jae-Hun Jung, Ilias S. Kotsireas, Roderick V. N. Melnik
Preface. J. Comput. Sci. 4 (1-2) (2013)
Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos, Dimitris E. Simos
Competent genetic algorithms for weighing matrices. J. Comb. Optim. 24 (4) (2012)
Ilias S. Kotsireas, Irene Marquez Corbella, Edgar Martínez-Moro
Foreword. Math. Comput. Sci. 6 (2) (2012)
Ilias S. Kotsireas, Konstantinos E. Parsopoulos, Grigoris S. Piperagkas, Michael N. Vrahatis
Ant-Based Approaches for Solving Autocorrelation Problems. ANTS (2012)
Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry
New weighing matrices constructed from two circulant submatrices. Optim. Lett. 6 (1) (2012)
Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos
A modified power spectral density test applied to weighing matrices with small weight. J. Comb. Optim. 22 (4) (2011)
Ilias S. Kotsireas, Eugene V. Zima
Abstracts of WWCA 2011 in honor of Herb Wilf's 80th birthday. ACM Commun. Comput. Algebra 45 (1/2) (2011)
Mujahid N. Syed, Ilias S. Kotsireas, Panos M. Pardalos
D-Optimal Designs: A Mathematical Programming Approach Using Cyclotomic Cosets. Informatica 22 (4) (2011)
Elizabeth Arnold, Ilias S. Kotsireas, Markus Rosenkranz
Bruno Buchberger and the world of Gröbner bases. J. Symb. Comput. 46 (5) (2011)
Ilias S. Kotsireas, Bernard Mourrain, Victor Y. Pan
Preface. Theor. Comput. Sci. 412 (16) (2011)
K. T. Arasu, Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry
On circulant and two-circulant weighing matrices. Australas. J Comb. 48 (2010)
Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos, Oleg V. Shylo
Periodic complementary binary sequences and Combinatorial Optimization algorithms. J. Comb. Optim. 20 (1) (2010)
Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry, Dimitris E. Simos
New classes of orthogonal designs constructed from complementary sequences with given spread. Australas. J Comb. 46 (2010)
Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos
An efficient string sorting algorithm for weighing matrices of small weight. Optim. Lett. 4 (1) (2010)
Ilias S. Kotsireas, Christos Koukouvinos, Dimitris E. Simos
MDS and near-MDS self-dual codes over large prime fields. Adv. Math. Commun. 3 (4) (2009)

Ilias S. Kotsireas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ilias S. Kotsireas