@article{DBLP:journals/corr/abs-2602-14708,
 author = {Tony Shaska and
Ilias S. Kotsireas},
 doi = {10.48550/arXiv.2602.14708},
 journal = {CoRR},
 title = {A Unified Mathematical Framework for Distributed Data Fabrics: Categorical Hypergraph Models},
 url = {https://doi.org/10.48550/arXiv.2602.14708},
 volume = {abs/2602.14708},
 year = {2026}
}

@article{DBLP:journals/ijpp/SojoodiKA26,
 author = {Amir Hossein Sojoodi and
Ilias S. Kotsireas and
Ahmad Afsahi},
 doi = {10.1007/s10766-026-00820-y},
 journal = {Int. J. Parallel Program.},
 pages = {13},
 title = {Efficient High-Performance Computing Strategies for the Legendre Pairs Search},
 url = {https://doi.org/10.1007/s10766-026-00820-y},
 volume = {54},
 year = {2026}
}

@inproceedings{zbMATH8208268,
 author = {Kotsireas, Ilias and Shaska, Tony},
 booktitle = {Im, Mee Seong (ed.) et al., Artificial intelligence in mathematics research. AMS special session on artificial intelligence in mathematics, University of Wisconsin-Milwaukee, Milwaukee, WI, USA, April 20--21, 2024. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 835, 173-193},
 doi = {10.1090/conm/835/16757},
 pages = {173--193},
 title = {A neurosymbolic framework for geometric reduction of binary forms},
 url = {https://doi.org/10.1090/conm/835/16757},
 year = {2026}
}

@misc{zbMATH903219697,
 author = {Ronan Egan and Ilias Kotsireas and Stephen London and P{\'{a}}draig {\'{O}} Cath{\'{a}}in},
 note = {Preprint, arXiv:2610.27175 [math.CO]},
 title = {Recent progress in the construction of Hadamard matrices},
 url = {https://arxiv.org/abs/2610.27175},
 year = {2026}
}

@proceedings{zbMATH8124225,
 doi = {10.1007/978-3-032-08606-8},
 editor = {Simos, Dimitris E. and Pardalos, Panos M. and Kotsireas, Ilias S. and Garn, Bernhard and Pickl, Stefan Wolfgang},
 publisher = {Cham: Springer},
 title = {Dynamics of disasters. Hybrid threats. Selected papers based on the presentations at the seventh international conference, DOD 2024, Vienna, Austria, July 30 -- August 1, 2024},
 url = {https://doi.org/10.1007/978-3-032-08606-8},
 year = {2026}
}

@proceedings{zbMATH8152740,
 editor = {Hoffman, Frederick and Heuss, Sarah and Isaak, Garth and Kotsireas, Ilias and Low, Richard and Wierman, John C.},
 publisher = {Cham: Springer},
 title = {Combinatorics, graph theory and computing. SEICCGTC 2024, Boca Raton, USA, March 4--8 (to appear)},
 year = {2026}
}

@article{DBLP:journals/aaecc/KoelbingGIKS25,
 author = {Marlene Koelbing and
Bernhard Garn and
Enrico Iurlano and
Ilias S. Kotsireas and
Dimitris E. Simos},
 doi = {10.1007/s00200-023-00597-4},
 journal = {Appl. Algebra Eng. Commun. Comput.},
 pages = {173--222},
 title = {Algebraic and SAT models for SCA generation},
 url = {https://doi.org/10.1007/s00200-023-00597-4},
 volume = {36},
 year = {2025}
}

@article{DBLP:journals/amai/KotsireasP25,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos},
 doi = {10.1007/s10472-024-09958-2},
 journal = {Ann. Math. Artif. Intell.},
 pages = {19--20},
 title = {Guest editorial: Revised selected papers from the LION 16 conference},
 url = {https://doi.org/10.1007/s10472-024-09958-2},
 volume = {93},
 year = {2025}
}

@article{DBLP:journals/ccds/LondonK25,
 author = {Stephen London and
Ilias S. Kotsireas},
 doi = {10.1007/s12095-025-00829-z},
 journal = {Cryptogr. Commun.},
 pages = {1601--1610},
 title = {New Turyn-type sequences},
 url = {https://doi.org/10.1007/s12095-025-00829-z},
 volume = {17},
 year = {2025}
}

@article{DBLP:journals/corr/abs-2501-15404,
 author = {Ilias S. Kotsireas and
Tony Shaska},
 doi = {10.48550/arXiv.2501.15404},
 journal = {CoRR},
 title = {A Neurosymbolic Framework for Geometric Reduction of Binary Forms},
 url = {https://doi.org/10.48550/arXiv.2501.15404},
 volume = {abs/2501.15404},
 year = {2025}
}

@article{DBLP:journals/dm/KotsireasKW25,
 author = {Ilias S. Kotsireas and
Christoph Koutschan and
Arne Winterhof},
 doi = {10.1016/j.disc.2025.114501},
 journal = {Discret. Math.},
 pages = {114501},
 title = {Quaternary Legendre pairs II},
 url = {https://doi.org/10.1016/j.disc.2025.114501},
 volume = {348},
 year = {2025}
}

@article{DBLP:journals/maple/Kotsireas25,
 author = {Ilias S. Kotsireas},
 doi = {10.5206/mt.v5i1.21835},
 journal = {Maple Trans.},
 title = {Meta-programming with Maple and C},
 url = {https://doi.org/10.5206/mt.v5i1.21835},
 volume = {5},
 year = {2025}
}

@article{DBLP:journals/moc/LumsdenKB25,
 author = {Tyler Lumsden and
Ilias S. Kotsireas and
Curtis Bright},
 doi = {10.1090/mcom/4096},
 journal = {Math. Comput.},
 pages = {1517--1539},
 title = {New results on periodic Golay pairs},
 url = {https://doi.org/10.1090/mcom/4096},
 volume = {95},
 year = {2025}
}

@article{zbMATH8057084,
 author = {Perera, Sirani M. and Kotsireas, Ilias S.},
 doi = {10.1016/j.laa.2025.01.010},
 journal = {Linear Algebra and its Applications},
 pages = {149--171},
 title = {A low-complexity algorithm to search for Legendre pairs},
 url = {https://doi.org/10.1016/j.laa.2025.01.010},
 volume = {721},
 year = {2025}
}

@inproceedings{DBLP:conf/issac/KotsireasGG25,
 author = {Ilias S. Kotsireas and
Ana-Isabel G{\'{o}}mez and
Domingo G{\'{o}}mez-P{\'{e}}rez},
 booktitle = {Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, ISSAC 2025, Guanajuato, Mexico, 28 July 2025 - 1 August 2025},
 doi = {10.1145/3747199.3747549},
 editor = {Carlos D'Andrea and
Sonia P{\'{e}}rez-D{\'{i}}az and
Santiago Laplagne},
 pages = {79--86},
 publisher = {ACM},
 title = {On properties of Legendre pairs under compression},
 url = {https://doi.org/10.1145/3747199.3747549},
 year = {2025}
}

@proceedings{DBLP:conf/dis2/2024,
 booktitle = {DIS},
 doi = {10.1007/978-3-031-81010-7},
 editor = {Hossein Moosaei and
Ilias S. Kotsireas and
Panos M. Pardalos},
 publisher = {Springer},
 title = {Dynamics of Information Systems - 7th International Conference, DIS 2024, Kalamata, Greece, June 2-7, 2024, Revised Selected Papers},
 url = {https://doi.org/10.1007/978-3-031-81010-7},
 volume = {14661},
 year = {2025}
}

@article{DBLP:journals/corr/abs-2408-15611,
 author = {Tyler Lumsden and
Ilias S. Kotsireas and
Curtis Bright},
 doi = {10.48550/arXiv.2408.15611},
 journal = {CoRR},
 title = {New Results on Periodic Golay Pairs},
 url = {https://doi.org/10.48550/arXiv.2408.15611},
 volume = {abs/2408.15611},
 year = {2024}
}

@article{DBLP:journals/distribledger/LeonardosKAPK24,
 author = {Stefanos Leonardos and
William J. Knottenbelt and
Elise Alfieri and
Panos M. Pardalos and
Ilias S. Kotsireas},
 doi = {10.1145/3649882},
 journal = {Distributed Ledger Technol. Res. Pract.},
 pages = {1:1--1:2},
 title = {Introduction to the Special Issue on Mathematical Research for Blockchain Economy},
 url = {https://doi.org/10.1145/3649882},
 volume = {3},
 year = {2024}
}

@article{DBLP:journals/dm/BenAvDGKS24,
 author = {Radel Ben-Av and
Giora Dula and
Assaf Goldberger and
Ilias S. Kotsireas and
Yossi Strassler},
 doi = {10.1016/j.disc.2024.113908},
 journal = {Discret. Math.},
 pages = {113908},
 title = {New weighing matrices via partitioned group actions},
 url = {https://doi.org/10.1016/j.disc.2024.113908},
 volume = {347},
 year = {2024}
}

@article{DBLP:journals/jgo/KotsireasPZ24,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos and
Julius Zilinskas},
 doi = {10.1007/s10898-024-01375-3},
 journal = {J. Glob. Optim.},
 pages = {531--532},
 title = {Preface},
 url = {https://doi.org/10.1007/s10898-024-01375-3},
 volume = {88},
 year = {2024}
}

@article{DBLP:journals/jgo/ParsopoulosTKP24,
 author = {Konstantinos E. Parsopoulos and
Vasileios A. Tatsis and
Ilias S. Kotsireas and
Panos M. Pardalos},
 doi = {10.1007/s10898-022-01162-y},
 journal = {J. Glob. Optim.},
 pages = {685--705},
 title = {Parallel algorithm portfolios with adaptive resource allocation strategy},
 url = {https://doi.org/10.1007/s10898-022-01162-y},
 volume = {88},
 year = {2024}
}

@article{DBLP:journals/jsc/KotsireasM024,
 author = {Ilias S. Kotsireas and
Toufik Mansour and
G{\"{o}}khan Yildirim},
 doi = {10.1016/j.jsc.2023.102231},
 journal = {J. Symb. Comput.},
 pages = {102231},
 title = {An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences},
 url = {https://doi.org/10.1016/j.jsc.2023.102231},
 volume = {120},
 year = {2024}
}

@inproceedings{DBLP:conf/marble/DannK24,
 author = {Maxwell Dann and
Ilias S. Kotsireas},
 booktitle = {Mathematical Research for Blockchain Economy: 5th International Conference, MARBLE 2024, Malaga, Spain, July 9-11, 2024},
 doi = {10.1007/978-3-031-68974-1_16},
 editor = {Stefanos Leonardos and
Elise Alfieri and
William J. Knottenbelt and
Panos M. Pardalos},
 pages = {327--335},
 publisher = {Springer},
 title = {Profiting Off the High Correlation of Cryptocurrency Pairs Using Statistical Arbitrage},
 url = {https://doi.org/10.1007/978-3-031-68974-1_16},
 year = {2024}
}

@inproceedings{zbMATH7921203,
 author = {Kotsireas, Ilias S. and Winterhof, Arne},
 booktitle = {Colbourn, Charles J. (ed.) et al., New advances in designs, codes and cryptography, Stinson66, Toronto, Canada, June 13--17, 2022. Cham: Springer. Fields Inst. Commun. 86, 289-304},
 doi = {10.1007/978-3-031-48679-1_15},
 pages = {289--304},
 title = {Quaternary Legendre pairs},
 url = {https://doi.org/10.1007/978-3-031-48679-1_15},
 year = {2024}
}

@proceedings{zbMATH7951985,
 doi = {10.1007/978-3-031-74006-0},
 editor = {Kotsireas, Ilias S. and Nagurney, Anna and Pardalos, Panos M. and Pickl, Stefan Wolfgang and Vogiatzis, Chrysafis},
 publisher = {Cham: Springer},
 title = {Dynamics of disasters. From natural phenomena to human activity. Based on the sixth international conference on dynamics of disasters, Piraeus, Greece, July 3--6, 2023},
 url = {https://doi.org/10.1007/978-3-031-74006-0},
 year = {2024}
}

@article{DBLP:journals/amai/KotsireasPS23a,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos and
Dimitris E. Simos},
 doi = {10.1007/s10472-023-09855-0},
 journal = {Ann. Math. Artif. Intell.},
 pages = {901},
 title = {Correction to: Preface: Selected revised papers from the LION 15 conference},
 url = {https://doi.org/10.1007/s10472-023-09855-0},
 volume = {91},
 year = {2023}
}

@article{DBLP:journals/amai/KotsireasPS23,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos and
Dimitris E. Simos},
 doi = {10.1007/s10472-023-09838-1},
 journal = {Ann. Math. Artif. Intell.},
 pages = {107--108},
 title = {Preface: Selected revised papers from the LION 15 conference},
 url = {https://doi.org/10.1007/s10472-023-09838-1},
 volume = {91},
 year = {2023}
}

@article{DBLP:journals/jsc/HauensteinHKMT23,
 author = {Jonathan D. Hauenstein and
Yang-Hui He and
Ilias S. Kotsireas and
Dhagash Mehta and
Tingting Tang},
 doi = {10.1016/j.jsc.2022.10.003},
 journal = {J. Symb. Comput.},
 pages = {93--94},
 title = {Special issue on Algebraic Geometry and Machine Learning},
 url = {https://doi.org/10.1016/j.jsc.2022.10.003},
 volume = {118},
 year = {2023}
}

@article{DBLP:journals/maple/CorlessK23,
 author = {Robert M. Corless and
Ilias S. Kotsireas},
 doi = {10.5206/mt.v3i2.16748},
 journal = {Maple Trans.},
 title = {Remembering Eugenio Roanes-Lozano},
 url = {https://doi.org/10.5206/mt.v3i2.16748},
 volume = {3},
 year = {2023}
}

@article{DBLP:journals/mics/KotsireasSU23,
 author = {Ilias S. Kotsireas and
Dimitris E. Simos and
Ali Kemal Uncu},
 doi = {10.1007/s11786-023-00557-8},
 journal = {Math. Comput. Sci.},
 pages = {7},
 title = {Foreword},
 url = {https://doi.org/10.1007/s11786-023-00557-8},
 volume = {17},
 year = {2023}
}

@article{zbMATH7799574,
 author = {Kampel, Ludwig and Hiess, Irene and Kotsireas, Ilias S. and Simos, Dimitris E.},
 doi = {10.1002/jcd.21876},
 journal = {Journal of Combinatorial Designs},
 pages = {205--261},
 title = {Balanced covering arrays: a classification of covering arrays and packing arrays via exact methods},
 url = {https://doi.org/10.1002/jcd.21876},
 volume = {31},
 year = {2023}
}

@article{zbMATH7805052,
 author = {Kotsireas, Ilias S. and Koutschan, Christoph and Bulutoglu, Dursun A. and Arquette, David M. and Turner, Jonathan S. and Ryan, Kenneth J.},
 doi = {10.1515/spma-2023-0105},
 journal = {Special Matrices},
 title = {Legendre pairs of lengths \(\ell \equiv 0 \pmod 5\)},
 url = {https://doi.org/10.1515/spma-2023-0105},
 volume = {11},
 year = {2023}
}

@proceedings{DBLP:conf/casc/2023,
 booktitle = {CASC},
 doi = {10.1007/978-3-031-41724-5},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Ilias S. Kotsireas and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 publisher = {Springer},
 title = {Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings},
 url = {https://doi.org/10.1007/978-3-031-41724-5},
 volume = {14139},
 year = {2023}
}

@proceedings{DBLP:conf/marble/2022,
 booktitle = {MARBLE},
 doi = {10.1007/978-3-031-18679-0},
 editor = {Panos M. Pardalos and
Ilias S. Kotsireas and
Yike Guo and
William J. Knottenbelt},
 publisher = {Springer},
 title = {3rd International Conference on Mathematical Research for Blockchain Economy, MARBLE 2022, Vilamoura, Portugal, July 12-14, 2022},
 url = {https://doi.org/10.1007/978-3-031-18679-0},
 year = {2023}
}

@proceedings{DBLP:conf/marble/2023,
 booktitle = {MARBLE},
 doi = {10.1007/978-3-031-48731-6},
 editor = {Panos M. Pardalos and
Ilias S. Kotsireas and
William J. Knottenbelt and
Stefanos Leonardos},
 publisher = {Springer},
 title = {Mathematical Research for Blockchain Economy: 4th International Conference MARBLE 2023, London, United Kingdom, July 11-13, 2023},
 url = {https://doi.org/10.1007/978-3-031-48731-6},
 year = {2023}
}

@article{DBLP:journals/amai/KotsireasP22,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos},
 doi = {10.1007/s10472-022-09808-z},
 journal = {Ann. Math. Artif. Intell.},
 pages = {677},
 title = {Preface selected revised papers from the LION 14 conference},
 url = {https://doi.org/10.1007/s10472-022-09808-z},
 volume = {90},
 year = {2022}
}

@article{DBLP:journals/cacm/BrightKG22,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.1145/3500921},
 journal = {Commun. ACM},
 pages = {64--72},
 title = {When satisfiability solving meets symbolic computation},
 url = {https://doi.org/10.1145/3500921},
 volume = {65},
 year = {2022}
}

@article{DBLP:journals/corr/abs-2208-08530,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos and
Alexander Semenov and
William T. Trevena and
Michael N. Vrahatis},
 doi = {10.48550/arXiv.2208.08530},
 journal = {CoRR},
 title = {Survey of Methods for Solving Systems of Nonlinear Equations, Part I: Root-finding Approaches},
 url = {https://doi.org/10.48550/arXiv.2208.08530},
 volume = {abs/2208.08530},
 year = {2022}
}

@article{DBLP:journals/corr/abs-2208-08532,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos and
Alexander Semenov and
William T. Trevena and
Michael N. Vrahatis},
 doi = {10.48550/arXiv.2208.08532},
 journal = {CoRR},
 title = {Survey of Methods for Solving Systems of Nonlinear Equations, Part II: Optimization Based Approaches},
 url = {https://doi.org/10.48550/arXiv.2208.08532},
 volume = {abs/2208.08532},
 year = {2022}
}

@article{DBLP:journals/mics/Kotsireas22,
 author = {Ilias S. Kotsireas},
 doi = {10.1007/s11786-022-00545-4},
 journal = {Math. Comput. Sci.},
 pages = {24},
 title = {Personal Recollections of Prof. Vladimir P. Gerdt},
 url = {https://doi.org/10.1007/s11786-022-00545-4},
 volume = {16},
 year = {2022}
}

@article{DBLP:journals/oms/KampelWKS22,
 author = {Ludwig Kampel and
Michael Wagner and
Ilias S. Kotsireas and
Dimitris E. Simos},
 doi = {10.1080/10556788.2021.1907384},
 journal = {Optim. Methods Softw.},
 pages = {1165--1202},
 title = {A primer on the application of neural networks to covering array generation},
 url = {https://doi.org/10.1080/10556788.2021.1907384},
 volume = {37},
 year = {2022}
}

@article{DBLP:journals/orf/Kotsireas22,
 author = {Ilias S. Kotsireas},
 doi = {10.1007/s43069-022-00149-5},
 journal = {Oper. Res. Forum},
 title = {Review of "Handbook of Heuristics"},
 url = {https://doi.org/10.1007/s43069-022-00149-5},
 volume = {3},
 year = {2022}
}

@article{zbMATH7621091,
 doi = {10.1007/s00200-022-00587-y},
 editor = {Bertone, Cristina and Ceria, Michela and Karaoglu, Fatma and Kotsireas, Ilias and Mora, Teo and Simos, Dimitris},
 journal = {Applicable Algebra in Engineering, Communication and Computing},
 pages = {597},
 title = {Preface},
 url = {https://doi.org/10.1007/s00200-022-00587-y},
 volume = {33},
 year = {2022}
}

@inproceedings{DBLP:conf/issac/BartzosEKT22,
 author = {Evangelos Bartzos and
Ioannis Z. Emiris and
Ilias S. Kotsireas and
Charalambos Tzamos},
 booktitle = {ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022},
 doi = {10.1145/3476446.3536189},
 editor = {Marc Moreno Maza and
Lihong Zhi},
 pages = {255--262},
 publisher = {ACM},
 title = {Bounding the Number of Roots of Multi-Homogeneous Systems},
 url = {https://doi.org/10.1145/3476446.3536189},
 year = {2022}
}

@proceedings{DBLP:conf/lion/2022,
 booktitle = {LION},
 doi = {10.1007/978-3-031-24866-5},
 editor = {Dimitris E. Simos and
Varvara Rasskazova and
Francesco Archetti and
Ilias S. Kotsireas and
Panos M. Pardalos},
 publisher = {Springer},
 title = {Learning and Intelligent Optimization - 16th International Conference, LION 2022, Milos Island, Greece, June 5-10, 2022, Revised Selected Papers},
 url = {https://doi.org/10.1007/978-3-031-24866-5},
 volume = {13621},
 year = {2022}
}

@article{DBLP:journals/dcc/TurnerKBG21,
 author = {Jonathan S. Turner and
Ilias S. Kotsireas and
Dursun A. Bulutoglu and
Andrew J. Geyer},
 doi = {10.1007/s10623-021-00862-y},
 journal = {Des. Codes Cryptogr.},
 pages = {1321--1333},
 title = {A Legendre pair of length 77 using complementary binary matrices with fixed marginals},
 url = {https://doi.org/10.1007/s10623-021-00862-y},
 volume = {89},
 year = {2021}
}

@article{DBLP:journals/jsc/BrightKHG21,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Albert Heinle and
Vijay Ganesh},
 doi = {10.1016/j.jsc.2019.10.013},
 journal = {J. Symb. Comput.},
 pages = {153--172},
 title = {Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT},
 url = {https://doi.org/10.1016/j.jsc.2019.10.013},
 volume = {102},
 year = {2021}
}

@article{zbMATH7840154,
 author = {Kotsireas, Ilias and Koutschan, Christoph},
 doi = {10.1002/jcd.21806},
 journal = {Journal of Combinatorial Designs},
 pages = {870--887},
 title = {Legendre pairs of lengths \(\ell \equiv 0 \pmod{3}\)},
 url = {https://doi.org/10.1002/jcd.21806},
 volume = {29},
 year = {2021}
}

@book{zbMATH7312877,
 author = {Souravlias, Dimitris and Parsopoulos, Konstantinos E. and Kotsireas, Ilias S. and Pardalos, Panos M.},
 doi = {10.1007/978-3-030-68514-0},
 publisher = {Cham: Springer},
 title = {Algorithm portfolios. Advances, applications, and challenges},
 url = {https://doi.org/10.1007/978-3-030-68514-0},
 year = {2021}
}

@proceedings{DBLP:conf/lion/2021,
 booktitle = {LION},
 doi = {10.1007/978-3-030-92121-7},
 editor = {Dimitris E. Simos and
Panos M. Pardalos and
Ilias S. Kotsireas},
 publisher = {Springer},
 title = {Learning and Intelligent Optimization - 15th International Conference, LION 15, Athens, Greece, June 20-25, 2021, Revised Selected Papers},
 url = {https://doi.org/10.1007/978-3-030-92121-7},
 volume = {12931},
 year = {2021}
}

@proceedings{DBLP:conf/mc2/2020,
 booktitle = {MC},
 doi = {10.1007/978-3-030-81698-8},
 editor = {Robert M. Corless and
J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 publisher = {Springer},
 title = {Maple in Mathematics Education and Research - 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised Selected Papers},
 url = {https://doi.org/10.1007/978-3-030-81698-8},
 volume = {1414},
 year = {2021}
}

@proceedings{zbMATH7301636,
 doi = {10.1007/978-3-030-64973-9},
 editor = {Kotsireas, Ilias S. and Nagurney, Anna and Pardalos, Panos M. and Tsokas, Arsenios},
 publisher = {Cham: Springer},
 title = {Dynamics of disasters. Impact, risk, resilience, and solutions. Based on the 4th international conference on dynamics of disasters, Kalamata, Greece, July 1--5, 2019},
 url = {https://doi.org/10.1007/978-3-030-64973-9},
 year = {2021}
}

@article{DBLP:journals/aaecc/BrightCSRKG20,
 author = {Curtis Bright and
Kevin K. H. Cheung and
Brett Stevens and
Dominique Roy and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.1007/s00200-020-00426-y},
 journal = {Appl. Algebra Eng. Commun. Comput.},
 pages = {195--213},
 title = {A nonexistence certificate for projective planes of order ten with weight 15 codewords},
 url = {https://doi.org/10.1007/s00200-020-00426-y},
 volume = {31},
 year = {2020}
}

@article{DBLP:journals/aaecc/GuendaHKMW20,
 author = {Kenza Guenda and
Iiro S. Honkala and
Ilias S. Kotsireas and
Teo Mora and
Qiang Wang},
 doi = {10.1007/s00200-020-00436-w},
 journal = {Appl. Algebra Eng. Commun. Comput.},
 pages = {171--172},
 title = {Special Issue: "Computer Algebra and Application to Combinatorics, Coding Theory and Cryptography" ACA 2019, Montreal, Canada, July 16-20, 2019},
 url = {https://doi.org/10.1007/s00200-020-00436-w},
 volume = {31},
 year = {2020}
}

@article{DBLP:journals/amai/KotsireasKS20,
 author = {Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
 doi = {10.1007/s10472-018-9607-9},
 journal = {Ann. Math. Artif. Intell.},
 pages = {213--236},
 title = {Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques},
 url = {https://doi.org/10.1007/s10472-018-9607-9},
 volume = {88},
 year = {2020}
}

@article{DBLP:journals/amai/KotsireasP20,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos},
 doi = {10.1007/s10472-019-09677-z},
 journal = {Ann. Math. Artif. Intell.},
 pages = {1--2},
 title = {Guest editorial: revised selected papers from the LION 12 conference},
 url = {https://doi.org/10.1007/s10472-019-09677-z},
 volume = {88},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2001-11973,
 author = {Curtis Bright and
Kevin K. H. Cheung and
Brett Stevens and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.48550/arXiv.2001.11973},
 journal = {CoRR},
 title = {Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem},
 url = {https://doi.org/10.48550/arXiv.2001.11973},
 volume = {abs/2001.11973},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2001-11974,
 author = {Curtis Bright and
Kevin K. H. Cheung and
Brett Stevens and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.48550/arXiv.2001.11974},
 journal = {CoRR},
 title = {Nonexistence Certificates for Ovals in a Projective Plane of Order Ten},
 url = {https://doi.org/10.48550/arXiv.2001.11974},
 volume = {abs/2001.11974},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2012-04715,
 author = {Curtis Bright and
Kevin K. H. Cheung and
Brett Stevens and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.48550/arXiv.2012.04715},
 journal = {CoRR},
 title = {A SAT-based Resolution of Lam's Problem},
 url = {https://doi.org/10.48550/arXiv.2012.04715},
 volume = {abs/2012.04715},
 year = {2020}
}

@article{DBLP:journals/jsc/BrightKG20,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.1016/j.jsc.2019.07.024},
 journal = {J. Symb. Comput.},
 pages = {187--209},
 title = {Applying computer algebra systems with SAT solvers to the Williamson conjecture},
 url = {https://doi.org/10.1016/j.jsc.2019.07.024},
 volume = {100},
 year = {2020}
}

@article{DBLP:journals/mics/BigattiBDGKLL20,
 author = {Anna Maria Bigatti and
Francisco Botana and
Thierry N. Dana-Picard and
Felipe Gago and
Ilias S. Kotsireas and
Manuel Ladra and
Wei Li},
 doi = {10.1007/s11786-019-00445-0},
 journal = {Math. Comput. Sci.},
 pages = {191--192},
 title = {Foreword},
 url = {https://doi.org/10.1007/s11786-019-00445-0},
 volume = {14},
 year = {2020}
}

@article{DBLP:journals/tit/BrightKG20,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.1109/TIT.2020.3016510},
 journal = {IEEE Trans. Inf. Theory},
 pages = {7739--7751},
 title = {New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences},
 url = {https://doi.org/10.1109/TIT.2020.3016510},
 volume = {66},
 year = {2020}
}

@article{zbMATH7247054,
 author = {Goldberger, Assaf and Kotsireas, Ilias},
 journal = {S{\'{e}}minaire Lotharingien de Combinatoire},
 title = {Formal orthogonal pairs via monomial representations and cohomology},
 url = {https://arxiv.org/abs/2006.01197},
 volume = {84B},
 year = {2020}
}

@inproceedings{DBLP:conf/ijcai/BrightCSKG20,
 author = {Curtis Bright and
Kevin K. H. Cheung and
Brett Stevens and
Ilias S. Kotsireas and
Vijay Ganesh},
 booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020},
 doi = {10.24963/ijcai.2020/203},
 editor = {Christian Bessiere},
 pages = {1460--1466},
 publisher = {ijcai.org},
 title = {Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem},
 url = {https://doi.org/10.24963/ijcai.2020/203},
 year = {2020}
}

@inproceedings{DBLP:conf/iwoca/BrightCSKG20,
 author = {Curtis Bright and
Kevin K. H. Cheung and
Brett Stevens and
Ilias S. Kotsireas and
Vijay Ganesh},
 booktitle = {Combinatorial Algorithms - 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8-10, 2020, Proceedings},
 doi = {10.1007/978-3-030-48966-3_8},
 editor = {Leszek Gasieniec and
Ralf Klasing and
Tomasz Radzik},
 pages = {97--111},
 publisher = {Springer},
 title = {Nonexistence Certificates for Ovals in a Projective Plane of Order Ten},
 url = {https://doi.org/10.1007/978-3-030-48966-3_8},
 volume = {12126},
 year = {2020}
}

@misc{zbMATH900560934,
 author = {Curtis Bright and Kevin K. H. Cheung and Brett Stevens and Ilias Kotsireas and Vijay Ganesh},
 doi = {10.1609/aaai.v35i5.16483},
 note = {Preprint, arXiv:2012.04715 [cs.DM]},
 title = {A SAT-based Resolution of Lam's Problem},
 url = {https://doi.org/10.1609/aaai.v35i5.16483},
 year = {2020}
}

@proceedings{DBLP:conf/cade/2020paar,
 booktitle = {PAAR+SC²@IJCAR},
 editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
 publisher = {CEUR-WS.org},
 title = {Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June-July, 2020 (Virtual)},
 url = {https://ceur-ws.org/Vol-2752},
 volume = {2752},
 year = {2020}
}

@proceedings{DBLP:conf/lion/2020,
 booktitle = {LION},
 doi = {10.1007/978-3-030-53552-0},
 editor = {Ilias S. Kotsireas and
Panos M. Pardalos},
 publisher = {Springer},
 title = {Learning and Intelligent Optimization - 14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, Revised Selected Papers},
 url = {https://doi.org/10.1007/978-3-030-53552-0},
 volume = {12096},
 year = {2020}
}

@proceedings{DBLP:conf/marble/2019,
 booktitle = {MARBLE},
 doi = {10.1007/978-3-030-37110-4},
 editor = {Panos M. Pardalos and
Ilias S. Kotsireas and
Yike Guo and
William J. Knottenbelt},
 publisher = {Springer},
 title = {1st International Conference on Mathematical Research for Blockchain Economy, MARBLE 2019, Santorini, Greece, May 6-9, 2019},
 url = {https://doi.org/10.1007/978-3-030-37110-4},
 year = {2020}
}

@proceedings{DBLP:conf/marble/2020,
 booktitle = {MARBLE},
 doi = {10.1007/978-3-030-53356-4},
 editor = {Panos M. Pardalos and
Ilias S. Kotsireas and
Yike Guo and
William J. Knottenbelt},
 publisher = {Springer},
 title = {2nd International Conference on Mathematical Research for Blockchain Economy, MARBLE 2020, online, August 24, 2020},
 url = {https://doi.org/10.1007/978-3-030-53356-4},
 year = {2020}
}

@proceedings{DBLP:conf/mc2/2019,
 booktitle = {MC},
 doi = {10.1007/978-3-030-41258-6},
 editor = {J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 publisher = {Springer},
 title = {Maple in Mathematics Education and Research - Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings},
 url = {https://doi.org/10.1007/978-3-030-41258-6},
 volume = {1125},
 year = {2020}
}

@article{DBLP:journals/amai/BrightDKG19,
 author = {Curtis Bright and
Dragomir Z. Dokovic and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.1007/s10472-019-09681-3},
 journal = {Ann. Math. Artif. Intell.},
 pages = {321--342},
 title = {The SAT+CAS method for combinatorial search with applications to best matrices},
 url = {https://doi.org/10.1007/s10472-019-09681-3},
 volume = {87},
 year = {2019}
}

@article{DBLP:journals/cca/GerhardK19,
 author = {J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 doi = {10.1145/3388974.3388976},
 journal = {ACM Commun. Comput. Algebra},
 pages = {182},
 title = {Maple Conference 2019},
 url = {https://doi.org/10.1145/3388974.3388976},
 volume = {53},
 year = {2019}
}

@article{DBLP:journals/complexity/VlamosKV19,
 author = {Panagiotis Vlamos and
Ilias S. Kotsireas and
Dimitrios Vlachakis},
 doi = {10.1155/2019/8658124},
 journal = {Complex.},
 pages = {8658124:1--8658124:2},
 title = {Complexity in Medical Informatics},
 url = {https://doi.org/10.1155/2019/8658124},
 volume = {2019},
 year = {2019}
}

@article{DBLP:journals/corr/abs-1905-00267,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.48550/arXiv.1905.00267},
 journal = {CoRR},
 title = {New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences},
 url = {https://doi.org/10.48550/arXiv.1905.00267},
 volume = {abs/1905.00267},
 year = {2019}
}

@article{DBLP:journals/corr/abs-1906-06251,
 author = {Curtis Bright and
J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.48550/arXiv.1906.06251},
 journal = {CoRR},
 title = {Effective problem solving using SAT solvers},
 url = {https://doi.org/10.48550/arXiv.1906.06251},
 volume = {abs/1906.06251},
 year = {2019}
}

@article{DBLP:journals/corr/abs-1907-04408,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.48550/arXiv.1907.04408},
 journal = {CoRR},
 title = {SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics},
 url = {https://doi.org/10.48550/arXiv.1907.04408},
 volume = {abs/1907.04408},
 year = {2019}
}

@article{DBLP:journals/corr/abs-1907-04987,
 author = {Curtis Bright and
Dragomir Z. Dokovic and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.48550/arXiv.1907.04987},
 journal = {CoRR},
 title = {The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices},
 url = {https://doi.org/10.48550/arXiv.1907.04987},
 volume = {abs/1907.04987},
 year = {2019}
}

@article{DBLP:journals/corr/abs-1907-11981,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Albert Heinle and
Vijay Ganesh},
 doi = {10.48550/arXiv.1907.11981},
 journal = {CoRR},
 title = {Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT},
 url = {https://doi.org/10.48550/arXiv.1907.11981},
 volume = {abs/1907.11981},
 year = {2019}
}

@article{DBLP:journals/corr/abs-1911-04032,
 author = {Curtis Bright and
Kevin K. H. Cheung and
Brett Stevens and
Dominique Roy and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.48550/arXiv.1911.04032},
 journal = {CoRR},
 title = {A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords},
 url = {https://doi.org/10.48550/arXiv.1911.04032},
 volume = {abs/1911.04032},
 year = {2019}
}

@article{DBLP:journals/mics/BeaudinDLKKR19,
 author = {Michel Beaudin and
Thierry N. Dana-Picard and
Alexander B. Levin and
Christoph Koutschan and
Ilias S. Kotsireas and
Daniel Robertz},
 doi = {10.1007/s11786-019-00391-x},
 journal = {Math. Comput. Sci.},
 pages = {1--3},
 title = {Foreword},
 url = {https://doi.org/10.1007/s11786-019-00391-x},
 volume = {13},
 year = {2019}
}

@article{DBLP:journals/oms/SouravliasKPP19,
 author = {Dimitris Souravlias and
Ilias S. Kotsireas and
Panos M. Pardalos and
Konstantinos E. Parsopoulos},
 doi = {10.1080/10556788.2018.1484123},
 journal = {Optim. Methods Softw.},
 pages = {1231--1250},
 title = {Parallel algorithm portfolios with performance forecasting},
 url = {https://doi.org/10.1080/10556788.2018.1484123},
 volume = {34},
 year = {2019}
}

@article{DBLP:journals/tcs/DrosteKR19,
 author = {Manfred Droste and
Ilias S. Kotsireas and
Robert Rolland},
 doi = {10.1016/j.tcs.2019.10.009},
 journal = {Theor. Comput. Sci.},
 pages = {1--2},
 title = {Preface},
 url = {https://doi.org/10.1016/j.tcs.2019.10.009},
 volume = {800},
 year = {2019}
}

@article{zbMATH7073494,
 author = {Martz, Connor and Van Middelkoop, Sheldon and Gkigkitzis, Ioannis and Haranas, Ioannis and Kotsireas, Ilias},
 doi = {10.1155/2019/6765827},
 journal = {Advances in Mathematical Physics},
 title = {Yukawa potential orbital energy: its relation to orbital mean motion as well to the graviton mediating the interaction in celestial bodies},
 url = {https://doi.org/10.1155/2019/6765827},
 volume = {2019},
 year = {2019}
}

@article{zbMATH7174707,
 author = {Ðokovi{\'{c}}, Dragomir {\v{Z}}. and Kotsireas, Ilias S.},
 doi = {10.1515/spma-2019-0012},
 journal = {Special Matrices},
 pages = {127--141},
 title = {Computational methods for difference families in finite abelian groups},
 url = {https://doi.org/10.1515/spma-2019-0012},
 volume = {7},
 year = {2019}
}

@inproceedings{DBLP:conf/cai/KampelSGKZ19,
 author = {Ludwig Kampel and
Dimitris E. Simos and
Bernhard Garn and
Ilias S. Kotsireas and
Evgeny Zhereshchin},
 booktitle = {Algebraic Informatics - 8th International Conference, CAI 2019, Ni{\v{s}}, Serbia, June 30 - July 4, 2019, Proceedings},
 doi = {10.1007/978-3-030-21363-3_15},
 editor = {Miroslav Ciric and
Manfred Droste and
Jean-{\'{E}}ric Pin},
 pages = {177--189},
 publisher = {Springer},
 title = {Algebraic Models for Arbitrary Strength Covering Arrays over v-ary Alphabets},
 url = {https://doi.org/10.1007/978-3-030-21363-3_15},
 volume = {11545},
 year = {2019}
}

@inproceedings{DBLP:conf/casc/ImbachPYKZ19,
 author = {R{\'{e}}mi Imbach and
Victor Y. Pan and
Chee Yap and
Ilias S. Kotsireas and
Vitaly Zaderman},
 booktitle = {Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings},
 doi = {10.1007/978-3-030-26831-2_16},
 editor = {Matthew England and
Wolfram Koepf and
Timur M. Sadykov and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {236--245},
 publisher = {Springer},
 title = {Root-Finding with Implicit Deflation},
 url = {https://doi.org/10.1007/978-3-030-26831-2_16},
 volume = {11661},
 year = {2019}
}

@inproceedings{DBLP:conf/casc/KotsireasLY19,
 author = {Ilias S. Kotsireas and
Youtong Liu and
Jing Yang},
 booktitle = {Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings},
 doi = {10.1007/978-3-030-26831-2_21},
 editor = {Matthew England and
Wolfram Koepf and
Timur M. Sadykov and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {315--329},
 publisher = {Springer},
 title = {PAF Reconstruction with the Orbits Method},
 url = {https://doi.org/10.1007/978-3-030-26831-2_21},
 volume = {11661},
 year = {2019}
}

@inproceedings{DBLP:conf/cascon/BrightKG19,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Vijay Ganesh},
 booktitle = {Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, CASCON 2019, Markham, Ontario, Canada, November 4-6, 2019.},
 editor = {Tima Pakfetrat and
Guy-Vincent Jourdan and
Kostas Kontogiannis and
Robert F. Enenkel},
 pages = {323--328},
 publisher = {ACM},
 title = {SAT solvers and computer algebra systems: a powerful combination for mathematics},
 url = {https://dl.acm.org/doi/10.5555/3370272.3370309},
 year = {2019}
}

@inproceedings{DBLP:conf/lion/KampelWKS19,
 author = {Ludwig Kampel and
Michael Wagner and
Ilias S. Kotsireas and
Dimitris E. Simos},
 booktitle = {Learning and Intelligent Optimization - 13th International Conference, LION 13, Chania, Crete, Greece, May 27-31, 2019, Revised Selected Papers},
 doi = {10.1007/978-3-030-38629-0_5},
 editor = {Nikolaos F. Matsatsinis and
Yannis Marinakis and
Panos M. Pardalos},
 pages = {53--68},
 publisher = {Springer},
 title = {How to Use Boltzmann Machines and Neural Networks for Covering Array Generation},
 url = {https://doi.org/10.1007/978-3-030-38629-0_5},
 volume = {11968},
 year = {2019}
}

@inproceedings{DBLP:conf/mc2/BrightGKG19,
 author = {Curtis Bright and
J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas and
Vijay Ganesh},
 booktitle = {Maple in Mathematics Education and Research - Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings},
 doi = {10.1007/978-3-030-41258-6_15},
 editor = {J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 pages = {205--219},
 publisher = {Springer},
 title = {Effective Problem Solving Using SAT Solvers},
 url = {https://doi.org/10.1007/978-3-030-41258-6_15},
 volume = {1125},
 year = {2019}
}

@proceedings{DBLP:conf/lion/2018,
 booktitle = {LION},
 doi = {10.1007/978-3-030-05348-2},
 editor = {Roberto Battiti and
Mauro Brunato and
Ilias S. Kotsireas and
Panos M. Pardalos},
 publisher = {Springer},
 title = {Learning and Intelligent Optimization - 12th International Conference, LION 12, Kalamata, Greece, June 10-15, 2018, Revised Selected Papers},
 url = {https://doi.org/10.1007/978-3-030-05348-2},
 volume = {11353},
 year = {2019}
}

@proceedings{DBLP:conf/sea2/2019,
 booktitle = {SEA²},
 doi = {10.1007/978-3-030-34029-2},
 editor = {Ilias S. Kotsireas and
Panos M. Pardalos and
Konstantinos E. Parsopoulos and
Dimitris Souravlias and
Arsenis Tsokas},
 publisher = {Springer},
 title = {Analysis of Experimental Algorithms - Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers},
 url = {https://doi.org/10.1007/978-3-030-34029-2},
 volume = {11544},
 year = {2019}
}

@proceedings{zbMATH7001428,
 doi = {10.1007/978-1-4939-9051-1},
 editor = {Fillion, Nicolas and Corless, Robert M. and Kotsireas, Ilias S.},
 publisher = {New York, NY: Springer; Toronto: The Fields Institute for Research in the Mathematical Sciences},
 title = {Algorithms and complexity in mathematics, epistemology, and science. Proceedings of 2015 and 2016 ACMES conferences, London, UK. Selected papers},
 url = {https://doi.org/10.1007/978-1-4939-9051-1},
 year = {2019}
}

@article{DBLP:journals/cca/BrightKG18,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.1145/3313880.3313889},
 journal = {ACM Commun. Comput. Algebra},
 pages = {82--84},
 title = {The SAT+CAS paradigm and the Williamson conjecture},
 url = {https://doi.org/10.1145/3313880.3313889},
 volume = {52},
 year = {2018}
}

@article{DBLP:journals/corr/abs-1804-01172,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.48550/arXiv.1804.01172},
 journal = {CoRR},
 title = {Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture},
 url = {https://doi.org/10.48550/arXiv.1804.01172},
 volume = {abs/1804.01172},
 year = {2018}
}

@article{DBLP:journals/corr/abs-1805-05488,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Albert Heinle and
Vijay Ganesh},
 doi = {10.48550/arXiv.1805.05488},
 journal = {CoRR},
 title = {Enumeration of Complex Golay Pairs via Programmatic SAT},
 url = {https://doi.org/10.48550/arXiv.1805.05488},
 volume = {abs/1805.05488},
 year = {2018}
}

@article{DBLP:journals/corr/abs-1811-05094,
 author = {Curtis Bright and
Dragomir Z. Djokovic and
Ilias S. Kotsireas and
Vijay Ganesh},
 doi = {10.48550/arXiv.1811.05094},
 journal = {CoRR},
 title = {A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples},
 url = {https://doi.org/10.48550/arXiv.1811.05094},
 volume = {abs/1811.05094},
 year = {2018}
}

@article{DBLP:journals/jco/ArtachoCKT18,
 author = {Francisco J. Arag{\'{o}}n Artacho and
Rub{\'{e}}n Campoy and
Ilias S. Kotsireas and
Matthew K. Tam},
 doi = {10.1007/s10878-018-0250-5},
 journal = {J. Comb. Optim.},
 pages = {1061--1085},
 title = {A feasibility approach for constructing combinatorial designs of circulant type},
 url = {https://doi.org/10.1007/s10878-018-0250-5},
 volume = {35},
 year = {2018}
}

@article{DBLP:journals/mics/DokovicK18,
 author = {Dragomir Z. Dokovic and
Ilias S. Kotsireas},
 doi = {10.1007/s11786-018-0381-1},
 journal = {Math. Comput. Sci.},
 pages = {373--388},
 title = {Goethals-Seidel Difference Families with Symmetric or Skew Base Blocks},
 url = {https://doi.org/10.1007/s11786-018-0381-1},
 volume = {12},
 year = {2018}
}

@article{DBLP:journals/mics/GoyenecheKC18,
 author = {Dardo Goyeneche and
Ilias S. Kotsireas and
Padraig {\'{O}} Cath{\'{a}}in},
 doi = {10.1007/s11786-018-0388-7},
 journal = {Math. Comput. Sci.},
 pages = {371--372},
 title = {Foreword},
 url = {https://doi.org/10.1007/s11786-018-0388-7},
 volume = {12},
 year = {2018}
}

@inproceedings{DBLP:conf/aaai/BrightKG18,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Vijay Ganesh},
 booktitle = {Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018},
 doi = {10.1609/aaai.v32i1.12203},
 editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
 pages = {6573--6580},
 publisher = {AAAI Press},
 title = {A SAT+CAS Method for Enumerating Williamson Matrices of Even Order},
 url = {https://doi.org/10.1609/aaai.v32i1.12203},
 year = {2018}
}

@inproceedings{DBLP:conf/aisc/KotsireasY18,
 author = {Ilias S. Kotsireas and
Jing Yang},
 booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings},
 doi = {10.1007/978-3-319-99957-9_13},
 editor = {Jacques D. Fleuriot and
Dongming Wang and
Jacques Calmet},
 pages = {195--205},
 publisher = {Springer},
 title = {Autocorrelation via Runs},
 url = {https://doi.org/10.1007/978-3-319-99957-9_13},
 volume = {11110},
 year = {2018}
}

@inproceedings{DBLP:conf/issac/BrightKHG18,
 author = {Curtis Bright and
Ilias S. Kotsireas and
Albert Heinle and
Vijay Ganesh},
 booktitle = {Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018},
 doi = {10.1145/3208976.3209006},
 editor = {Manuel Kauers and
Alexey Ovchinnikov and
{\'{E}}ric Schost},
 pages = {111--118},
 publisher = {ACM},
 title = {Enumeration of Complex Golay Pairs via Programmatic SAT},
 url = {https://doi.org/10.1145/3208976.3209006},
 year = {2018}
}

@inproceedings{DBLP:conf/iwoca/KleineKS18,
 author = {Kristoffer Kleine and
Ilias S. Kotsireas and
Dimitris E. Simos},
 booktitle = {Combinatorial Algorithms - 29th International Workshop, IWOCA 2018, Singapore, July 16-19, 2018, Proceedings},
 doi = {10.1007/978-3-319-94667-2_16},
 editor = {Costas S. Iliopoulos and
Hon Wai Leong and
Wing-Kin Sung},
 pages = {189--200},
 publisher = {Springer},
 title = {Evaluation of Tie-Breaking and Parameter Ordering for the IPO Family of Algorithms Used in Covering Array Generation},
 url = {https://doi.org/10.1007/978-3-319-94667-2_16},
 volume = {10979},
 year = {2018}
}

@inproceedings{DBLP:conf/scsquare/Kotsireas18,
 author = {Ilias S. Kotsireas},
 booktitle = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018.},
 editor = {Anna Maria Bigatti and
Martin Brain},
 pages = {1},
 publisher = {CEUR-WS.org},
 title = {Hard Combinatorial Problems: A Challenge for Satisfiability},
 url = {https://ceur-ws.org/Vol-2189/paper15.pdf},
 volume = {2189},
 year = {2018}
}

@misc{zbMATH900364290,
 author = {Curtis Bright and Dragomir Z. Djokovic and Ilias Kotsireas and Vijay Ganesh},
 doi = {10.1609/aaai.v33i01.33011435},
 note = {Preprint, arXiv:1811.05094 [cs.LO]},
 title = {A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples},
 url = {https://doi.org/10.1609/aaai.v33i01.33011435},
 year = {2018}
}

@proceedings{zbMATH6928371,
 doi = {10.1007/978-3-319-97442-2},
 editor = {Kotsireas, Ilias S. and Nagurney, Anna and Pardalos, Panos M.},
 publisher = {Cham: Springer},
 title = {Dynamics of disasters. Algorithmic approaches and applications. Based on the 3rd international conference on dynamics of disasters, Kalamata, Greece, July 2017},
 url = {https://doi.org/10.1007/978-3-319-97442-2},
 year = {2018}
}

@article{DBLP:journals/jar/ZulkoskiBHKCG17,
 author = {Edward Zulkoski and
Curtis Bright and
Albert Heinle and
Ilias S. Kotsireas and
Krzysztof Czarnecki and
Vijay Ganesh},
 doi = {10.1007/s10817-016-9396-y},
 journal = {J. Autom. Reason.},
 pages = {313--339},
 title = {Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures},
 url = {https://doi.org/10.1007/s10817-016-9396-y},
 volume = {58},
 year = {2017}
}

@article{DBLP:journals/mics/Dana-PicardKKKP17,
 author = {Thierry N. Dana-Picard and
Wolfram Koepf and
Ilias S. Kotsireas and
Zolt{\'{a}}n Kov{\'{a}}cs and
Alexander N. Prokopenya and
Werner M. Seiler},
 doi = {10.1007/s11786-017-0324-2},
 journal = {Math. Comput. Sci.},
 pages = {251--252},
 title = {Foreword},
 url = {https://doi.org/10.1007/s11786-017-0324-2},
 volume = {11},
 year = {2017}
}

@article{DBLP:journals/mics/Kotsireas17,
 author = {Ilias S. Kotsireas},
 doi = {10.1007/s11786-017-0312-6},
 journal = {Math. Comput. Sci.},
 pages = {1--6},
 title = {Mathematics in Computer Science: After 10 Years},
 url = {https://doi.org/10.1007/s11786-017-0312-6},
 volume = {11},
 year = {2017}
}

@inproceedings{DBLP:conf/issac/EmirisKKL17,
 author = {Ioannis Z. Emiris and
Christos Konaxis and
Ilias S. Kotsireas and
Cl{\'{e}}ment Laroche},
 booktitle = {Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017},
 doi = {10.1145/3087604.3087629},
 editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
 pages = {149--156},
 publisher = {ACM},
 title = {Matrix Representations by Means of Interpolation},
 url = {https://doi.org/10.1145/3087604.3087629},
 year = {2017}
}

@proceedings{DBLP:conf/macis/2017,
 booktitle = {MACIS},
 doi = {10.1007/978-3-319-72453-9},
 editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
 publisher = {Springer},
 title = {Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
 url = {https://doi.org/10.1007/978-3-319-72453-9},
 volume = {10693},
 year = {2017}
}

@proceedings{zbMATH6722089,
 doi = {10.1007/978-3-319-56932-1},
 editor = {Kotsireas, Ilias S. and Mart{\'{i}}nez-Moro, Edgar},
 publisher = {Cham: Springer},
 title = {Applications of computer algebra, Kalamata, Greece, July 20--23, 2015},
 url = {https://doi.org/10.1007/978-3-319-56932-1},
 year = {2017}
}

@article{DBLP:journals/jsat/ArunachalamK16,
 author = {Srinivasan Arunachalam and
Ilias S. Kotsireas},
 doi = {10.3233/sat190111},
 journal = {J. Satisf. Boolean Model. Comput.},
 pages = {11--22},
 title = {Hard satisfiable 3-SAT instances via autocorrelation},
 url = {https://doi.org/10.3233/sat190111},
 volume = {10},
 year = {2016}
}

@article{DBLP:journals/ol/SouravliasPK16,
 author = {Dimitris Souravlias and
Konstantinos E. Parsopoulos and
Ilias S. Kotsireas},
 doi = {10.1007/s11590-015-0927-y},
 journal = {Optim. Lett.},
 pages = {1303--1314},
 title = {Circulant weighing matrices: a demanding challenge for parallel optimization metaheuristics},
 url = {https://doi.org/10.1007/s11590-015-0927-y},
 volume = {10},
 year = {2016}
}

@article{zbMATH6569654,
 doi = {10.1016/j.apnum.2016.02.004},
 editor = {Hadjidimos, Apostolos and Kotsireas, Ilias S. and Noutsos, Dimitrios and Vrahatis, Michael N.},
 journal = {Applied Numerical Mathematics},
 pages = {1--2},
 title = {Preface [Special issue: NumAn 2012]},
 url = {https://doi.org/10.1016/j.apnum.2016.02.004},
 volume = {104},
 year = {2016}
}

@article{zbMATH6569661,
 doi = {10.1016/j.apnum.2016.02.005},
 editor = {Akrivis, Georgios D. and Dougalis, Vassilios A. and Gallopoulos, Efstratios and Hadjidimos, Apostolos and Kotsireas, Ilias S. and Noutsos, Dimitrios and Saridakis, Yiannis G. and Vrahatis, Michael N.},
 journal = {Applied Numerical Mathematics},
 pages = {99--102},
 title = {Preface [Special issue: NumAn 2014]},
 url = {https://doi.org/10.1016/j.apnum.2016.02.005},
 volume = {104},
 year = {2016}
}

@article{zbMATH6637197,
 author = {Đokovic, Dragomir {\v{Z}}. and Kotsireas, Ilias S.},
 doi = {10.1515/spma-2016-0029},
 journal = {Special Matrices},
 pages = {317--325},
 title = {A class of cyclic \((v; k_{1}, k_{2}, k_{3}; \lambda)\) difference families with \(v \equiv 3\, (\text{mod}\, 4)\) a prime},
 url = {https://doi.org/10.1515/spma-2016-0029},
 volume = {4},
 year = {2016}
}

@inproceedings{DBLP:conf/casc/BrightGHKNC16,
 author = {Curtis Bright and
Vijay Ganesh and
Albert Heinle and
Ilias S. Kotsireas and
Saeed Nejati and
Krzysztof Czarnecki},
 booktitle = {Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
 doi = {10.1007/978-3-319-45641-6_9},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {117--133},
 publisher = {Springer},
 title = {MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures},
 url = {https://doi.org/10.1007/978-3-319-45641-6_9},
 volume = {9890},
 year = {2016}
}

@inproceedings{DBLP:conf/isaim/Kotsireas16,
 author = {Ilias S. Kotsireas},
 booktitle = {International Symposium on Artificial Intelligence and Mathematics, ISAIM 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016.},
 title = {Computational Approaches to Open Problems in Combinatorics},
 url = {https://isaim2016.cs.ou.edu/papers/ISAIM2016_Proofs_Kotsireas.pdf},
 year = {2016}
}

@inproceedings{DBLP:conf/synasc/BrightGHKNC16,
 author = {Curtis Bright and
Vijay Ganesh and
Albert Heinle and
Ilias S. Kotsireas and
Saeed Nejati and
Krzysztof Czarnecki},
 booktitle = {Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016.},
 editor = {Erika {\'{A}}brah{\'{a}}m and
James H. Davenport and
Pascal Fontaine},
 pages = {13--19},
 publisher = {CEUR-WS.org},
 title = {MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures},
 url = {https://ceur-ws.org/Vol-1804/paper-04.pdf},
 volume = {1804},
 year = {2016}
}

@inproceedings{DBLP:conf/wea/KotsireasPPS16,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos and
Konstantinos E. Parsopoulos and
Dimitris Souravlias},
 booktitle = {Experimental Algorithms - 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings},
 doi = {10.1007/978-3-319-38851-9_13},
 editor = {Andrew V. Goldberg and
Alexander S. Kulikov},
 pages = {184--200},
 publisher = {Springer},
 title = {On the Solution of Circulant Weighing Matrices Problems Using Algorithm Portfolios on Multi-core Processors},
 url = {https://doi.org/10.1007/978-3-319-38851-9_13},
 volume = {9685},
 year = {2016}
}

@proceedings{DBLP:conf/macis/2015,
 booktitle = {MACIS},
 doi = {10.1007/978-3-319-32859-1},
 editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
 publisher = {Springer},
 title = {Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers},
 url = {https://doi.org/10.1007/978-3-319-32859-1},
 volume = {9582},
 year = {2016}
}

@proceedings{zbMATH6664442,
 doi = {10.1007/978-3-319-43709-5},
 editor = {Kotsireas, Ilias S. and Nagurney, Anna and Pardalos, Panos M.},
 publisher = {Cham: Springer},
 title = {Dynamics of disasters -- key concepts, models, algorithms, and insights. Selected papers based on the presentations at the 2nd international conference, Kalamata, Greece, June 29 -- July 2015, 2015},
 url = {https://doi.org/10.1007/978-3-319-43709-5},
 year = {2016}
}

@article{DBLP:journals/dam/DokovicKRS15,
 author = {Dragomir Z. Dokovic and
Ilias S. Kotsireas and
Daniel Recoskie and
Joe Sawada},
 doi = {10.1016/j.dam.2015.03.001},
 journal = {Discret. Appl. Math.},
 pages = {32--40},
 title = {Charm bracelets and their application to the construction of periodic Golay pairs},
 url = {https://doi.org/10.1016/j.dam.2015.03.001},
 volume = {188},
 year = {2015}
}

@article{DBLP:journals/dcc/DokovicK15,
 author = {Dragomir Z. Dokovic and
Ilias S. Kotsireas},
 doi = {10.1007/s10623-013-9862-z},
 journal = {Des. Codes Cryptogr.},
 pages = {365--377},
 title = {Compression of periodic complementary sequences and applications},
 url = {https://doi.org/10.1007/s10623-013-9862-z},
 volume = {74},
 year = {2015}
}

@article{DBLP:journals/dcc/KotsireasM15,
 author = {Ilias S. Kotsireas and
Edgar Mart{\'{i}}nez-Moro},
 doi = {10.1007/s10623-015-0041-2},
 journal = {Des. Codes Cryptogr.},
 pages = {1--2},
 title = {Foreword: Computer Algebra in Coding Theory and Cryptography},
 url = {https://doi.org/10.1007/s10623-015-0041-2},
 volume = {76},
 year = {2015}
}

@article{DBLP:journals/na/DokovicK15,
 author = {Dragomir Z. Dokovic and
Ilias S. Kotsireas},
 doi = {10.1007/s11075-014-9910-4},
 journal = {Numer. Algorithms},
 pages = {523--530},
 title = {Some new periodic Golay pairs},
 url = {https://doi.org/10.1007/s11075-014-9910-4},
 volume = {69},
 year = {2015}
}

@article{zbMATH6507142,
 author = {Di Matteo, Olivia and Đokovi{\'{c}}, Dragomir {\v{Z}}. and Kotsireas, Ilias S.},
 doi = {10.1515/spma-2015-0022},
 journal = {Special Matrices},
 pages = {227--234},
 title = {Symmetric Hadamard matrices of order 116 and 172 exist},
 url = {https://doi.org/10.1515/spma-2015-0022},
 volume = {3},
 year = {2015}
}

@inproceedings{DBLP:conf/rta/KotsireasKS15,
 author = {Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
 booktitle = {26th International Conference on Rewriting Techniques and Applications, RTA 2015, Warsaw, Poland, June 29 - July 1, 2015},
 doi = {10.4230/LIPIcs.RTA.2015.241},
 editor = {Maribel Fern{\'{a}}ndez},
 pages = {241--256},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 title = {Constructing Orthogonal Designs in Powers of Two: Gr{\"{o}}bner Bases Meet Equational Unification},
 url = {https://doi.org/10.4230/LIPIcs.RTA.2015.241},
 volume = {36},
 year = {2015}
}

@inproceedings{zbMATH6535007,
 author = {Đokovi{\'{c}}, Dragomir {\v{Z}}. and Kotsireas, Ilias S.},
 booktitle = {Colbourn, Charles J. (ed.), Algebraic design theory and Hadamard matrices. ADTHM, Lethbridge, Alberta, Canada, July 8--11, 2014. Selected papers based on the presentations at the workshop and at the workshop on algebraic design theory with Hadamard matrices: applications, current trends and future directions, Banff International Research Station, Alberta, Canada, July 11--13, 2014. Cham: Springer (ISBN 978-3-319-17728-1/hbk; 978-3-319-17729-8/ebook). Springer Proceedings in Mathematics \& Statistics 133, 71-82},
 doi = {10.1007/978-3-319-17729-8_6},
 pages = {71--82},
 title = {D-optimal matrices of orders 118, 138, 150, 154 and 174},
 url = {https://doi.org/10.1007/978-3-319-17729-8_6},
 year = {2015}
}

@inproceedings{zbMATH6535008,
 author = {Đokovi{\'{c}}, Dragomir {\v{Z}}. and Kotsireas, Ilias S.},
 booktitle = {Colbourn, Charles J. (ed.), Algebraic design theory and Hadamard matrices. ADTHM, Lethbridge, Alberta, Canada, July 8--11, 2014. Selected papers based on the presentations at the workshop and at the workshop on algebraic design theory with Hadamard matrices: applications, current trends and future directions, Banff International Research Station, Alberta, Canada, July 11--13, 2014. Cham: Springer (ISBN 978-3-319-17728-1/hbk; 978-3-319-17729-8/ebook). Springer Proceedings in Mathematics \& Statistics 133, 83-92},
 doi = {10.1007/978-3-319-17729-8_7},
 pages = {83--92},
 title = {Periodic Golay pairs of length 72},
 url = {https://doi.org/10.1007/978-3-319-17729-8_7},
 year = {2015}
}

@inproceedings{zbMATH6535015,
 author = {Kotsireas, Ilias S. and Seberry, Jennifer and Suharini, Yustina S.},
 booktitle = {Colbourn, Charles J. (ed.), Algebraic design theory and Hadamard matrices. ADTHM, Lethbridge, Alberta, Canada, July 8--11, 2014. Selected papers based on the presentations at the workshop and at the workshop on algebraic design theory with Hadamard matrices: applications, current trends and future directions, Banff International Research Station, Alberta, Canada, July 11--13, 2014. Cham: Springer (ISBN 978-3-319-17728-1/hbk; 978-3-319-17729-8/ebook). Springer Proceedings in Mathematics \& Statistics 133, 171-187},
 doi = {10.1007/978-3-319-17729-8_14},
 pages = {171--187},
 title = {Inner product vectors for skew-Hadamard matrices},
 url = {https://doi.org/10.1007/978-3-319-17729-8_14},
 year = {2015}
}

@proceedings{zbMATH6375962,
 doi = {10.1007/978-3-319-12307-3},
 editor = {Cojocaru, Monica G. and Kotsireas, Ilias S. and Makarov, Roman N. and Melnik, Roderick V. N. and Shodiev, Hasan},
 publisher = {Cham: Springer},
 title = {Interdisciplinary topics in applied mathematics, modeling and computational science. Selected papers based on the presentations at the 2nd conference, AMMCS 2013, Waterloo, Canada, August 26--30, 2013},
 url = {https://doi.org/10.1007/978-3-319-12307-3},
 year = {2015}
}

@article{DBLP:journals/cca/Kotsireas14a,
 author = {Ilias S. Kotsireas},
 doi = {10.1145/2733693.2733718},
 journal = {ACM Commun. Comput. Algebra},
 pages = {154},
 title = {Message from the SIGSAM Chair},
 url = {https://doi.org/10.1145/2733693.2733718},
 volume = {48},
 year = {2014}
}

@article{DBLP:journals/cca/Kotsireas14,
 author = {Ilias S. Kotsireas},
 doi = {10.1145/2644288.2644296},
 journal = {ACM Commun. Comput. Algebra},
 pages = {32},
 title = {Message from the SIGSAM Chair},
 url = {https://doi.org/10.1145/2644288.2644296},
 volume = {48},
 year = {2014}
}

@article{DBLP:journals/jocs/KotsireasKMS14,
 author = {Ilias S. Kotsireas and
Lilia Krivodonova and
Sabine McConnell and
Erik Schnetter},
 doi = {10.1016/j.jocs.2014.04.009},
 journal = {J. Comput. Sci.},
 pages = {497--498},
 title = {High performance computing theory and applications - Proceedings of SHARCNET Research Day 2012 (Guelph, Ontario)},
 url = {https://doi.org/10.1016/j.jocs.2014.04.009},
 volume = {5},
 year = {2014}
}

@article{zbMATH6307039,
 author = {Đokovi{\'{c}}, Dragomir {\v{Z}}. and Golubitsky, Oleg and Kotsireas, Ilias S.},
 doi = {10.1002/jcd.21358},
 journal = {Journal of Combinatorial Designs},
 pages = {270--277},
 title = {Some new orders of Hadamard and skew-Hadamard matrices},
 url = {https://doi.org/10.1002/jcd.21358},
 volume = {22},
 year = {2014}
}

@inproceedings{DBLP:conf/lion/KotsireasP14,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos},
 booktitle = {Learning and Intelligent Optimization - 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers},
 doi = {10.1007/978-3-319-09584-4_33},
 editor = {Panos M. Pardalos and
Mauricio G. C. Resende and
Chrysafis Vogiatzis and
Jose L. Walteros},
 pages = {383--390},
 publisher = {Springer},
 title = {A New Existence Condition for Hadamard Matrices with Circulant Core},
 url = {https://doi.org/10.1007/978-3-319-09584-4_33},
 volume = {8426},
 year = {2014}
}

@misc{zbMATH900182673,
 author = {Dragomir Z. Djokovic and Ilias S. Kotsireas},
 note = {Preprint, arXiv:1406.1399 [math.CO]},
 title = {There is no circulant weighing matrix of order 60 and weight 36},
 url = {https://arxiv.org/abs/1406.1399},
 year = {2014}
}

@article{DBLP:journals/heuristics/KotsireasP13,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos},
 doi = {10.1007/s10732-011-9173-3},
 journal = {J. Heuristics},
 pages = {617--627},
 title = {D-optimal matrices via quadratic integer optimization},
 url = {https://doi.org/10.1007/s10732-011-9173-3},
 volume = {19},
 year = {2013}
}

@article{DBLP:journals/jocs/TesdallJKM13,
 author = {Allen M. Tesdall and
Jae-Hun Jung and
Ilias S. Kotsireas and
Roderick V. N. Melnik},
 doi = {10.1016/j.jocs.2012.10.002},
 journal = {J. Comput. Sci.},
 pages = {1--2},
 title = {Preface},
 url = {https://doi.org/10.1016/j.jocs.2012.10.002},
 volume = {4},
 year = {2013}
}

@article{DBLP:journals/tcs/KotsireasMPZ13,
 author = {Ilias S. Kotsireas and
Bernard Mourrain and
Victor Y. Pan and
Lihong Zhi},
 doi = {10.1016/j.tcs.2012.10.017},
 journal = {Theor. Comput. Sci.},
 pages = {1--3},
 title = {Preface},
 url = {https://doi.org/10.1016/j.tcs.2012.10.017},
 volume = {479},
 year = {2013}
}

@incollection{DBLP:books/daglib/p/Kotsireas13,
 author = {Ilias S. Kotsireas},
 booktitle = {Number Theory and Related Fields},
 doi = {10.1007/978-1-4614-6642-0_11},
 pages = {215--227},
 title = {Structured Hadamard Conjecture},
 url = {https://doi.org/10.1007/978-1-4614-6642-0_11},
 year = {2013}
}

@proceedings{zbMATH6149536,
 editor = {Akrivis, Georgios and Dougalis, Vassilios and Gallopoulos, Efstratios and Hadjidimos, Apostolos and Kotsireas, Ilias S. and Noutsos, Dimitrios and Saridakis, Yiannis G. and Vrahatis, Michael N.},
 title = {Special issue: Selected papers based on the presentations at the NumAn 2010 conference, Chania, Crete, Greece, September 15--18, 2010},
 year = {2013}
}

@proceedings{zbMATH6176497,
 doi = {10.1007/978-3-642-30979-3},
 editor = {Kotsireas, Ilias S. and Zima, Eugene V.},
 publisher = {Berlin: Springer},
 title = {Advances in combinatorics. In part based on the 3rd Waterloo workshop on computer algebra (WWCA, W80) 2011, Waterloo, Canada, May 26--29, 2011. Dedicated to Herbert Saul Wilf on the occasion of his 80th birthday},
 url = {https://doi.org/10.1007/978-3-642-30979-3},
 year = {2013}
}

@article{DBLP:journals/jco/KotsireasKPS12,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos and
Panos M. Pardalos and
Dimitris E. Simos},
 doi = {10.1007/s10878-011-9404-4},
 journal = {J. Comb. Optim.},
 pages = {508--525},
 title = {Competent genetic algorithms for weighing matrices},
 url = {https://doi.org/10.1007/s10878-011-9404-4},
 volume = {24},
 year = {2012}
}

@article{DBLP:journals/mics/KotsireasCM12,
 author = {Ilias S. Kotsireas and
Irene Marquez Corbella and
Edgar Mart{\'{i}}nez-Moro},
 doi = {10.1007/s11786-012-0116-7},
 journal = {Math. Comput. Sci.},
 pages = {107--108},
 title = {Foreword},
 url = {https://doi.org/10.1007/s11786-012-0116-7},
 volume = {6},
 year = {2012}
}

@article{DBLP:journals/ol/KotsireasKS12,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos and
Jennifer Seberry},
 doi = {10.1007/s11590-010-0264-0},
 journal = {Optim. Lett.},
 pages = {211--217},
 title = {New weighing matrices constructed from two circulant submatrices},
 url = {https://doi.org/10.1007/s11590-010-0264-0},
 volume = {6},
 year = {2012}
}

@article{zbMATH6074520,
 author = {Đokovi{\'{c}}, Dragomir {\v{Z}}. and Kotsireas, Ilias S.},
 doi = {10.1002/jcd.21302},
 journal = {Journal of Combinatorial Designs},
 pages = {278--289},
 title = {New results on D-optimal matrices},
 url = {https://doi.org/10.1002/jcd.21302},
 volume = {20},
 year = {2012}
}

@inproceedings{DBLP:conf/ants/KotsireasPPV12,
 author = {Ilias S. Kotsireas and
Konstantinos E. Parsopoulos and
Grigoris S. Piperagkas and
Michael N. Vrahatis},
 booktitle = {Swarm Intelligence - 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012. Proceedings},
 doi = {10.1007/978-3-642-32650-9_21},
 editor = {Marco Dorigo and
Mauro Birattari and
Christian Blum and
Anders Lyhne Christensen and
Andries P. Engelbrecht and
Roderich Gro{\ss} and
Thomas St{\"{u}}tzle},
 pages = {220--227},
 publisher = {Springer},
 title = {Ant-Based Approaches for Solving Autocorrelation Problems},
 url = {https://doi.org/10.1007/978-3-642-32650-9_21},
 volume = {7461},
 year = {2012}
}

@proceedings{zbMATH6154942,
 editor = {Kotsireas, Ilias S. and M{\'{a}}rquez-Corbella, Irene and Mart{\'{i}}nez-Moro, Edgar},
 pages = {107--198},
 title = {Special issue: Selected papers based on the presentations at the 3rd biennial Canadian discrete and algorithmic mathematics conference (CanaDAM), May 31 -- June 3, 2011, Victoria, BC, Canada},
 year = {2012}
}

@article{DBLP:journals/cca/KotsireasZ11,
 author = {Ilias S. Kotsireas and
Eugene V. Zima},
 doi = {10.1145/2016567.2016576},
 journal = {ACM Commun. Comput. Algebra},
 pages = {92--99},
 title = {Abstracts of WWCA 2011 in honor of Herb Wilf's 80th birthday},
 url = {https://doi.org/10.1145/2016567.2016576},
 volume = {45},
 year = {2011}
}

@article{DBLP:journals/informaticaLT/SyedKP11,
 author = {Mujahid N. Syed and
Ilias S. Kotsireas and
Panos M. Pardalos},
 journal = {Informatica},
 pages = {577--587},
 title = {D-Optimal Designs: A Mathematical Programming Approach Using Cyclotomic Cosets},
 url = {http://content.iospress.com/articles/informatica/inf22-4-07},
 volume = {22},
 year = {2011}
}

@article{DBLP:journals/jco/KotsireasKP11,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos and
Panos M. Pardalos},
 doi = {10.1007/s10878-010-9335-5},
 journal = {J. Comb. Optim.},
 pages = {873--881},
 title = {A modified power spectral density test applied to weighing matrices with small weight},
 url = {https://doi.org/10.1007/s10878-010-9335-5},
 volume = {22},
 year = {2011}
}

@article{DBLP:journals/jsc/ArnoldKR11,
 author = {Elizabeth Arnold and
Ilias S. Kotsireas and
Markus Rosenkranz},
 doi = {10.1016/j.jsc.2010.10.001},
 journal = {J. Symb. Comput.},
 pages = {495--497},
 title = {Bruno Buchberger and the world of Gr{\"{o}}bner bases},
 url = {https://doi.org/10.1016/j.jsc.2010.10.001},
 volume = {46},
 year = {2011}
}

@article{DBLP:journals/tcs/KotsireasMP11,
 author = {Ilias S. Kotsireas and
Bernard Mourrain and
Victor Y. Pan},
 doi = {10.1016/j.tcs.2010.12.002},
 journal = {Theor. Comput. Sci.},
 pages = {1443--1444},
 title = {Preface},
 url = {https://doi.org/10.1016/j.tcs.2010.12.002},
 volume = {412},
 year = {2011}
}

@article{zbMATH5987596,
 author = {Kotsireas, I. S. and Koukouvino, C. and Simos, D. E.},
 journal = {Journal of Applied Mathematics \& Informatics},
 pages = {1571--1581},
 title = {A meta-software system for orthogonal designs and Hadamard matrices},
 volume = {29},
 year = {2011}
}

@article{zbMATH6159476,
 author = {Syed, Mujahid N. and Kotsireas, Ilias S. and Pardalos, Panos M.},
 journal = {Informatica (Vilnius)},
 pages = {577--587},
 title = {D-optimal designs: a mathematical programming approach using cyclotomic cosets},
 volume = {22},
 year = {2011}
}

@article{DBLP:journals/ajc/ArasuKKS10,
 author = {K. T. Arasu and
Ilias S. Kotsireas and
Christos Koukouvinos and
Jennifer Seberry},
 journal = {Australas. J Comb.},
 pages = {43--52},
 title = {On circulant and two-circulant weighing matrices},
 url = {http://ajc.maths.uq.edu.au/pdf/48/ajc_v48_p043.pdf},
 volume = {48},
 year = {2010}
}

@article{DBLP:journals/ajc/KotsireasKSS10,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos and
Jennifer Seberry and
Dimitris E. Simos},
 journal = {Australas. J Comb.},
 pages = {67--78},
 title = {New classes of orthogonal designs constructed from complementary sequences with given spread},
 url = {http://ajc.maths.uq.edu.au/pdf/46/ajc_v46_p067.pdf},
 volume = {46},
 year = {2010}
}

@article{DBLP:journals/jco/KotsireasKPS10,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos and
Panos M. Pardalos and
Oleg V. Shylo},
 doi = {10.1007/s10878-008-9194-5},
 journal = {J. Comb. Optim.},
 pages = {63--75},
 title = {Periodic complementary binary sequences and Combinatorial Optimization algorithms},
 url = {https://doi.org/10.1007/s10878-008-9194-5},
 volume = {20},
 year = {2010}
}

@article{DBLP:journals/ol/KotsireasKP10,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos and
Panos M. Pardalos},
 doi = {10.1007/s11590-009-0144-7},
 journal = {Optim. Lett.},
 pages = {29--36},
 title = {An efficient string sorting algorithm for weighing matrices of small weight},
 url = {https://doi.org/10.1007/s11590-009-0144-7},
 volume = {4},
 year = {2010}
}

@article{zbMATH5717185,
 author = {Kotsireas, I. S. and Koukouvinos, C. and Seberry, J. and Simos, D. E.},
 journal = {The Australasian Journal of Combinatorics},
 pages = {67--78},
 title = {New classes of orthogonal designs constructed from complementary sequences with given spread},
 volume = {46},
 year = {2010}
}

@article{zbMATH5722201,
 author = {Kotsireas, Ilias S. and Koukouvinos, Christos and Seberry, Jennifer},
 journal = {JCMCC. The Journal of Combinatorial Mathematics and Combinatorial Computing},
 pages = {49--54},
 title = {New weighing matrices of order \(2n\) and weight \(2n-9\)},
 volume = {72},
 year = {2010}
}

@article{zbMATH5901712,
 author = {Arasu, K. T. and Kotsireas, I. S. and Koukouvinos, C. and Seberry, Jennifer},
 journal = {The Australasian Journal of Combinatorics},
 pages = {43--51},
 title = {On circulant and two-circulant weighing matrices},
 volume = {48},
 year = {2010}
}

@article{zbMATH5902388,
 author = {Kotsireas, llias S. and Koukouvino, Christos and Simos, Dimitris E.},
 journal = {JCMCC. The Journal of Combinatorial Mathematics and Combinatorial Computing},
 pages = {105--115},
 title = {Inequivalent Hadamard matrices from near normal sequences},
 volume = {75},
 year = {2010}
}

@article{DBLP:journals/amco/KotsireasKS09,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos and
Dimitris E. Simos},
 doi = {10.3934/amc.2009.3.349},
 journal = {Adv. Math. Commun.},
 pages = {349--361},
 title = {MDS and near-MDS self-dual codes over large prime fields},
 url = {https://doi.org/10.3934/amc.2009.3.349},
 volume = {3},
 year = {2009}
}

@article{DBLP:journals/jsc/CorlessGK09,
 author = {Robert M. Corless and
Karin Gatermann and
Ilias S. Kotsireas},
 doi = {10.1016/j.jsc.2008.11.009},
 journal = {J. Symb. Comput.},
 pages = {1536--1550},
 title = {Using symmetries in the eigenvalue method for polynomial systems},
 url = {https://doi.org/10.1016/j.jsc.2008.11.009},
 volume = {44},
 year = {2009}
}

@article{DBLP:journals/jsc/KotsireasK09,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos},
 doi = {10.1016/j.jsc.2007.05.004},
 journal = {J. Symb. Comput.},
 pages = {271--279},
 title = {Hadamard matrices of Williamson type: A challenge for Computer Algebra},
 url = {https://doi.org/10.1016/j.jsc.2007.05.004},
 volume = {44},
 year = {2009}
}

@article{zbMATH5556283,
 author = {Kotsireas, I. S. and Koukouvinos, C. and Simos, D. E.},
 journal = {Utilitas Mathematica},
 pages = {3--9},
 title = {Inequivalent Hadamard matrices from base sequences},
 volume = {78},
 year = {2009}
}

@article{zbMATH5722481,
 author = {Kotsireas, Ilias S. and Koukouvinos, Christos},
 journal = {JCMCC. The Journal of Combinatorial Mathematics and Combinatorial Computing},
 pages = {197--205},
 title = {New weighing matrices of order \(2n\) and weight \(2n-5\)},
 volume = {70},
 year = {2009}
}

@article{zbMATH5999916,
 author = {Kotsireas, Ilias S. and Koukouvinos, Christos and Seberry, Jennifer},
 doi = {10.1007/s00026-009-0027-8},
 journal = {Annals of Combinatorics},
 pages = {305--313},
 title = {Weighing matrices and string sorting},
 url = {https://doi.org/10.1007/s00026-009-0027-8},
 volume = {13},
 year = {2009}
}

@proceedings{DBLP:conf/snc/2009,
 booktitle = {SNC},
 editor = {Hiroshi Kai and
Hiroshi Sekigawa and
Tateaki Sasaki and
Kiyoshi Shirayanagi and
Ilias S. Kotsireas},
 publisher = {ACM},
 title = {Symbolic Numeric Computation, SNC '09, Kyoto, Japan - August 03 - 05, 2009},
 url = {http://dl.acm.org/citation.cfm?id=1577190},
 year = {2009}
}

@proceedings{zbMATH5544469,
 editor = {Gallopoulos, Efstratios and Hadjidimos, Apostolos and Kotsireas, Ilias S. and Noutsos, Dimitrios and Vrahatis, Michael N.},
 title = {Special issue: Proceedings of of NUMAN 2007 conference: Recent approaches to numerical analysis: Theory, methods and applications, Kalamata, Greece, September 3--7, 2007.},
 year = {2009}
}

@proceedings{zbMATH5637129,
 doi = {10.1007/978-3-642-03562-3},
 editor = {Kotsireas, Ilias S. and Zima, Eugene V.},
 publisher = {Berlin: Springer},
 title = {Advances in combinatorial mathematics. Proceedings of the 2nd Waterloo workshop on computer algebra (WWCA 2008), Waterloo, Canada, May 5--7, 2008. Dedicated to the 70th birthday of G. Egorychev},
 url = {https://doi.org/10.1007/978-3-642-03562-3},
 year = {2009}
}

@article{DBLP:journals/ajc/KotsireasK08,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos},
 journal = {Australas. J Comb.},
 pages = {235--248},
 title = {New skew-Hadamard matrices via computational algebra},
 url = {http://ajc.maths.uq.edu.au/pdf/41/ajc_v41_p235.pdf},
 volume = {41},
 year = {2008}
}

@article{DBLP:journals/ajc/KotsireasKS08,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos and
Jennifer Seberry},
 journal = {Australas. J Comb.},
 pages = {99--104},
 title = {New orthogonal designs from weighing matrices},
 url = {http://ajc.maths.uq.edu.au/pdf/40/ajc_v40_p099.pdf},
 volume = {40},
 year = {2008}
}

@article{DBLP:journals/mics/Kotsireas08,
 author = {Ilias S. Kotsireas},
 doi = {10.1007/s11786-008-0041-y},
 journal = {Math. Comput. Sci.},
 pages = {439},
 title = {Foreword},
 url = {https://doi.org/10.1007/s11786-008-0041-y},
 volume = {1},
 year = {2008}
}

@article{DBLP:journals/tcs/ChiarandiniKKP08,
 author = {Marco Chiarandini and
Ilias S. Kotsireas and
Christos Koukouvinos and
Lu{\'{i}}s Paquete},
 doi = {10.1016/j.tcs.2008.06.002},
 journal = {Theor. Comput. Sci.},
 pages = {274--277},
 title = {Heuristic algorithms for Hadamard matrices with two circulant cores},
 url = {https://doi.org/10.1016/j.tcs.2008.06.002},
 volume = {407},
 year = {2008}
}

@article{zbMATH5247089,
 author = {Kotsireas, Ilias S. and Koukouvinos, Christos and Seberry, Jennifer},
 journal = {The Australasian Journal of Combinatorics},
 pages = {99--104},
 title = {New orthogonal designs from weighing matrices},
 volume = {40},
 year = {2008}
}

@article{zbMATH5309980,
 author = {Kotsireas, I. S. and Koukouvinos, C.},
 journal = {The Australasian Journal of Combinatorics},
 pages = {235--248},
 title = {New skew-Hadamard matrices via computational algebra},
 volume = {41},
 year = {2008}
}

@article{zbMATH5499438,
 author = {Chishtie, F. A. and Rao, K. M. and Kotsireas, I. S. and Valluri, S. R.},
 doi = {10.1142/S0218271808012760},
 journal = {International Journal of Modern Physics D},
 pages = {1197--1212},
 title = {An investigation of uniform expansions of large order Bessel functions in gravitational wave signals},
 url = {https://doi.org/10.1142/S0218271808012760},
 volume = {17},
 year = {2008}
}

@article{zbMATH5519351,
 author = {Kotsireas, I. S. and Koukouvinos, C.},
 journal = {International Journal of Applied Mathematics},
 pages = {509--514},
 title = {Periodic complementary binary sequences of length 50},
 volume = {21},
 year = {2008}
}

@article{zbMATH5543458,
 author = {Kotsireas, I. S. and Koukouvinos, C.},
 journal = {International Journal of Applied Mathematics},
 pages = {685--689},
 title = {Inequivalent Hadamard matrices of order 100 constructed from two circulant submatrices},
 volume = {21},
 year = {2008}
}

@article{DBLP:journals/ajc/KotsireasK07,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos},
 journal = {Australas. J Comb.},
 pages = {39--48},
 title = {Orthogonal designs of order 32 and 64 via computational algebra},
 url = {http://ajc.maths.uq.edu.au/pdf/39/ajc_v39_p039.pdf},
 volume = {39},
 year = {2007}
}

@article{DBLP:journals/cca/GiesbrechtKL07,
 author = {Mark Giesbrecht and
Ilias S. Kotsireas and
Austin Lobo},
 doi = {10.1145/1296772.1296775},
 journal = {ACM Commun. Comput. Algebra},
 pages = {38--72},
 title = {ISSAC 2007 poster abstracts},
 url = {https://doi.org/10.1145/1296772.1296775},
 volume = {41},
 year = {2007}
}

@article{zbMATH5233140,
 author = {Georgiou, S. and Kotsireas, I. and Koukouvinos, C.},
 journal = {JCMCC. The Journal of Combinatorial Mathematics and Combinatorial Computing},
 pages = {65--79},
 title = {Inequivalent Hadamard matrices of order \(2n\) constructed from Hadamard matrices of order \(n\)},
 volume = {63},
 year = {2007}
}

@article{zbMATH5239126,
 author = {Kotsireas, Ilias S. and Koukouvinos, Cristos},
 journal = {JCMCC. The Journal of Combinatorial Mathematics and Combinatorial Computing},
 pages = {97--110},
 title = {Hadamard ideals and Hadamard matrices from two circulant submatrices},
 volume = {61},
 year = {2007}
}

@article{zbMATH5239156,
 author = {Kotsireas, Ilias S. and Koukouvinos, Christos},
 journal = {The Australasian Journal of Combinatorics},
 pages = {39--48},
 title = {Orthogonal designs of order 32 and 64 via computational algebra},
 volume = {39},
 year = {2007}
}

@inproceedings{DBLP:conf/issac/KotsireasK07,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos},
 booktitle = {Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada},
 doi = {10.1145/1278177.1278194},
 editor = {Marc Moreno Maza and
Stephen M. Watt},
 pages = {95--96},
 publisher = {ACM},
 title = {Inequivalent Hadamard matrices from orthogonal designs},
 url = {https://doi.org/10.1145/1278177.1278194},
 year = {2007}
}

@proceedings{zbMATH5146500,
 doi = {10.1142/6289},
 editor = {Kotsireas, Ilias S. and Zima, Eugene V.},
 publisher = {Hackensack, NJ: World Scientific},
 title = {Computer algebra 2006. Latest advances in symbolic algorithms. Proceeding of the Waterloo workshop, Ontario, Canada, April 10--12, 2006. Dedicated to the 60th birthday of Sergei Abramov.},
 url = {https://doi.org/10.1142/6289},
 year = {2007}
}

@article{DBLP:journals/ajc/CousineauKK06,
 author = {Jason Cousineau and
Ilias S. Kotsireas and
Christos Koukouvinos},
 journal = {Australas. J Comb.},
 pages = {263--272},
 title = {Genetic algorithms for orthogonal designs},
 url = {http://ajc.maths.uq.edu.au/pdf/35/ajc_v35_p263.pdf},
 volume = {35},
 year = {2006}
}

@article{DBLP:journals/cca/KotsireasZ06,
 author = {Ilias S. Kotsireas and
Eugene A. Zima},
 doi = {10.1145/1182553.1182565},
 journal = {ACM Commun. Comput. Algebra},
 pages = {52--59},
 title = {WWCA 2006 abstracts},
 url = {https://doi.org/10.1145/1182553.1182565},
 volume = {40},
 year = {2006}
}

@article{DBLP:journals/ejc/KotsireasKS06,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos and
Jennifer Seberry},
 doi = {10.1016/j.ejc.2005.03.004},
 journal = {Eur. J. Comb.},
 pages = {658--668},
 title = {Hadamard ideals and Hadamard matrices with two circulant cores},
 url = {https://doi.org/10.1016/j.ejc.2005.03.004},
 volume = {27},
 year = {2006}
}

@article{DBLP:journals/jfi/KaramanosK06,
 author = {Konstantinos Karamanos and
Ilias S. Kotsireas},
 doi = {10.1016/j.jfranklin.2006.06.002},
 journal = {J. Frankl. Inst.},
 pages = {759--761},
 title = {Addendum: On the statistical analysis of the first digits of the Feigenbaum constants},
 url = {https://doi.org/10.1016/j.jfranklin.2006.06.002},
 volume = {343},
 year = {2006}
}

@article{zbMATH5043404,
 author = {Cousineau, Jason and Kotsireas, Ilias S.},
 journal = {The Australasian Journal of Combinatorics},
 pages = {263--272},
 title = {Genetic algorithms for orthogonal designs},
 volume = {35},
 year = {2006}
}

@article{zbMATH5052600,
 author = {Kotsireas, Ilias S. and Koukouvinos, Christos},
 doi = {10.1002/jcd.20108},
 journal = {Journal of Combinatorial Designs},
 pages = {351--362},
 title = {Orthogonal designs via computational algebra},
 url = {https://doi.org/10.1002/jcd.20108},
 volume = {14},
 year = {2006}
}

@article{zbMATH5123579,
 author = {Kotsireas, Ilias S. and Koukouvinos, Christos},
 journal = {Utilitas Mathematica},
 pages = {197--207},
 title = {A computational algebraic approach for saturated \(D\)-optimal designs with \(n\equiv 2\pmod 4\) observations},
 volume = {71},
 year = {2006}
}

@article{zbMATH5127186,
 author = {Kotsireas, Ilias S. and Koukouvinos, Christos and Seberry, Jennifer},
 journal = {JCMCC. The Journal of Combinatorial Mathematics and Combinatorial Computing},
 pages = {47--63},
 title = {Hadamard ideals and Hadamard matrices with circulant core},
 volume = {57},
 year = {2006}
}

@article{zbMATH5175625,
 author = {Kotsireas, Ilias S. and Koukouvinos, Christos},
 journal = {JCMCC. The Journal of Combinatorial Mathematics and Combinatorial Computing},
 pages = {17--32},
 title = {Constructions for Hadamard matrices of Williamson type},
 volume = {59},
 year = {2006}
}

@article{zbMATH5230598,
 author = {Kotsireas, I. S. and Koukouvinos, C. and Simos, D. E.},
 journal = {International Journal of Applied Mathematics},
 pages = {217--232},
 title = {Large orthogonal designs via amicable sets of matrices},
 volume = {19},
 year = {2006}
}

@proceedings{zbMATH5067478,
 editor = {Kotsireas, Ilias and Kohandani, Farzaneh},
 publisher = {Waterloo: Maplesoft},
 title = {Maple conference 2006. Proceedings of the conference, Waterloo, Ontario, Canada, July 23--26, 2006.},
 year = {2006}
}

@article{DBLP:journals/jfi/KaramanosK05,
 author = {Konstantinos Karamanos and
Ilias S. Kotsireas},
 doi = {10.1016/j.jfranklin.2004.11.004},
 journal = {J. Frankl. Inst.},
 pages = {329--340},
 title = {Statistical analysis of the first digits of the binary expansion of Feigenbaum constants α and δ},
 url = {https://doi.org/10.1016/j.jfranklin.2004.11.004},
 volume = {342},
 year = {2005}
}

@article{DBLP:journals/jsc/KotsireasASW05,
 author = {Ilias S. Kotsireas and
Alkiviadis G. Akritas and
Stanly L. Steinberg and
Michael J. Wester},
 doi = {10.1016/j.jsc.2002.04.001},
 journal = {J. Symb. Comput.},
 pages = {1129--1130},
 title = {Foreword to the special issue on Applications of computer algebra},
 url = {https://doi.org/10.1016/j.jsc.2002.04.001},
 volume = {40},
 year = {2005}
}

@article{zbMATH5041236,
 author = {Kotsireas, I. S. and Koukouvinos, C. and Pinheiro, G.},
 journal = {International Journal of Applied Mathematics},
 pages = {263--278},
 title = {Metasoftware for Hadamard matrices},
 volume = {18},
 year = {2005}
}

@inproceedings{DBLP:conf/hpcs/KotsireasP05,
 author = {Ilias S. Kotsireas and
Gil Pinheiro},
 booktitle = {19th Annual International Symposium on High Performance Computing Systems and Applications (HPCS 2005), 15-18 May 2005, Guelph, Ontario, Canada},
 doi = {10.1109/HPCS.2005.9},
 pages = {17--23},
 publisher = {IEEE Computer Society},
 title = {A Meta-Software System for the Discovery of Hadamard Matrices},
 url = {https://doi.org/10.1109/HPCS.2005.9},
 year = {2005}
}

@proceedings{zbMATH5065007,
 editor = {Kotsireas, Ilias S.},
 publisher = {Waterloo: Maplesoft},
 title = {Maple conference 2005. Proceedings of the conference, Waterloo Ontario, Canada, July 17--21, 2005. With the assistance of Ian J. Sinclair, James Duketow, Robert M. Kalbfleisch},
 year = {2005}
}

@article{DBLP:journals/cca/KotsireasV04,
 author = {Ilias S. Kotsireas and
Emil J. Volcheck},
 doi = {10.1145/1040034.1040041},
 journal = {SIGSAM Bull.},
 pages = {93--107},
 title = {ANTS VI: algorithmic number theory symposium poster abstracts},
 url = {https://doi.org/10.1145/1040034.1040041},
 volume = {38},
 year = {2004}
}

@article{DBLP:journals/ijbc/KotsireasK04,
 author = {Ilias S. Kotsireas and
Kostas Karamanos},
 doi = {10.1142/S0218127404010709},
 journal = {Int. J. Bifurc. Chaos},
 pages = {2417--2423},
 title = {Exact Computation of the bifurcation Point B4 of the logistic Map and the Bailey-broadhurst Conjectures},
 url = {https://doi.org/10.1142/S0218127404010709},
 volume = {14},
 year = {2004}
}

@article{zbMATH2187063,
 author = {Kotsireas, I. S. and Koukouvinos, C. and Rogantin, M. P.},
 journal = {International Journal of Applied Mathematics},
 pages = {355--363},
 title = {Inequivalent Hadamard matrices via indicator functions},
 volume = {16},
 year = {2004}
}

@inproceedings{zbMATH2247472,
 author = {Kotsireas, Ilias S.},
 booktitle = {Chen, Falai (ed.) et al., Geometric computation. River Edge, NJ: World Scientific (ISBN 981-238-799-4/hbk). Lecture Notes Series on Computing 11, 126-155},
 pages = {126--155},
 title = {Panorama of methods for exact implicitization of algebraic curves and surfaces},
 year = {2004}
}

@article{DBLP:journals/cca/KotsireasLV03,
 author = {Ilias S. Kotsireas and
Edmond Lau and
Richard Voino},
 doi = {10.1145/990353.990364},
 journal = {SIGSAM Bull.},
 pages = {78},
 title = {Exact implicitization of polynomial curves and surfaces},
 url = {https://doi.org/10.1145/990353.990364},
 volume = {37},
 year = {2003}
}

@article{zbMATH2075208,
 author = {Evangelaras, H. and Kotsireas, I. and Koukouvinos, C.},
 journal = {Advances and Applications in Statistics},
 pages = {1--13},
 title = {Application of Gr{\"{o}}bner bases to the analysis of certain two or three level factorial designs},
 volume = {3},
 year = {2003}
}

@inproceedings{DBLP:conf/dimacs/EmirisK03,
 author = {Ioannis Z. Emiris and
Ilias S. Kotsireas},
 booktitle = {Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing, Proceedings of a DIMACS Workshop, Piscataway, New Jersey, USA, October 7-9, 2003},
 doi = {10.1090/dimacs/067/11},
 editor = {Ravi Janardan and
Michiel H. M. Smid and
Debasis Dutta},
 pages = {281--297},
 publisher = {DIMACS/AMS},
 title = {Implicitization Exploiting Sparseness},
 url = {https://doi.org/10.1090/dimacs/067/11},
 volume = {67},
 year = {2003}
}

@inproceedings{DBLP:conf/iccsa/EmirisK03,
 author = {Ioannis Z. Emiris and
Ilias S. Kotsireas},
 booktitle = {Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part III},
 doi = {10.1007/3-540-44842-X_41},
 editor = {Vipin Kumar and
Marina L. Gavrilova and
Chih Jeng Kenneth Tan and
Pierre L'Ecuyer},
 pages = {397--406},
 publisher = {Springer},
 title = {Implicit Polynomial Support Optimized for Sparseness},
 url = {https://doi.org/10.1007/3-540-44842-X_41},
 volume = {2669},
 year = {2003}
}

@inproceedings{zbMATH2034392,
 author = {Kotsireas, Ilias S. and Lau, Edmond S. C.},
 booktitle = {Li, Ziming (ed.) et al., Computer mathematics. Proceedings of the sixth Asian symposium (ASCM 2003), Beijing, China, April 17--19, 2003. River Edge, NJ: World Scientific (ISBN 981-238-220-8/hbk). Lect. Notes Ser. Comput. 10, 217-226},
 pages = {217--226},
 title = {Implicitization of polynomial curves},
 year = {2003}
}

@inproceedings{DBLP:conf/issac/CorlessGKW02,
 author = {Robert M. Corless and
Andr{\'{e}} Galligo and
Ilias S. Kotsireas and
Stephen M. Watt},
 booktitle = {Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings},
 doi = {10.1145/780506.780512},
 editor = {Teo Mora},
 pages = {37--45},
 publisher = {ACM},
 title = {A geometric-numeric algorithm for absolute factorization of multivariate polynomials},
 url = {https://doi.org/10.1145/780506.780512},
 year = {2002}
}

@article{DBLP:journals/cca/Kotsireas01,
 author = {Ilias S. Kotsireas},
 doi = {10.1145/504331.504334},
 journal = {SIGSAM Bull.},
 pages = {19--32},
 title = {Homotopies and polynomial system solving I: basic principles},
 url = {https://doi.org/10.1145/504331.504334},
 volume = {35},
 year = {2001}
}

@inproceedings{DBLP:conf/issac/CorlessGHKW01,
 author = {Robert M. Corless and
Mark Giesbrecht and
Mark van Hoeij and
Ilias S. Kotsireas and
Stephen M. Watt},
 booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA \& University of Western Ontario, London, Ontario, Canada, July 22-25, 2001},
 doi = {10.1145/384101.384114},
 editor = {Erich L. Kaltofen and
Gilles Villard},
 pages = {85--92},
 publisher = {ACM},
 title = {Towards factoring bivariate approximate polynomials},
 url = {https://doi.org/10.1145/384101.384114},
 year = {2001}
}

@inproceedings{zbMATH1736025,
 author = {Kotsireas, Ilias S.},
 booktitle = {Green, Edward L. (ed.) et al., Symbolic computation: Solving equations in algebra, geometry, and engineering. Proceedings of an AMS-IMS-SIAM joint summer research conference, Mount Holyoke College, South Hadley, MA, USA, June 11--15, 2000. Providence, RI: AMS, American Mathematical Society (ISBN 0-8218-2679-4). Contemp. Math. 286, 71-98},
 pages = {71--98},
 title = {Central configurations in the Newtonian \(N\)-body problem of celestial mechanics.},
 year = {2001}
}

@inproceedings{DBLP:conf/aisc/CorlessGKW00,
 author = {Robert M. Corless and
Mark Giesbrecht and
Ilias S. Kotsireas and
Stephen M. Watt},
 booktitle = {Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers},
 doi = {10.1007/3-540-44990-6_13},
 editor = {John A. Campbell and
Eugenio Roanes-Lozano},
 pages = {174--183},
 publisher = {Springer},
 title = {Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra},
 url = {https://doi.org/10.1007/3-540-44990-6_13},
 volume = {1930},
 year = {2000}
}

@article{zbMATH1726684,
 author = {Kotsireas, I. and Lazard, D.},
 doi = {10.1023/A:1013508925715},
 journal = {Journal of Mathematical Sciences (New York)},
 pages = {1},
 title = {Central configurations of the 5-body problem with equal masses in three-space},
 url = {https://doi.org/10.1023/A:1013508925715},
 volume = {108},
 year = {1999}
}

@inproceedings{DBLP:conf/casc/FaugereK99,
 author = {Jean-Charles Faug{\`{e}}re and
Ilias S. Kotsireas},
 booktitle = {Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, CASC 1999, Munich, Germany, May 31 - June 4, 1999},
 doi = {10.1007/978-3-642-60218-4_6},
 editor = {Victor G. Ganzha and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {81--92},
 publisher = {Springer},
 title = {Symmetry Theorems for the Newtonian 4- and 5-body Problems with Equal Masses},
 url = {https://doi.org/10.1007/978-3-642-60218-4_6},
 year = {1999}
}

@inproceedings{zbMATH5145359,
 author = {Kotsireas, Ilias},
 booktitle = {Sali, A. (ed.) et al., Paul Erd{\H{o}}s and his mathematics. Papers from the international conference held in memory of Paul Erd{\H{o}}s in Budapest, Hungary, July 4--11, 1999. Budapest: J{\'{a}}nos Bolyai Mathematical Society (ISBN 963-8022-93-0). 140-144},
 pages = {140--144},
 title = {The Erd{\H{o}}s-Straus conjecture on Egyptian fractions},
 year = {1999}
}