Kotsireas, Ilias S. (ed.); Nagurney, Anna (ed.); Pardalos, Panos M. (ed.); Pickl, Stefan Wolfgang (ed.); Vogiatzis, Chrysafis (ed.) Dynamics of disasters. From natural phenomena to human activity. (English) Zbl 07951985 Springer Optimization and Its Applications 217. Cham: Springer (ISBN 978-3-031-74005-3/hbk; 978-3-031-74008-4/pbk; 978-3-031-74006-0/ebook). xii, 253 p. (2025). MSC: 90-06 37-06 86-06 00B25 00A69 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S.; Winterhof, Arne Quaternary Legendre pairs. (English) Zbl 1548.05061 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 (2024). MSC: 05B20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Ben-Av, Radel; Dula, Giora; Goldberger, Assaf; Kotsireas, Ilias; Strassler, Yossi New weighing matrices via partitioned group actions. (English) Zbl 1535.05044 Discrete Math. 347, No. 5, Article ID 113908, 17 p. (2024). MSC: 05B20 94B99 15B36 × Cite Format Result Cite Review PDF Full Text: DOI
Parsopoulos, Konstantinos E.; Tatsis, Vasileios A.; Kotsireas, Ilias S.; Pardalos, Panos M. Parallel algorithm portfolios with adaptive resource allocation strategy. (English) Zbl 07822726 J. Glob. Optim. 88, No. 3, 685-705 (2024). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias (ed.); Pardalos, Panos (ed.); Žilinskas, Julius (ed.) Preface. (English) Zbl 1533.00023 J. Glob. Optim. 88, No. 3, 531-532 (2024). MSC: 00B25 90-06 90C26 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias; Mansour, Toufik; Yıldırım, Gökhan An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences. (English) Zbl 1519.05008 J. Symb. Comput. 120, Article ID 102231, 18 p. (2024). MSC: 05A05 05A15 05A16 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kotsireas, I. S.; Koutschan, C.; Winterhof, Arne Quaternary Legendre pairs II. arXiv:2408.16318 Preprint, arXiv:2408.16318 [math.CO] (2024). × Cite Format Result Cite Full Text: arXiv
Lumsden, Tyler; Kotsireas, Ilias; Bright, Curtis New Results on Periodic Golay Pairs. arXiv:2408.15611 Preprint, arXiv:2408.15611 [cs.DM] (2024). MSC: 11B83 05B20 94A55 68W30 × Cite Format Result Cite Full Text: arXiv OA License
Pardalos, Panos (ed.); Kotsireas, Ilias (ed.); Knottenbelt, William J. (ed.); Leonardos, Stefanos (ed.) Mathematical research for blockchain economy. 4th international conference, MARBLE 2023, London, United Kingdom, July 11–13, 2023. (English) Zbl 07938950 Lecture Notes in Operations Research. Cham: Springer (ISBN 978-3-031-48730-9/hbk; 978-3-031-48733-0/pbk; 978-3-031-48731-6/ebook). vii, 187 p. (2023). MSC: 91-06 91G99 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S.; Koutschan, Christoph; Bulutoglu, Dursun A.; Arquette, David M.; Turner, Jonathan S.; Ryan, Kenneth J. Legendre pairs of lengths \(\ell \equiv 0 \pmod 5\). (English) Zbl 1530.05016 Spec. Matrices 11, Article ID 20230105, 15 p. (2023). MSC: 05B10 05B20 15B34 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kampel, Ludwig; Hiess, Irene; Kotsireas, Ilias S.; Simos, Dimitris E. Balanced covering arrays: a classification of covering arrays and packing arrays via exact methods. (English) Zbl 1532.05034 J. Comb. Des. 31, No. 4, 205-261 (2023). MSC: 05B40 05A15 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S.; Pardalos, Panos M.; Simos, Dimitris E. Correction to: “Preface: selected revised papers from the LION 15 conference”. (English) Zbl 07785126 Ann. Math. Artif. Intell. 91, No. 6, 901 (2023). MSC: 00Bxx × Cite Format Result Cite Review PDF Full Text: DOI
Boulier, François (ed.); England, Matthew (ed.); Kotsireas, Ilias (ed.); Sadykov, Timur M. (ed.); Vorozhtsov, Evgenii V. (ed.) Computer algebra in scientific computing. 25th international workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023. Proceedings. (English) Zbl 1535.68007 Lecture Notes in Computer Science 14139. Cham: Springer (ISBN 978-3-031-41723-8/pbk; 978-3-031-41724-5/ebook). xxii, 422 p. (2023). MSC: 68-06 68W30 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S. (ed.); Pardalos, Panos M. (ed.); Simos, Dimitris E. (ed.) Preface: selected revised papers from the LION 15 conference. (English) Zbl 07709585 Ann. Math. Artif. Intell. 91, No. 2-3, 107-108 (2023); correction ibid. 91, No. 6, 901 (2023). MSC: 00Bxx × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias (ed.); Simos, Dimitris (ed.); Uncu, Ali Kemal (ed.) Foreword. (English) Zbl 07700019 Math. Comput. Sci. 17, No. 1, Paper No. 7, 2 p. (2023). MSC: 00B20 00B25 00B10 00B15 × Cite Format Result Cite Review PDF Full Text: DOI
Hauenstein, Jonathan D. (ed.); He, Yang-Hui (ed.); Kotsireas, Ilias (ed.); Mehta, Dhagash (ed.); Tang, Tingting (ed.) Special issue on algebraic geometry and machine learning. (English) Zbl 07680286 J. Symb. Comput. 118, 93-94 (2023). MSC: 00Bxx × Cite Format Result Cite Review PDF Full Text: DOI
Pardalos, Panos (ed.); Kotsireas, Ilias (ed.); Guo, Yike (ed.); Knottenbelt, William (ed.) Mathematical research for blockchain economy. 3rd international conference, MARBLE 2022, Vilamoura, Portugal, July 12–14, 2022. (English) Zbl 1515.91015 Lecture Notes in Operations Research. Cham: Springer (ISBN 978-3-031-18678-3/hbk; 978-3-031-18681-3/pbk; 978-3-031-18679-0/ebook). viii, 273 p. (2023). MSC: 91-06 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Bartzos, Evangelos; Emiris, Ioannis Z.; Kotsireas, Ilias S.; Tzamos, Charalambos Bounding the number of roots of multi-homogeneous systems. (English) Zbl 07969793 Hashemi, Amir (ed.), Proceedings of the 47th international symposium on symbolic and algebraic computation, ISSAC ’22, Villeneuve-d’Ascq France, July 4–7, 2022. New York, NY: Association for Computing Machinery (ACM). 255-262 (2022). MSC: 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S. Personal recollections of Prof. Vladimir P. Gerdt. (English) Zbl 1499.01031 Math. Comput. Sci. 16, No. 4, Paper No. 24, 3 p. (2022). MSC: 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Bertone, Cristina (ed.); Ceria, Michela (ed.); Karaoglu, Fatma (ed.); Kotsireas, Ilias (ed.); Mora, Teo (ed.); Simos, Dimitris (ed.) Preface. (English) Zbl 1498.00043 Appl. Algebra Eng. Commun. Comput. 33, No. 6, 597 (2022). MSC: 00B25 13-06 16-06 68-06 × Cite Format Result Cite Review PDF Full Text: DOI
Kampel, Ludwig; Wagner, Michael; Kotsireas, Ilias S.; Simos, Dimitris E. A primer on the application of neural networks to covering array generation. (English) Zbl 1548.68221 Optim. Methods Softw. 37, No. 3, 1165-1202 (2022). MSC: 68T07 05B15 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S. Book review of: R. Martí (ed.) et al., Handbook of heuristics. (English) Zbl 1502.00032 SN Oper. Res. Forum 3, No. 3, Paper No. 34, 1 p. (2022). MSC: 00A17 90-00 00A69 00A05 68-00 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S. (ed.); Pardalos, Panos M. (ed.) Preface selected revised papers from the LION 14 conference. (English) Zbl 1493.00038 Ann. Math. Artif. Intell. 90, No. 7-9, 677 (2022). MSC: 00B25 68-06 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias; Koutschan, Christoph Legendre pairs of lengths \(\ell \equiv 0 \pmod{3}\). (English) Zbl 1546.05038 J. Comb. Des. 29, No. 12, 870-887 (2021). MSC: 05B20 42A38 15B34 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Turner, Jonathan S.; Kotsireas, Ilias S.; Bulutoglu, Dursun A.; Geyer, Andrew J. A Legendre pair of length 77 using complementary binary matrices with fixed marginals. (English) Zbl 1467.15028 Des. Codes Cryptography 89, No. 6, 1321-1333 (2021). MSC: 15B34 15B36 05B20 05B10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Souravlias, Dimitris; Parsopoulos, Konstantinos E.; Kotsireas, Ilias S.; Pardalos, Panos M. Algorithm portfolios. Advances, applications, and challenges. (English) Zbl 07312877 SpringerBriefs in Optimization. Cham: Springer (ISBN 978-3-030-68513-3/pbk; 978-3-030-68514-0/ebook). xiv, 92 p. (2021). MSC: 65-01 65Kxx 90-01 90Cxx × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S. (ed.); Nagurney, Anna (ed.); Pardalos, Panos M. (ed.); Tsokas, Arsenios (ed.) Dynamics of disasters. Impact, risk, resilience, and solutions. Based on the 4th international conference on dynamics of disasters, Kalamata, Greece, July 1–5, 2019. (English) Zbl 1461.00061 Springer Optimization and Its Applications 169. Cham: Springer (ISBN 978-3-030-64972-2/hbk; 978-3-030-64975-3/pbk; 978-3-030-64973-9/ebook). xiv, 272, 292 p. (2021). MSC: 00A69 37-06 90-06 86-06 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Bright, Curtis; Kotsireas, Ilias; Heinle, Albert; Ganesh, Vijay Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT. (English) Zbl 1468.68276 J. Symb. Comput. 102, 153-172 (2021). MSC: 68V05 05A15 11B83 68R07 68W30 94A55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bright, Curtis; Cheung, Kevin K. H.; Stevens, Brett; Kotsireas, Ilias; Ganesh, Vijay Nonexistence certificates for ovals in a projective plane of order ten. (English) Zbl 07601001 Gąsieniec, Leszek (ed.) et al., Combinatorial algorithms. 31st international workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12126, 97-111 (2020). MSC: 05-08 05B25 51E15 51E20 68W30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Gerhard, Jürgen (ed.); Kotsireas, Ilias (ed.) Maple in mathematics education and research. Third Maple conference, MC 2019, Waterloo, Ontario, Canada, October 15–17, 2019. Proceedings. (English) Zbl 1468.65002 Communications in Computer and Information Science 1125. Cham: Springer (ISBN 978-3-030-41257-9/pbk; 978-3-030-41258-6/ebook). xi, 363 p. (2020). MSC: 65-06 68-06 97-06 65Y15 68W30 97U70 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Bright, Curtis; Kotsireas, Ilias; Ganesh, Vijay New infinite families of perfect quaternion sequences and Williamson sequences. (English) Zbl 1457.94084 IEEE Trans. Inf. Theory 66, No. 12, 7739-7751 (2020). MSC: 94A55 05B10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pardalos, Panos (ed.); Kotsireas, Ilias (ed.); Guo, Yike (ed.); Knottenbelt, William (ed.) Mathematical research for blockchain economy. Proceedings of the 2nd international conference on mathematical research for blockchain economy, MARBLE 2020, Vilamoura, Portugal, June 8–10, 2020. (English) Zbl 1455.91008 Springer Proceedings in Business and Economics. Cham: Springer (ISBN 978-3-030-53355-7/hbk; 978-3-030-53358-8/pbk; 978-3-030-53356-4/ebook). vii, 177 p. (2020). MSC: 91-06 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Goldberger, Assaf; Kotsireas, Ilias Formal orthogonal pairs via monomial representations and cohomology. (English) Zbl 1447.05042 Sémin. Lothar. Comb. 84B, Article 68, 12 p. (2020). MSC: 05B20 05E10 05E30 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Bigatti, Anna Maria (ed.); Botana, Francisco (ed.); Dana-Picard, Thierry (ed.); Gago, Felipe (ed.); Kotsireas, Ilias (ed.); Ladra, Manuel (ed.); Li, Wei (ed.) Foreword [ACA 2018]. Held at University of Santiago de Compostela, June 18–22, 2018. (English) Zbl 1481.00037 Math. Comput. Sci. 14, No. 2, 191-192 (2020). MSC: 00B25 68-06 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Bright, Curtis; Cheung, Kevin; Stevens, Brett; Roy, Dominique; Kotsireas, Ilias; Ganesh, Vijay A nonexistence certificate for projective planes of order ten with weight 15 codewords. (English) Zbl 1460.68098 Appl. Algebra Eng. Commun. Comput. 31, No. 3-4, 195-213 (2020). MSC: 68T20 05B25 51E20 68W30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Guenda, Kenza (ed.); Honkala, Iiro (ed.); Kotsireas, Ilias (ed.); Mora, Teo (ed.); Wang, Qiang (ed.) Special issue: “Computer algebra and application to combinatorics, coding theory and cryptography” ACA 2019, Montreal, Canada, July 16–20, 2019. (English) Zbl 1455.00032 Appl. Algebra Eng. Commun. Comput. 31, No. 3-4, 171-172 (2020). MSC: 00B25 68-06 05-06 94-06 × Cite Format Result Cite Review PDF Full Text: DOI
Bright, Curtis; Kotsireas, Ilias; Ganesh, Vijay Applying computer algebra systems with SAT solvers to the Williamson conjecture. (English) Zbl 1432.68595 J. Symb. Comput. 100, 187-209 (2020). MSC: 68W30 05B20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Pardalos, Panos (ed.); Kotsireas, Ilias (ed.); Guo, Yike (ed.); Knottenbelt, William (ed.) Mathematical research for blockchain economy. Proceedings of the 1st international conference on mathematical research for blockchain economy, MARBLE 2019, Santorini, Greece, May 6–9, 2019. (English) Zbl 1444.91006 Springer Proceedings in Business and Economics. Cham: Springer (ISBN 978-3-030-37109-8/hbk; 978-3-030-37110-4/ebook). viii, 249 p. (2020). MSC: 91-06 94A60 62P05 91Gxx 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias; Kutsia, Temur; Simos, Dimitris E. Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques. (English) Zbl 1434.05028 Ann. Math. Artif. Intell. 88, No. 1-3, 213-236 (2020). Reviewer: Ioan Tomescu (Bucureşti) MSC: 05B15 05B20 68W30 13P10 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S. (ed.); Pardalos, Panos M. (ed.) Guest editorial: Revised selected papers from the LION 12 conference. (English) Zbl 1430.00020 Ann. Math. Artif. Intell. 88, No. 1-3, 1-2 (2020). MSC: 00B25 68-06 90-06 × Cite Format Result Cite Review PDF Full Text: DOI
Bright, Curtis; Cheung, Kevin K. H.; Stevens, Brett; Kotsireas, Ilias; Ganesh, Vijay A SAT-based Resolution of Lam’s Problem. arXiv:2012.04715 Preprint, arXiv:2012.04715 [cs.DM] (2020). × Cite Format Result Cite Full Text: DOI arXiv OA License
Bright, Curtis; Cheung, Kevin K. H.; Stevens, Brett; Kotsireas, Ilias; Ganesh, Vijay Unsatisfiability Proofs for Weight 16 Codewords in Lam’s Problem. arXiv:2001.11973 Preprint, arXiv:2001.11973 [cs.DM] (2020). × Cite Format Result Cite Full Text: DOI arXiv OA License
Kotsireas, Ilias S.; Liu, Youtong; Yang, Jing PAF reconstruction with the orbits method. (English) Zbl 1440.15012 England, Matthew (ed.) et al., Computer algebra in scientific computing. 21st international workshop, CASC 2019, Moscow, Russia, August 26–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11661, 315-329 (2019). MSC: 15A45 15A15 68W30 93B51 × Cite Format Result Cite Review PDF Full Text: DOI
Imbach, Rémi; Pan, Victor Y.; Yap, Chee; Kotsireas, Ilias S.; Zaderman, Vitaly Root-finding with implicit deflation. (English) Zbl 1439.65063 England, Matthew (ed.) et al., Computer algebra in scientific computing. 21st international workshop, CASC 2019, Moscow, Russia, August 26–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11661, 236-245 (2019). Reviewer: Anton Iliev (Plovdiv) MSC: 65H04 65H05 26C10 30C15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kampel, Ludwig; Simos, Dimitris E.; Garn, Bernhard; Kotsireas, Ilias S.; Zhereshchin, Evgeny Algebraic models for arbitrary strength covering arrays over \(v\)-ary alphabets. (English) Zbl 1434.68341 Ćirić, Miroslav (ed.) et al., Algebraic informatics. 8th international conference, CAI 2019, Niš, Serbia, June 30 – July 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11545, 177-189 (2019). MSC: 68R05 05B40 68T20 68W20 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Ðoković, Dragomir Ž.; Kotsireas, Ilias S. Computational methods for difference families in finite abelian groups. (English) Zbl 1431.05024 Spec. Matrices 7, 127-141 (2019). MSC: 05B10 05B20 20K01 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bright, Curtis; Đoković, Dragomir Ž.; Kotsireas, Ilias; Ganesh, Vijay The SAT+CAS method for combinatorial search with applications to best matrices. (English) Zbl 1434.05001 Ann. Math. Artif. Intell. 87, No. 4, 321-342 (2019). Reviewer: Ioan Tomescu (Bucureşti) MSC: 05-04 05B20 68R05 68T27 68W30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Droste, Manfred (ed.); Kotsireas, Ilias (ed.); Rolland, Robert (ed.) Preface. (English) Zbl 1436.68023 Theor. Comput. Sci. 800, 1-2 (2019). MSC: 68-06 68Qxx 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Beaudin, Michel (ed.); Dana-Picard, Thierry (ed.); Levin, Alexander (ed.); Koutschan, Christoph (ed.); Kotsireas, Ilias (ed.); Robertz, Daniel (ed.) Foreword. (English) Zbl 1546.00080 Math. Comput. Sci. 13, No. 1-2, 1-3 (2019). MSC: 00B25 65-06 68-06 97-06 × Cite Format Result Cite Review PDF Full Text: DOI
Martz, Connor; Van Middelkoop, Sheldon; Gkigkitzis, Ioannis; Haranas, Ioannis; Kotsireas, Ilias Yukawa potential orbital energy: its relation to orbital mean motion as well to the graviton mediating the interaction in celestial bodies. (English) Zbl 1423.85005 Adv. Math. Phys. 2019, Article ID 6765827, 10 p. (2019). MSC: 85A05 70F15 83C10 83D05 83C05 × Cite Format Result Cite Review PDF Full Text: DOI
Fillion, Nicolas (ed.); Corless, Robert M. (ed.); Kotsireas, Ilias S. (ed.) Algorithms and complexity in mathematics, epistemology, and science. Proceedings of 2015 and 2016 ACMES conferences, London, UK. Selected papers. (English) Zbl 1411.00055 Fields Institute Communications 82. New York, NY: Springer; Toronto: The Fields Institute for Research in the Mathematical Sciences (ISBN 978-1-4939-9050-4/hbk; 978-1-4939-9051-1/ebook). xi, 294 p. (2019). MSC: 00B25 00A30 03A05 03-06 68-06 00A71 × Cite Format Result Cite Review PDF Full Text: DOI
Bright, Curtis; Kotsireas, Ilias; Ganesh, Vijay SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics. arXiv:1907.04408 Preprint, arXiv:1907.04408 [cs.LO] (2019). × Cite Format Result Cite Full Text: arXiv OA License
Kotsireas, Ilias S.; Yang, Jing Autocorrelation via runs. (English) Zbl 1515.68387 Fleuriot, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11110, 195-205 (2018). MSC: 68W32 05B20 62K05 62M10 × Cite Format Result Cite Review PDF Full Text: DOI
Bright, Curtis; Kotsireas, Ilias; Heinle, Albert; Ganesh, Vijay Enumeration of complex Golay pairs via programmatic SAT. (English) Zbl 1467.68202 Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 111-118 (2018). MSC: 68V05 05A15 11B83 68R07 68W30 94A55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Đoković, Dragomir Ž.; Kotsireas, Ilias S. Goethals-Seidel difference families with symmetric or skew base blocks. (English) Zbl 1444.05028 Math. Comput. Sci. 12, No. 4, 373-388 (2018). MSC: 05B10 05B20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Goyeneche, Dardo (ed.); Kotsireas, Ilias (ed.); Ó Catháin, Padraig (ed.) Foreword. (English) Zbl 1506.00097 Math. Comput. Sci. 12, No. 4, 371-372 (2018). MSC: 00B15 05-06 68-06 × Cite Format Result Cite Review PDF Full Text: DOI
Kleine, Kristoffer; Kotsireas, Ilias; Simos, Dimitris E. Evaluation of tie-breaking and parameter ordering for the IPO family of algorithms used in covering array generation. (English) Zbl 1511.68341 Iliopoulos, Costas (ed.) et al., Combinatorial algorithms. 29th international workshop, IWOCA 2018, Singapore, July 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10979, 189-200 (2018). MSC: 68W05 05B15 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S. (ed.); Nagurney, Anna (ed.); Pardalos, Panos M. (ed.) Dynamics of disasters. Algorithmic approaches and applications. Based on the 3rd international conference on dynamics of disasters, Kalamata, Greece, July 2017. (English) Zbl 1401.00032 Springer Optimization and Its Applications 140. Cham: Springer (ISBN 978-3-319-97441-5/hbk; 978-3-319-97442-2/ebook). ix, 202 p. (2018). MSC: 00A69 37-06 90-06 86-06 00B15 × Cite Format Result Cite Review PDF Full Text: DOI
Aragón Artacho, Francisco J.; Campoy, Rubén; Kotsireas, Ilias; Tam, Matthew K. A feasibility approach for constructing combinatorial designs of circulant type. (English) Zbl 1417.90123 J. Comb. Optim. 35, No. 4, 1061-1085 (2018). MSC: 90C27 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bright, Curtis; Djokovic, Dragomir Z.; Kotsireas, Ilias; Ganesh, Vijay A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. arXiv:1811.05094 Preprint, arXiv:1811.05094 [cs.LO] (2018). × Cite Format Result Cite Full Text: DOI arXiv
Emiris, Ioannis Z.; Konaxis, Christos; Kotsireas, Ilias S.; Laroche, Clément Matrix representations by means of interpolation. (English) Zbl 1462.65047 Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 149-156 (2017). MSC: 65F99 41A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv HAL
Dana-Picard, Thierry (ed.); Koepf, Wolfram (ed.); Kotsireas, Ilias (ed.); Kovács, Zoltán (ed.); Prokopenya, Alexander (ed.); Seiler, Werner (ed.) Foreword. (English) Zbl 1384.00100 Math. Comput. Sci. 11, No. 3-4, 251-252 (2017). MSC: 00B25 68-06 97-06 × Cite Format Result Cite Review PDF Full Text: DOI
Blömer, Johannes (ed.); Kotsireas, Ilias S. (ed.); Kutsia, Temur (ed.); Simos, Dimitris E. (ed.) Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. (English) Zbl 1381.68002 Lecture Notes in Computer Science 10693. Cham: Springer (ISBN 978-3-319-72452-2/pbk; 978-3-319-72453-9/ebook). xi, 462 p. (2017). MSC: 68-06 65-06 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Zulkoski, Edward; Bright, Curtis; Heinle, Albert; Kotsireas, Ilias; Czarnecki, Krzysztof; Ganesh, Vijay Combining SAT solvers with computer algebra systems to verify combinatorial conjectures. (English) Zbl 1410.68413 J. Autom. Reasoning 58, No. 3, 313-339 (2017). MSC: 68W30 05B20 05C15 05C38 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S. (ed.); Martínez-Moro, Edgar (ed.) Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. (English) Zbl 1379.13001 Springer Proceedings in Mathematics & Statistics 198. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). xiv, 515 p. (2017). MSC: 13-06 13Pxx 12Y99 14Qxx 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Arunachalam, Srinivasan; Kotsireas, Ilias Hard satisfiable 3-SAT instances via autocorrelation. (English) Zbl 1484.68145 J. Satisf. Boolean Model. Comput. 10(2016-2019), 11-22 (2016). MSC: 68R07 68Q17 68T20 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S. (ed.); Nagurney, Anna (ed.); Pardalos, Panos M. (ed.) 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. (English) Zbl 1351.00020 Springer Proceedings in Mathematics & Statistics 185. Cham: Springer (ISBN 978-3-319-43707-1/hbk; 978-3-319-43709-5/ebook). xviii, 369 p. (2016). MSC: 00A69 37-06 62-06 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Bright, Curtis; Ganesh, Vijay; Heinle, Albert; Kotsireas, Ilias; Nejati, Saeed; Czarnecki, Krzysztof MathCheck2: a SAT+CAS verifier for combinatorial conjectures. (English) Zbl 1453.05001 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 18th international workshop, CASC 2016, Bucharest, Romania, September 19–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9890, 117-133 (2016). MSC: 05-04 68V15 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Đokovic, Dragomir Ž.; Kotsireas, Ilias S. A class of cyclic \((v; k_{1}, k_{2}, k_{3}; \lambda)\) difference families with \(v \equiv 3\, (\text{mod}\, 4)\) a prime. (English) Zbl 1351.15015 Spec. Matrices 4, 317-325 (2016). MSC: 15B34 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Souravlias, D.; Parsopoulos, K. E.; Kotsireas, I. S. Circulant weighing matrices: a demanding challenge for parallel optimization metaheuristics. (English) Zbl 1353.90132 Optim. Lett. 10, No. 6, 1303-1314 (2016). MSC: 90C27 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S. (ed.); Rump, Siegfried M. (ed.); Yap, Chee K. (ed.) Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. (English) Zbl 1334.68018 Lecture Notes in Computer Science 9582. Cham: Springer (ISBN 978-3-319-32858-4/pbk; 978-3-319-32859-1/ebook). xxiii, 628 p. (2016). MSC: 68-06 65-06 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Akrivis, Georgios D. (ed.); Dougalis, Vassilios A. (ed.); Gallopoulos, Efstratios (ed.); Hadjidimos, Apostolos (ed.); Kotsireas, Ilias S. (ed.); Noutsos, Dimitrios (ed.); Saridakis, Yiannis G. (ed.); Vrahatis, Michael N. (ed.) Preface [Special issue: NumAn 2014]. (English) Zbl 1335.00135 Appl. Numer. Math. 104, 99-102 (2016). MSC: 00B25 65-06 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Hadjidimos, Apostolos (ed.); Kotsireas, Ilias S. (ed.); Noutsos, Dimitrios (ed.); Vrahatis, Michael N. (ed.) Preface [Special issue: NumAn 2012]. (English) Zbl 1335.00148 Appl. Numer. Math. 104, 1-2 (2016). MSC: 00B25 65-06 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias; Kutsia, Temur; Simos, Dimitris E. Constructing orthogonal designs in powers of two: Gröbner bases meet equational unification. (English) Zbl 1366.68122 Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 241-256 (2015). MSC: 68Q42 05B15 13P10 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S.; Seberry, Jennifer; Suharini, Yustina S. Inner product vectors for skew-Hadamard matrices. (English) Zbl 1329.05045 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 (2015). MSC: 05B20 15B35 × Cite Format Result Cite Review PDF Full Text: DOI
Đoković, Dragomir Ž.; Kotsireas, Ilias S. Periodic Golay pairs of length 72. (English) Zbl 1329.05035 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 (2015). MSC: 05B10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Đoković, Dragomir Ž.; Kotsireas, Ilias S. D-optimal matrices of orders 118, 138, 150, 154 and 174. (English) Zbl 1329.05056 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 (2015). MSC: 05B30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Di Matteo, Olivia; Đoković, Dragomir Ž.; Kotsireas, Ilias S. Symmetric Hadamard matrices of order 116 and 172 exist. (English) Zbl 1330.05028 Spec. Matrices 3, 227-234 (2015). MSC: 05B20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Đoković, Dragomir Ž.; Kotsireas, Ilias S. Some new periodic Golay pairs. (English) Zbl 1317.05023 Numer. Algorithms 69, No. 3, 523-530 (2015). MSC: 05B20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kotsireas, I. (ed.); Martínez-Moro, Edgar (ed.) Foreword: Computer algebra in coding theory and cryptography. (English) Zbl 1315.00106 Des. Codes Cryptography 76, No. 1, 1-2 (2015). MSC: 00B25 68-06 94-06 68W30 94A60 94Bxx × Cite Format Result Cite Review PDF Full Text: DOI
Djoković, Dragomir Ž.; Kotsireas, Ilias; Recoskie, Daniel; Sawada, Joe Charm bracelets and their application to the construction of periodic Golay pairs. (English) Zbl 1311.05209 Discrete Appl. Math. 188, 32-40 (2015). MSC: 05E18 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Đoković, Dragomir Ž.; Kotsireas, Ilias S. Compression of periodic complementary sequences and applications. (English) Zbl 1307.05033 Des. Codes Cryptography 74, No. 2, 365-377 (2015). MSC: 05B20 05B30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Cojocaru, Monica G. (ed.); Kotsireas, Ilias S. (ed.); Makarov, Roman N. (ed.); Melnik, Roderick V. N. (ed.); Shodiev, Hasan (ed.) 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. (English) Zbl 1325.00049 Springer Proceedings in Mathematics & Statistics 117. Cham: Springer (ISBN 978-3-319-12306-6/hbk; 978-3-319-12307-3/ebook). xxiii, 555 p. (2015). MSC: 00B25 00A69 34-06 35-06 37-06 60-06 90-06 91-06 92-06 × Cite Format Result Cite Review PDF Full Text: DOI
Đoković, Dragomir Ž.; Golubitsky, Oleg; Kotsireas, Ilias S. Some new orders of Hadamard and skew-Hadamard matrices. (English) Zbl 1295.05071 J. Comb. Des. 22, No. 6, 270-277 (2014). MSC: 05B20 05B10 15B34 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Djokovic, Dragomir Z.; Kotsireas, Ilias S. There is no circulant weighing matrix of order 60 and weight 36. arXiv:1406.1399 Preprint, arXiv:1406.1399 [math.CO] (2014). × Cite Format Result Cite Full Text: arXiv OA License
Kotsireas, I. S.; Pardalos, P. M. D-optimal matrices via quadratic integer optimization. (English) Zbl 1365.90172 J. Heuristics 19, No. 4, 617-627 (2013). MSC: 90C10 90C20 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S. Structured Hadamard conjecture. (English) Zbl 1268.05037 Borwein, Jonathan M. (ed.) et al., Number theory and related fields. In memory of Alf van der Poorten. Based on the proceedings of the international number theory conference, Newcastle, Australia, March 12–16, 2012. New York, NY: Springer (ISBN 978-1-4614-6641-3/hbk; 978-1-4614-6642-0/ebook). Springer Proceedings in Mathematics & Statistics 43, 215-227 (2013). MSC: 05B20 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S. (ed.); Zima, Eugene V. (ed.) 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. (English) Zbl 1271.05001 Berlin: Springer (ISBN 978-3-642-30978-6/hbk; 978-3-642-30979-3/ebook). xx, 293 p. (2013). MSC: 05-06 00B25 00B30 05Axx 11B57 × Cite Format Result Cite Review PDF Full Text: DOI
Akrivis, Georgios (ed.); Dougalis, Vassilios (ed.); Gallopoulos, Efstratios (ed.); Hadjidimos, Apostolos (ed.); Kotsireas, Ilias S. (ed.); Noutsos, Dimitrios (ed.); Saridakis, Yiannis G. (ed.); Vrahatis, Michael N. (ed.) Special issue: Selected papers based on the presentations at the NumAn 2010 conference, Chania, Crete, Greece, September 15–18, 2010. (English) Zbl 1282.65005 Appl. Numer. Math. 67, 261 p. (2013). MSC: 65-06 00B25 00A69 × Cite Format Result Cite Review PDF
Kotsireas, Ilias S. (ed.); Márquez-Corbella, Irene (ed.); Martínez-Moro, Edgar (ed.) 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. (English) Zbl 1275.00037 Math. Comput. Sci. 6, No. 2, 107-198 (2012). MSC: 00B25 68-06 94-06 05-06 × Cite Format Result Cite Review PDF
Kotsireas, I. S.; Koukouvinos, C.; Pardalos, P. M.; Simos, D. E. Competent genetic algorithms for weighing matrices. (English) Zbl 1261.90046 J. Comb. Optim. 24, No. 4, 508-525 (2012). MSC: 90C27 90C59 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, I. S.; Koukouvinos, C.; Seberry, J. New weighing matrices constructed from two circulant submatrices. (English) Zbl 1261.15037 Optim. Lett. 6, No. 1, 211-217 (2012). MSC: 15B34 05B20 05B30 × Cite Format Result Cite Review PDF Full Text: DOI
Đoković, Dragomir Ž.; Kotsireas, Ilias S. New results on D-optimal matrices. (English) Zbl 1247.05037 J. Comb. Des. 20, No. 6, 278-289 (2012). MSC: 05B10 05B20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Syed, Mujahid N.; Kotsireas, Ilias S.; Pardalos, Panos M. D-optimal designs: a mathematical programming approach using cyclotomic cosets. (English) Zbl 1268.62086 Informatica, Vilnius 22, No. 4, 577-587 (2011). MSC: 62K05 90C90 × Cite Format Result Cite Review PDF
Kotsireas, Ilias S.; Koukouvinos, Christos; Pardalos, Panos M. A modified power spectral density test applied to weighing matrices with small weight. (English) Zbl 1236.90105 J. Comb. Optim. 22, No. 4, 873-881 (2011). MSC: 90C27 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, I. S.; Koukouvino, C.; Simos, D. E. A meta-software system for orthogonal designs and Hadamard matrices. (English) Zbl 1233.05066 J. Appl. Math. Inform. 29, No. 5-6, 1571-1581 (2011). MSC: 05B20 05B15 68R05 68W30 × Cite Format Result Cite Review PDF Full Text: Link
Kotsireas, llias S.; Koukouvino, Christos; Simos, Dimitris E. Inequivalent Hadamard matrices from near normal sequences. (English) Zbl 1238.05038 J. Comb. Math. Comb. Comput. 75, 105-115 (2010). MSC: 05B20 × Cite Format Result Cite Review PDF
Arasu, K. T.; Kotsireas, I. S.; Koukouvinos, C.; Seberry, Jennifer On circulant and two-circulant weighing matrices. (English) Zbl 1231.05039 Australas. J. Comb. 48, 43-51 (2010). MSC: 05B20 05B05 × Cite Format Result Cite Review PDF
Kotsireas, I. S.; Koukouvinos, C.; Pardalos, P. M.; Shylo, O. V. Periodic complementary binary sequences and combinatorial optimization algorithms. (English) Zbl 1198.90339 J. Comb. Optim. 20, No. 1, 63-75 (2010). MSC: 90C27 × Cite Format Result Cite Review PDF Full Text: DOI
Kotsireas, Ilias S.; Koukouvinos, Christos; Seberry, Jennifer New weighing matrices of order \(2n\) and weight \(2n-9\). (English) Zbl 1202.05018 J. Comb. Math. Comb. Comput. 72, 49-54 (2010). MSC: 05B20 62K05 × Cite Format Result Cite Review PDF