Symmetry Theorems for the Newtonian 4- and 5-body Problems with Equal Masses. - Jean-Charles Faugère; Ilias S. Kotsireas (CASC, 1999)

Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. - Robert M. Corless; Mark Giesbrecht; Ilias S. Kotsireas; Stephen M. Watt (AISC, 2000)

Towards factoring bivariate approximate polynomials. - Robert M. Corless; Mark Giesbrecht; Mark van Hoeij; Ilias S. Kotsireas; Stephen M. Watt (ISSAC, 2001)

Homotopies and polynomial system solving I: basic principles. - Ilias S. Kotsireas (SIGSAM Bull., 2001)

A geometric-numeric algorithm for absolute factorization of multivariate polynomials. - Robert M. Corless; André Galligo; Ilias S. Kotsireas; Stephen M. Watt (ISSAC, 2002)

Implicitization Exploiting Sparseness. - Ioannis Z. Emiris; Ilias S. Kotsireas (Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing, 2003)

Implicit Polynomial Support Optimized for Sparseness. - Ioannis Z. Emiris; Ilias S. Kotsireas (ICCSA (3), 2003)

Exact implicitization of polynomial curves and surfaces. - Ilias S. Kotsireas; Edmond Lau; Richard Voino (SIGSAM Bull., 2003)

ANTS VI: algorithmic number theory symposium poster abstracts. - Ilias S. Kotsireas; Emil J. Volcheck (SIGSAM Bull., 2004)

Exact Computation of the bifurcation Point B4 of the logistic Map and the Bailey-broadhurst Conjectures. - Ilias S. Kotsireas; Kostas Karamanos (Int. J. Bifurc. Chaos, 2004)

A Meta-Software System for the Discovery of Hadamard Matrices. - Ilias S. Kotsireas; Gil Pinheiro (HPCS, 2005)

Statistical analysis of the first digits of the binary expansion of Feigenbaum constants α and δ. - Konstantinos Karamanos; Ilias S. Kotsireas (J. Frankl. Inst., 2005)

Foreword to the special issue on Applications of computer algebra. - Ilias S. Kotsireas; Alkiviadis G. Akritas; Stanly L. Steinberg; Michael J. Wester (J. Symb. Comput., 2005)

Genetic algorithms for orthogonal designs. - Jason Cousineau; Ilias S. Kotsireas; Christos Koukouvinos (Australas. J Comb., 2006)

WWCA 2006 abstracts. - Ilias S. Kotsireas; Eugene A. Zima (ACM Commun. Comput. Algebra, 2006)

Hadamard ideals and Hadamard matrices with two circulant cores. - Ilias S. Kotsireas; Christos Koukouvinos; Jennifer Seberry (Eur. J. Comb., 2006)

Addendum: On the statistical analysis of the first digits of the Feigenbaum constants. - Konstantinos Karamanos; Ilias S. Kotsireas (J. Frankl. Inst., 2006)

Inequivalent Hadamard matrices from orthogonal designs. - Ilias S. Kotsireas; Christos Koukouvinos (PASCO, 2007)

Orthogonal designs of order 32 and 64 via computational algebra. - Ilias S. Kotsireas; Christos Koukouvinos (Australas. J Comb., 2007)

ISSAC 2007 poster abstracts. - Mark Giesbrecht; Ilias S. Kotsireas; Austin Lobo (ACM Commun. Comput. Algebra, 2007)

New skew-Hadamard matrices via computational algebra. - Ilias S. Kotsireas; Christos Koukouvinos (Australas. J Comb., 2008)

New orthogonal designs from weighing matrices. - Ilias S. Kotsireas; Christos Koukouvinos; Jennifer Seberry (Australas. J Comb., 2008)

Foreword. - Ilias S. Kotsireas (Math. Comput. Sci., 2008)

Heuristic algorithms for Hadamard matrices with two circulant cores. - Marco Chiarandini; Ilias S. Kotsireas; Christos Koukouvinos; Luís Paquete (Theor. Comput. Sci., 2008)

MDS and near-MDS self-dual codes over large prime fields. - Ilias S. Kotsireas; Christos Koukouvinos; Dimitris E. Simos (Adv. Math. Commun., 2009)

Using symmetries in the eigenvalue method for polynomial systems. - Robert M. Corless; Karin Gatermann; Ilias S. Kotsireas (J. Symb. Comput., 2009)

Hadamard matrices of Williamson type: A challenge for Computer Algebra. - Ilias S. Kotsireas; Christos Koukouvinos (J. Symb. Comput., 2009)

On circulant and two-circulant weighing matrices. - K. T. Arasu 001; Ilias S. Kotsireas; Christos Koukouvinos; Jennifer Seberry (Australas. J Comb., 2010)

New classes of orthogonal designs constructed from complementary sequences with given spread. - Ilias S. Kotsireas; Christos Koukouvinos; Jennifer Seberry; Dimitris E. Simos (Australas. J Comb., 2010)

Periodic complementary binary sequences and Combinatorial Optimization algorithms. - Ilias S. Kotsireas; Christos Koukouvinos; Panos M. Pardalos; Oleg V. Shylo (J. Comb. Optim., 2010)

An efficient string sorting algorithm for weighing matrices of small weight. - Ilias S. Kotsireas; Christos Koukouvinos; Panos M. Pardalos (Optim. Lett., 2010)

Abstracts of WWCA 2011 in honor of Herb Wilf's 80th birthday. - Ilias S. Kotsireas; Eugene V. Zima (ACM Commun. Comput. Algebra, 2011)

D-Optimal Designs: A Mathematical Programming Approach Using Cyclotomic Cosets. - Mujahid N. Syed; Ilias S. Kotsireas; Panos M. Pardalos (Informatica, 2011)

A modified power spectral density test applied to weighing matrices with small weight. - Ilias S. Kotsireas; Christos Koukouvinos; Panos M. Pardalos (J. Comb. Optim., 2011)

Bruno Buchberger and the world of Gröbner bases. - Elizabeth Arnold; Ilias S. Kotsireas; Markus Rosenkranz (J. Symb. Comput., 2011)

Preface. - Ilias S. Kotsireas; Bernard Mourrain; Victor Y. Pan (Theor. Comput. Sci., 2011)

Ant-Based Approaches for Solving Autocorrelation Problems. - Ilias S. Kotsireas; Konstantinos E. Parsopoulos; Grigoris S. Piperagkas; Michael N. Vrahatis (ANTS, 2012)

Competent genetic algorithms for weighing matrices. - Ilias S. Kotsireas; Christos Koukouvinos; Panos M. Pardalos; Dimitris E. Simos (J. Comb. Optim., 2012)

Foreword. - Ilias S. Kotsireas; Irene Marquez Corbella; Edgar Martínez-Moro (Math. Comput. Sci., 2012)

New weighing matrices constructed from two circulant submatrices. - Ilias S. Kotsireas; Christos Koukouvinos; Jennifer Seberry (Optim. Lett., 2012)

Structured Hadamard Conjecture. - Ilias S. Kotsireas (Number Theory and Related Fields, 2013)

D-optimal matrices via quadratic integer optimization. - Ilias S. Kotsireas; Panos M. Pardalos (J. Heuristics, 2013)

Preface. - Allen M. Tesdall; Jae-Hun Jung; Ilias S. Kotsireas; Roderick V. N. Melnik (J. Comput. Sci., 2013)

Preface. - Ilias S. Kotsireas; Bernard Mourrain; Victor Y. Pan; Lihong Zhi (Theor. Comput. Sci., 2013)

A New Existence Condition for Hadamard Matrices with Circulant Core. - Ilias S. Kotsireas; Panos M. Pardalos (LION, 2014)

Message from the SIGSAM Chair. - Ilias S. Kotsireas (ACM Commun. Comput. Algebra, 2014)

High performance computing theory and applications - Proceedings of SHARCNET Research Day 2012 (Guelph, Ontario). - Ilias S. Kotsireas; Lilia Krivodonova; Sabine McConnell; Erik Schnetter (J. Comput. Sci., 2014)

Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. - Ilias S. Kotsireas; Temur Kutsia; Dimitris E. Simos (RTA, 2015)

Charm bracelets and their application to the construction of periodic Golay pairs. - Dragomir Z. Dokovic; Ilias S. Kotsireas; Daniel Recoskie; Joe Sawada (Discret. Appl. Math., 2015)

Compression of periodic complementary sequences and applications. - Dragomir Z. Dokovic; Ilias S. Kotsireas (Des. Codes Cryptogr., 2015)

Foreword: Computer Algebra in Coding Theory and Cryptography. - Ilias S. Kotsireas; Edgar Martínez-Moro (Des. Codes Cryptogr., 2015)

Some new periodic Golay pairs. - Dragomir Z. Dokovic; Ilias S. Kotsireas (Numer. Algorithms, 2015)

Computational Approaches to Open Problems in Combinatorics. - Ilias S. Kotsireas (ISAIM, 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)

On the Solution of Circulant Weighing Matrices Problems Using Algorithm Portfolios on Multi-core Processors. - Ilias S. Kotsireas; Panos M. Pardalos; Konstantinos E. Parsopoulos; Dimitris Souravlias (SEA, 2016)

Hard satisfiable 3-SAT instances via autocorrelation. - Srinivasan Arunachalam; Ilias S. Kotsireas (J. Satisf. Boolean Model. Comput., 2016)

Circulant weighing matrices: a demanding challenge for parallel optimization metaheuristics. - Dimitris Souravlias; Konstantinos E. Parsopoulos; Ilias S. Kotsireas (Optim. Lett., 2016)

Matrix Representations by Means of Interpolation. - Ioannis Z. Emiris; Christos Konaxis; Ilias S. Kotsireas; Clément Laroche (ISSAC, 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)

Foreword. - Thierry N. Dana-Picard; Wolfram Koepf; Ilias S. Kotsireas; Zoltán Kovács; Alexander N. Prokopenya; Werner M. Seiler (Math. Comput. Sci., 2017)

Mathematics in Computer Science: After 10 Years. - Ilias S. Kotsireas (Math. Comput. Sci., 2017)

A SAT+CAS Method for Enumerating Williamson Matrices of Even Order. - Curtis Bright; Ilias S. Kotsireas; Vijay Ganesh 001 (AAAI, 2018)

Autocorrelation via Runs. - Ilias S. Kotsireas; Jing Yang 039 (AISC, 2018)

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

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 (IWOCA, 2018)

Hard Combinatorial Problems: A Challenge for Satisfiability. - Ilias S. Kotsireas (SC-Square@FLOC, 2018)

The SAT+CAS paradigm and the Williamson conjecture. - Curtis Bright; Ilias S. Kotsireas; Vijay Ganesh 001 (ACM Commun. Comput. Algebra, 2018)

Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture. - Curtis Bright; Ilias S. Kotsireas; Vijay Ganesh 001 (CoRR, 2018)

A feasibility approach for constructing combinatorial designs of circulant type. - Francisco J. Aragón Artacho; Rubén Campoy; Ilias S. Kotsireas; Matthew K. Tam (J. Comb. Optim., 2018)

Goethals-Seidel Difference Families with Symmetric or Skew Base Blocks. - Dragomir Z. Dokovic; Ilias S. Kotsireas (Math. Comput. Sci., 2018)

Foreword. - Dardo Goyeneche; Ilias S. Kotsireas; Padraig Ó Catháin (Math. Comput. Sci., 2018)

A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. - Curtis Bright; Dragomir Z. Ðokovic; Ilias S. Kotsireas; Vijay Ganesh 001 (AAAI, 2019)

Algebraic Models for Arbitrary Strength Covering Arrays over v-ary Alphabets. - Ludwig Kampel; Dimitris E. Simos; Bernhard Garn; Ilias S. Kotsireas; Evgeny Zhereshchin (CAI, 2019)

Root-Finding with Implicit Deflation. - Rémi Imbach; Victor Y. Pan; Chee Yap; Ilias S. Kotsireas; Vitaly Zaderman (CASC, 2019)

PAF Reconstruction with the Orbits Method. - Ilias S. Kotsireas; Youtong Liu; Jing Yang 039 (CASC, 2019)

SAT solvers and computer algebra systems: a powerful combination for mathematics. - Curtis Bright; Ilias S. Kotsireas; Vijay Ganesh 001 (CASCON, 2019)

How to Use Boltzmann Machines and Neural Networks for Covering Array Generation. - Ludwig Kampel; Michael Wagner 026; Ilias S. Kotsireas; Dimitris E. Simos (LION, 2019)

Effective Problem Solving Using SAT Solvers. - Curtis Bright; Jürgen Gerhard; Ilias S. Kotsireas; Vijay Ganesh 001 (MC, 2019)

The SAT+CAS method for combinatorial search with applications to best matrices. - Curtis Bright; Dragomir Z. Dokovic; Ilias S. Kotsireas; Vijay Ganesh 001 (Ann. Math. Artif. Intell., 2019)

Maple Conference 2019. - Jürgen Gerhard; Ilias S. Kotsireas (ACM Commun. Comput. Algebra, 2019)

Complexity in Medical Informatics. - Panagiotis Vlamos; Ilias S. Kotsireas; Dimitrios Vlachakis (Complex., 2019)

Foreword. - Michel Beaudin; Thierry N. Dana-Picard; Alexander B. Levin; Christoph Koutschan; Ilias S. Kotsireas; Daniel Robertz (Math. Comput. Sci., 2019)

Parallel algorithm portfolios with performance forecasting. - Dimitris Souravlias; Ilias S. Kotsireas; Panos M. Pardalos; Konstantinos E. Parsopoulos (Optim. Methods Softw., 2019)

Preface. - Manfred Droste; Ilias S. Kotsireas; Robert Rolland (Theor. Comput. Sci., 2019)

Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. - Curtis Bright; Kevin K. H. Cheung; Brett Stevens; Ilias S. Kotsireas; Vijay Ganesh 001 (IJCAI, 2020)

Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. - Curtis Bright; Kevin K. H. Cheung; Brett Stevens; Ilias S. Kotsireas; Vijay Ganesh 001 (IWOCA, 2020)

A nonexistence certificate for projective planes of order ten with weight 15 codewords. - Curtis Bright; Kevin K. H. Cheung; Brett Stevens; Dominique Roy; Ilias S. Kotsireas; Vijay Ganesh 001 (Appl. Algebra Eng. Commun. Comput., 2020)

Special Issue: "Computer Algebra and Application to Combinatorics, Coding Theory and Cryptography" ACA 2019, Montreal, Canada, July 16-20, 2019. - Kenza Guenda; Iiro S. Honkala; Ilias S. Kotsireas; Teo Mora; Qiang Wang 012 (Appl. Algebra Eng. Commun. Comput., 2020)

Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques. - Ilias S. Kotsireas; Temur Kutsia; Dimitris E. Simos (Ann. Math. Artif. Intell., 2020)

Guest editorial: revised selected papers from the LION 12 conference. - Ilias S. Kotsireas; Panos M. Pardalos (Ann. Math. Artif. Intell., 2020)

Applying computer algebra systems with SAT solvers to the Williamson conjecture. - Curtis Bright; Ilias S. Kotsireas; Vijay Ganesh 001 (J. Symb. Comput., 2020)

Foreword. - Anna Maria Bigatti; Francisco Botana; Thierry N. Dana-Picard; Felipe Gago; Ilias S. Kotsireas; Manuel Ladra; Wei Li (Math. Comput. Sci., 2020)

New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. - Curtis Bright; Ilias S. Kotsireas; Vijay Ganesh 001 (IEEE Trans. Inf. Theory, 2020)

A SAT-based Resolution of Lam's Problem. - Curtis Bright; Kevin K. H. Cheung; Brett Stevens; Ilias S. Kotsireas; Vijay Ganesh 001 (AAAI, 2021)

A Legendre pair of length 77 using complementary binary matrices with fixed marginals. - Jonathan S. Turner; Ilias S. Kotsireas; Dursun A. Bulutoglu; Andrew J. Geyer (Des. Codes Cryptogr., 2021)

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)

Bounding the Number of Roots of Multi-Homogeneous Systems. - Evangelos Bartzos; Ioannis Z. Emiris; Ilias S. Kotsireas; Charalambos Tzamos (ISSAC, 2022)

Preface selected revised papers from the LION 14 conference. - Ilias S. Kotsireas; Panos M. Pardalos (Ann. Math. Artif. Intell., 2022)

When satisfiability solving meets symbolic computation. - Curtis Bright; Ilias S. Kotsireas; Vijay Ganesh 001 (Commun. ACM, 2022)

Survey of Methods for Solving Systems of Nonlinear Equations, Part I: Root-finding Approaches. - Ilias S. Kotsireas; Panos M. Pardalos; Alexander Semenov; William T. Trevena; Michael N. Vrahatis (CoRR, 2022)

Survey of Methods for Solving Systems of Nonlinear Equations, Part II: Optimization Based Approaches. - Ilias S. Kotsireas; Panos M. Pardalos; Alexander Semenov; William T. Trevena; Michael N. Vrahatis (CoRR, 2022)

Personal Recollections of Prof. Vladimir P. Gerdt. - Ilias S. Kotsireas (Math. Comput. Sci., 2022)

A primer on the application of neural networks to covering array generation. - Ludwig Kampel; Michael Wagner 026; Ilias S. Kotsireas; Dimitris E. Simos (Optim. Methods Softw., 2022)

Review of "Handbook of Heuristics". - Ilias S. Kotsireas (Oper. Res. Forum, 2022)

Remembering Eugenio Roanes-Lozano. - Robert M. Corless; Ilias S. Kotsireas (Maple Trans., 2023)

Foreword. - Ilias S. Kotsireas; Dimitris E. Simos; Ali Kemal Uncu (Math. Comput. Sci., 2023)

Preface: Selected revised papers from the LION 15 conference. - Ilias S. Kotsireas; Panos M. Pardalos; Dimitris E. Simos (Ann. Math. Artif. Intell., 2023)

Special issue on Algebraic Geometry and Machine Learning. - Jonathan D. Hauenstein; Yang-Hui He; Ilias S. Kotsireas; Dhagash Mehta; Tingting Tang (J. Symb. Comput., 2023)

Correction to: Preface: Selected revised papers from the LION 15 conference. - Ilias S. Kotsireas; Panos M. Pardalos; Dimitris E. Simos (Ann. Math. Artif. Intell., 2023)

Profiting Off the High Correlation of Cryptocurrency Pairs Using Statistical Arbitrage. - Maxwell Dann; Ilias S. Kotsireas (MARBLE, 2024)

New Results on Periodic Golay Pairs. - Tyler Lumsden; Ilias S. Kotsireas; Curtis Bright (CoRR, 2024)

New weighing matrices via partitioned group actions. - Radel Ben-Av; Giora Dula; Assaf Goldberger; Ilias S. Kotsireas; Yossi Strassler (Discret. Math., 2024)

An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences. - Ilias S. Kotsireas; Toufik Mansour; Gökhan Yildirim 002 (J. Symb. Comput., 2024)

Introduction to the Special Issue on Mathematical Research for Blockchain Economy. - Stefanos Leonardos; William J. Knottenbelt; Elise Alfieri; Panos M. Pardalos; Ilias S. Kotsireas (Distributed Ledger Technol. Res. Pract., 2024)

Preface. - Ilias S. Kotsireas; Panos M. Pardalos; Julius Zilinskas (J. Glob. Optim., 2024)

Parallel algorithm portfolios with adaptive resource allocation strategy. - Konstantinos E. Parsopoulos; Vasileios A. Tatsis; Ilias S. Kotsireas; Panos M. Pardalos (J. Glob. Optim., 2024)

Quaternary Legendre pairs II. - Ilias S. Kotsireas; Christoph Koutschan; Arne Winterhof (Discret. Math., 2025)

Meta-programming with Maple and C. - Ilias S. Kotsireas (Maple Trans., 2025)

A Neurosymbolic Framework for Geometric Reduction of Binary Forms. - Ilias S. Kotsireas; Tony Shaska (CoRR, 2025)

Guest editorial: Revised selected papers from the LION 16 conference. - Ilias S. Kotsireas; Panos M. Pardalos (Ann. Math. Artif. Intell., 2025)

Algebraic and SAT models for SCA generation. - Marlene Koelbing; Bernhard Garn; Enrico Iurlano; Ilias S. Kotsireas; Dimitris E. Simos (Appl. Algebra Eng. Commun. Comput., 2025)