default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIlias S. Kotsireas
Person information
- affiliation: Wilfrid Laurier University, Waterloo, ON, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j84]Marlene Koelbing, Bernhard Garn, Enrico Iurlano, Ilias S. Kotsireas, Dimitris E. Simos:
Algebraic and SAT models for SCA generation. Appl. Algebra Eng. Commun. Comput. 36(2): 173-222 (2025)- [j83]Ilias S. Kotsireas, Panos M. Pardalos:
Guest editorial: Revised selected papers from the LION 16 conference. Ann. Math. Artif. Intell. 93(1): 19-20 (2025) - [j82]Ilias S. Kotsireas, Christoph Koutschan, Arne Winterhof
:
Quaternary Legendre pairs II. Discret. Math. 348(9): 114501 (2025) - [j81]Ilias S. Kotsireas:
Meta-programming with Maple and C. Maple Trans. 5(1) (2025) - [e17]Hossein Moosaei, Ilias S. Kotsireas, Panos M. Pardalos:
Dynamics of Information Systems - 7th International Conference, DIS 2024, Kalamata, Greece, June 2-7, 2024, Revised Selected Papers. Lecture Notes in Computer Science 14661, Springer 2025, ISBN 978-3-031-81009-1 [contents] - [i16]Ilias S. Kotsireas, Tony Shaska:
A Neurosymbolic Framework for Geometric Reduction of Binary Forms. CoRR abs/2501.15404 (2025) - 2024
- [j80]Stefanos Leonardos, William J. Knottenbelt, Elise Alfieri, Panos M. Pardalos, Ilias S. Kotsireas:
Introduction to the Special Issue on Mathematical Research for Blockchain Economy. Distributed Ledger Technol. Res. Pract. 3(1): 1:1-1:2 (2024) - [j79]Radel Ben-Av, Giora Dula, Assaf Goldberger, Ilias S. Kotsireas, Yossi Strassler:
New weighing matrices via partitioned group actions. Discret. Math. 347(5): 113908 (2024) - [j78]Ilias S. Kotsireas, Panos M. Pardalos, Julius Zilinskas:
Preface. J. Glob. Optim. 88(3): 531-532 (2024) - [j77]Konstantinos E. Parsopoulos, Vasileios A. Tatsis, Ilias S. Kotsireas, Panos M. Pardalos:
Parallel algorithm portfolios with adaptive resource allocation strategy. J. Glob. Optim. 88(3): 685-705 (2024) - [j76]Ilias S. Kotsireas, Toufik Mansour, Gökhan Yildirim:
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences. J. Symb. Comput. 120: 102231 (2024) - [c33]Maxwell Dann, Ilias S. Kotsireas:
Profiting Off the High Correlation of Cryptocurrency Pairs Using Statistical Arbitrage. MARBLE 2024: 327-335 - [i15]Tyler Lumsden, Ilias S. Kotsireas, Curtis Bright:
New Results on Periodic Golay Pairs. CoRR abs/2408.15611 (2024) - 2023
- [j75]Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos:
Preface: Selected revised papers from the LION 15 conference. Ann. Math. Artif. Intell. 91(2-3): 107-108 (2023) - [j74]Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos:
Correction to: Preface: Selected revised papers from the LION 15 conference. Ann. Math. Artif. Intell. 91(6): 901 (2023) - [j73]Jonathan D. Hauenstein, Yang-Hui He, Ilias S. Kotsireas, Dhagash Mehta, Tingting Tang:
Special issue on Algebraic Geometry and Machine Learning. J. Symb. Comput. 118: 93-94 (2023) - [j72]Robert M. Corless, Ilias S. Kotsireas:
Remembering Eugenio Roanes-Lozano. Maple Trans. 3(2) (2023) - [j71]Ilias S. Kotsireas, Dimitris E. Simos, Ali Kemal Uncu:
Foreword. Math. Comput. Sci. 17(1): 7 (2023) - [e16]François Boulier, Matthew England, Ilias S. Kotsireas, Timur M. Sadykov, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings. Lecture Notes in Computer Science 14139, Springer 2023, ISBN 978-3-031-41723-8 [contents] - [e15]Panos M. Pardalos, Ilias S. Kotsireas, Yike Guo, William J. Knottenbelt:
3rd International Conference on Mathematical Research for Blockchain Economy, MARBLE 2022, Vilamoura, Portugal, July 12-14, 2022. Lecture Notes in Operations Research, Springer 2023, ISBN 978-3-031-18679-0 [contents] - [e14]Panos M. Pardalos, Ilias S. Kotsireas, William J. Knottenbelt, Stefanos Leonardos:
Mathematical Research for Blockchain Economy: 4th International Conference MARBLE 2023, London, United Kingdom, July 11-13, 2023. Lecture Notes in Operations Research, Springer 2023, ISBN 978-3-031-48730-9 [contents] - 2022
- [j70]Ilias S. Kotsireas, Panos M. Pardalos:
Preface selected revised papers from the LION 14 conference. Ann. Math. Artif. Intell. 90(7-9): 677 (2022) - [j69]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
When satisfiability solving meets symbolic computation. Commun. ACM 65(7): 64-72 (2022) - [j68]Ilias S. Kotsireas:
Personal Recollections of Prof. Vladimir P. Gerdt. Math. Comput. Sci. 16(4): 24 (2022) - [j67]Ludwig Kampel, Michael Wagner, Ilias S. Kotsireas, Dimitris E. Simos:
A primer on the application of neural networks to covering array generation. Optim. Methods Softw. 37(3): 1165-1202 (2022) - [j66]Ilias S. Kotsireas:
Review of "Handbook of Heuristics". Oper. Res. Forum 3(3) (2022) - [c32]Evangelos Bartzos, Ioannis Z. Emiris, Ilias S. Kotsireas, Charalambos Tzamos:
Bounding the Number of Roots of Multi-Homogeneous Systems. ISSAC 2022: 255-262 - [e13]Dimitris E. Simos, Varvara Rasskazova, Francesco Archetti, Ilias S. Kotsireas, Panos M. Pardalos:
Learning and Intelligent Optimization - 16th International Conference, LION 2022, Milos Island, Greece, June 5-10, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13621, Springer 2022, ISBN 978-3-031-24865-8 [contents] - [i14]Ilias S. Kotsireas, Panos M. Pardalos, Alexander Semenov, William T. Trevena, Michael N. Vrahatis:
Survey of Methods for Solving Systems of Nonlinear Equations, Part I: Root-finding Approaches. CoRR abs/2208.08530 (2022) - [i13]Ilias S. Kotsireas, Panos M. Pardalos, Alexander Semenov, William T. Trevena, Michael N. Vrahatis:
Survey of Methods for Solving Systems of Nonlinear Equations, Part II: Optimization Based Approaches. CoRR abs/2208.08532 (2022) - 2021
- [j65]Jonathan S. Turner, Ilias S. Kotsireas, Dursun A. Bulutoglu, Andrew J. Geyer:
A Legendre pair of length 77 using complementary binary matrices with fixed marginals. Des. Codes Cryptogr. 89(6): 1321-1333 (2021) - [j64]Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh:
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT. J. Symb. Comput. 102: 153-172 (2021) - [c31]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh:
A SAT-based Resolution of Lam's Problem. AAAI 2021: 3669-3676 - [e12]Dimitris E. Simos, Panos M. Pardalos, Ilias S. Kotsireas:
Learning and Intelligent Optimization - 15th International Conference, LION 15, Athens, Greece, June 20-25, 2021, Revised Selected Papers. Lecture Notes in Computer Science 12931, Springer 2021, ISBN 978-3-030-92120-0 [contents] - [e11]Robert M. Corless, Jürgen Gerhard, Ilias S. Kotsireas:
Maple in Mathematics Education and Research - 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised Selected Papers. Communications in Computer and Information Science 1414, Springer 2021, ISBN 978-3-030-81697-1 [contents] - 2020
- [j63]Kenza Guenda, Iiro S. Honkala, Ilias S. Kotsireas, Teo Mora, Qiang Wang:
Special Issue: "Computer Algebra and Application to Combinatorics, Coding Theory and Cryptography" ACA 2019, Montreal, Canada, July 16-20, 2019. Appl. Algebra Eng. Commun. Comput. 31(3-4): 171-172 (2020) - [j62]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh:
A nonexistence certificate for projective planes of order ten with weight 15 codewords. Appl. Algebra Eng. Commun. Comput. 31(3-4): 195-213 (2020) - [j61]Ilias S. Kotsireas, Panos M. Pardalos:
Guest editorial: revised selected papers from the LION 12 conference. Ann. Math. Artif. Intell. 88(1-3): 1-2 (2020) - [j60]Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos:
Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques. Ann. Math. Artif. Intell. 88(1-3): 213-236 (2020) - [j59]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
Applying computer algebra systems with SAT solvers to the Williamson conjecture. J. Symb. Comput. 100: 187-209 (2020) - [j58]Anna Maria Bigatti, Francisco Botana, Thierry N. Dana-Picard, Felipe Gago, Ilias S. Kotsireas, Manuel Ladra, Wei Li:
Foreword. Math. Comput. Sci. 14(2): 191-192 (2020) - [j57]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. IEEE Trans. Inf. Theory 66(12): 7739-7751 (2020) - [c30]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh:
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. IJCAI 2020: 1460-1466 - [c29]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh:
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. IWOCA 2020: 97-111 - [e10]Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer, Sophie Tourret:
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). CEUR Workshop Proceedings 2752, CEUR-WS.org 2020 [contents] - [e9]Ilias S. Kotsireas, Panos M. Pardalos:
Learning and Intelligent Optimization - 14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12096, Springer 2020, ISBN 978-3-030-53551-3 [contents] - [e8]Panos M. Pardalos, Ilias S. Kotsireas, Yike Guo, William J. Knottenbelt:
1st International Conference on Mathematical Research for Blockchain Economy, MARBLE 2019, Santorini, Greece, May 6-9, 2019. Springer Proceedings in Business and Economics, Springer 2020, ISBN 978-3-030-37109-8 [contents] - [e7]Panos M. Pardalos, Ilias S. Kotsireas, Yike Guo, William J. Knottenbelt:
2nd International Conference on Mathematical Research for Blockchain Economy, MARBLE 2020, online, August 24, 2020. Springer Proceedings in Business and Economics, Springer 2020, ISBN 978-3-030-53356-4 [contents] - [e6]Jürgen Gerhard, Ilias S. Kotsireas:
Maple in Mathematics Education and Research - Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings. Communications in Computer and Information Science 1125, Springer 2020, ISBN 978-3-030-41257-9 [contents] - [i12]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh:
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. CoRR abs/2001.11973 (2020) - [i11]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh:
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. CoRR abs/2001.11974 (2020) - [i10]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh:
A SAT-based Resolution of Lam's Problem. CoRR abs/2012.04715 (2020)
2010 – 2019
- 2019
- [j56]Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh:
The SAT+CAS method for combinatorial search with applications to best matrices. Ann. Math. Artif. Intell. 87(4): 321-342 (2019) - [j55]Jürgen Gerhard, Ilias S. Kotsireas:
Maple Conference 2019. ACM Commun. Comput. Algebra 53(4): 182 (2019) - [j54]Panagiotis Vlamos, Ilias S. Kotsireas, Dimitrios Vlachakis:
Complexity in Medical Informatics. Complex. 2019: 8658124:1-8658124:2 (2019) - [j53]Michel Beaudin, Thierry N. Dana-Picard, Alexander B. Levin, Christoph Koutschan, Ilias S. Kotsireas, Daniel Robertz:
Foreword. Math. Comput. Sci. 13(1-2): 1-3 (2019) - [j52]Dimitris Souravlias, Ilias S. Kotsireas, Panos M. Pardalos, Konstantinos E. Parsopoulos:
Parallel algorithm portfolios with performance forecasting. Optim. Methods Softw. 34(6): 1231-1250 (2019) - [j51]Manfred Droste, Ilias S. Kotsireas, Robert Rolland:
Preface. Theor. Comput. Sci. 800: 1-2 (2019) - [c28]Curtis Bright, Dragomir Z. Ðokovic, Ilias S. Kotsireas, Vijay Ganesh:
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. AAAI 2019: 1435-1442 - [c27]Ludwig Kampel, Dimitris E. Simos, Bernhard Garn, Ilias S. Kotsireas, Evgeny Zhereshchin:
Algebraic Models for Arbitrary Strength Covering Arrays over v-ary Alphabets. CAI 2019: 177-189 - [c26]Rémi Imbach, Victor Y. Pan, Chee Yap, Ilias S. Kotsireas, Vitaly Zaderman:
Root-Finding with Implicit Deflation. CASC 2019: 236-245 - [c25]Ilias S. Kotsireas, Youtong Liu, Jing Yang:
PAF Reconstruction with the Orbits Method. CASC 2019: 315-329 - [c24]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
SAT solvers and computer algebra systems: a powerful combination for mathematics. CASCON 2019: 323-328 - [c23]Ludwig Kampel, Michael Wagner, Ilias S. Kotsireas, Dimitris E. Simos:
How to Use Boltzmann Machines and Neural Networks for Covering Array Generation. LION 2019: 53-68 - [c22]Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh:
Effective Problem Solving Using SAT Solvers. MC 2019: 205-219 - [e5]Roberto Battiti, Mauro Brunato, Ilias S. Kotsireas, Panos M. Pardalos:
Learning and Intelligent Optimization - 12th International Conference, LION 12, Kalamata, Greece, June 10-15, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11353, Springer 2019, ISBN 978-3-030-05347-5 [contents] - [e4]Ilias S. Kotsireas, Panos M. Pardalos, Konstantinos E. Parsopoulos, Dimitris Souravlias, Arsenis Tsokas:
Analysis of Experimental Algorithms - Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers. Lecture Notes in Computer Science 11544, Springer 2019, ISBN 978-3-030-34028-5 [contents] - [i9]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. CoRR abs/1905.00267 (2019) - [i8]Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh:
Effective problem solving using SAT solvers. CoRR abs/1906.06251 (2019) - [i7]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics. CoRR abs/1907.04408 (2019) - [i6]Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh:
The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices. CoRR abs/1907.04987 (2019) - [i5]Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh:
Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT. CoRR abs/1907.11981 (2019) - [i4]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh:
A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords. CoRR abs/1911.04032 (2019) - 2018
- [j50]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
The SAT+CAS paradigm and the Williamson conjecture. ACM Commun. Comput. Algebra 52(3): 82-84 (2018) - [j49]Francisco J. Aragón Artacho, Rubén Campoy, Ilias S. Kotsireas, Matthew K. Tam:
A feasibility approach for constructing combinatorial designs of circulant type. J. Comb. Optim. 35(4): 1061-1085 (2018) - [j48]Dardo Goyeneche, Ilias S. Kotsireas, Padraig Ó Catháin:
Foreword. Math. Comput. Sci. 12(4): 371-372 (2018) - [j47]Dragomir Z. Dokovic, Ilias S. Kotsireas:
Goethals-Seidel Difference Families with Symmetric or Skew Base Blocks. Math. Comput. Sci. 12(4): 373-388 (2018) - [c21]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
A SAT+CAS Method for Enumerating Williamson Matrices of Even Order. AAAI 2018: 6573-6580 - [c20]Ilias S. Kotsireas, Jing Yang:
Autocorrelation via Runs. AISC 2018: 195-205 - [c19]Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh:
Enumeration of Complex Golay Pairs via Programmatic SAT. ISSAC 2018: 111-118 - [c18]Kristoffer Kleine, Ilias S. Kotsireas, Dimitris E. Simos:
Evaluation of Tie-Breaking and Parameter Ordering for the IPO Family of Algorithms Used in Covering Array Generation. IWOCA 2018: 189-200 - [c17]Ilias S. Kotsireas:
Hard Combinatorial Problems: A Challenge for Satisfiability. SC-Square@FLOC 2018: 1 - [i3]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture. CoRR abs/1804.01172 (2018) - [i2]Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh:
Enumeration of Complex Golay Pairs via Programmatic SAT. CoRR abs/1805.05488 (2018) - [i1]Curtis Bright, Dragomir Z. Djokovic, Ilias S. Kotsireas, Vijay Ganesh:
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. CoRR abs/1811.05094 (2018) - 2017
- [j46]Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh:
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. J. Autom. Reason. 58(3): 313-339 (2017) - [j45]Ilias S. Kotsireas:
Mathematics in Computer Science: After 10 Years. Math. Comput. Sci. 11(1): 1-6 (2017) - [j44]Thierry N. Dana-Picard, Wolfram Koepf, Ilias S. Kotsireas, Zoltán Kovács, Alexander N. Prokopenya, Werner M. Seiler:
Foreword. Math. Comput. Sci. 11(3-4): 251-252 (2017) - [c16]Ioannis Z. Emiris, Christos Konaxis, Ilias S. Kotsireas, Clément Laroche:
Matrix Representations by Means of Interpolation. ISSAC 2017: 149-156 - [e3]Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos:
Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings. Lecture Notes in Computer Science 10693, Springer 2017, ISBN 978-3-319-72452-2 [contents] - 2016
- [j43]Srinivasan Arunachalam, Ilias S. Kotsireas:
Hard satisfiable 3-SAT instances via autocorrelation. J. Satisf. Boolean Model. Comput. 10(1): 11-22 (2016) - [j42]Dimitris Souravlias, Konstantinos E. Parsopoulos, Ilias S. Kotsireas:
Circulant weighing matrices: a demanding challenge for parallel optimization metaheuristics. Optim. Lett. 10(6): 1303-1314 (2016) - [c15]Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki:
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. CASC 2016: 117-133 - [c14]Ilias S. Kotsireas:
Computational Approaches to Open Problems in Combinatorics. ISAIM 2016 - [c13]Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki:
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. SC²@SYNASC 2016: 13-19 - [c12]Ilias S. Kotsireas, Panos M. Pardalos, Konstantinos E. Parsopoulos, Dimitris Souravlias:
On the Solution of Circulant Weighing Matrices Problems Using Algorithm Portfolios on Multi-core Processors. SEA 2016: 184-200 - [e2]Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap:
Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9582, Springer 2016, ISBN 978-3-319-32858-4 [contents] - 2015
- [j41]Dragomir Z. Dokovic, Ilias S. Kotsireas, Daniel Recoskie, Joe Sawada:
Charm bracelets and their application to the construction of periodic Golay pairs. Discret. Appl. Math. 188: 32-40 (2015) - [j40]Dragomir Z. Dokovic, Ilias S. Kotsireas:
Compression of periodic complementary sequences and applications. Des. Codes Cryptogr. 74(2): 365-377 (2015) - [j39]Ilias S. Kotsireas, Edgar Martínez-Moro:
Foreword: Computer Algebra in Coding Theory and Cryptography. Des. Codes Cryptogr. 76(1): 1-2 (2015) - [j38]Dragomir Z. Dokovic, Ilias S. Kotsireas:
Some new periodic Golay pairs. Numer. Algorithms 69(3): 523-530 (2015) - [c11]Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos:
Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. RTA 2015: 241-256 - 2014
- [j37]Ilias S. Kotsireas:
Message from the SIGSAM Chair. ACM Commun. Comput. Algebra 48(1/2): 32 (2014) - [j36]Ilias S. Kotsireas:
Message from the SIGSAM Chair. ACM Commun. Comput. Algebra 48(3/4): 154 (2014) - [j35]Ilias S. Kotsireas, Lilia Krivodonova, Sabine McConnell, Erik Schnetter:
High performance computing theory and applications - Proceedings of SHARCNET Research Day 2012 (Guelph, Ontario). J. Comput. Sci. 5(3): 497-498 (2014) - [c10]Ilias S. Kotsireas, Panos M. Pardalos:
A New Existence Condition for Hadamard Matrices with Circulant Core. LION 2014: 383-390 - 2013
- [j34]Ilias S. Kotsireas, Panos M. Pardalos:
D-optimal matrices via quadratic integer optimization. J. Heuristics 19(4): 617-627 (2013) - [j33]Allen M. Tesdall, Jae-Hun Jung, Ilias S. Kotsireas, Roderick V. N. Melnik:
Preface. J. Comput. Sci. 4(1-2): 1-2 (2013) - [j32]Ilias S. Kotsireas, Bernard Mourrain, Victor Y. Pan, Lihong Zhi:
Preface. Theor. Comput. Sci. 479: 1-3 (2013) - [p1]Ilias S. Kotsireas:
Structured Hadamard Conjecture. Number Theory and Related Fields 2013: 215-227 - 2012
- [j31]Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos, Dimitris E. Simos:
Competent genetic algorithms for weighing matrices. J. Comb. Optim. 24(4): 508-525 (2012) - [j30]Ilias S. Kotsireas, Irene Marquez Corbella, Edgar Martínez-Moro:
Foreword. Math. Comput. Sci. 6(2): 107-108 (2012) - [j29]Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry:
New weighing matrices constructed from two circulant submatrices. Optim. Lett. 6(1): 211-217 (2012) - [c9]Ilias S. Kotsireas, Konstantinos E. Parsopoulos, Grigoris S. Piperagkas, Michael N. Vrahatis:
Ant-Based Approaches for Solving Autocorrelation Problems. ANTS 2012: 220-227 - 2011
- [j28]Ilias S. Kotsireas, Eugene V. Zima:
Abstracts of WWCA 2011 in honor of Herb Wilf's 80th birthday. ACM Commun. Comput. Algebra 45(1/2): 92-99 (2011) - [j27]Mujahid N. Syed, Ilias S. Kotsireas, Panos M. Pardalos:
D-Optimal Designs: A Mathematical Programming Approach Using Cyclotomic Cosets. Informatica 22(4): 577-587 (2011) - [j26]Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos:
A modified power spectral density test applied to weighing matrices with small weight. J. Comb. Optim. 22(4): 873-881 (2011) - [j25]Elizabeth Arnold, Ilias S. Kotsireas, Markus Rosenkranz:
Bruno Buchberger and the world of Gröbner bases. J. Symb. Comput. 46(5): 495-497 (2011) - [j24]Ilias S. Kotsireas, Bernard Mourrain, Victor Y. Pan:
Preface. Theor. Comput. Sci. 412(16): 1443-1444 (2011) - 2010
- [j23]Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry, Dimitris E. Simos:
New classes of orthogonal designs constructed from complementary sequences with given spread. Australas. J Comb. 46: 67-78 (2010) - [j22]K. T. Arasu, Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry:
On circulant and two-circulant weighing matrices. Australas. J Comb. 48: 43-52 (2010) - [j21]Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos, Oleg V. Shylo:
Periodic complementary binary sequences and Combinatorial Optimization algorithms. J. Comb. Optim. 20(1): 63-75 (2010) - [j20]Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos:
An efficient string sorting algorithm for weighing matrices of small weight. Optim. Lett. 4(1): 29-36 (2010)
2000 – 2009
- 2009
- [j19]Ilias S. Kotsireas, Christos Koukouvinos, Dimitris E. Simos:
MDS and near-MDS self-dual codes over large prime fields. Adv. Math. Commun. 3(4): 349-361 (2009) - [j18]Ilias S. Kotsireas, Christos Koukouvinos:
Hadamard matrices of Williamson type: A challenge for Computer Algebra. J. Symb. Comput. 44(3): 271-279 (2009) - [j17]Robert M. Corless, Karin Gatermann, Ilias S. Kotsireas:
Using symmetries in the eigenvalue method for polynomial systems. J. Symb. Comput. 44(11): 1536-1550 (2009) - [e1]Hiroshi Kai, Hiroshi Sekigawa, Tateaki Sasaki, Kiyoshi Shirayanagi, Ilias S. Kotsireas:
Symbolic Numeric Computation, SNC '09, Kyoto, Japan - August 03 - 05, 2009. ACM 2009, ISBN 978-1-60558-664-9 [contents] - 2008
- [j16]Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry:
New orthogonal designs from weighing matrices. Australas. J Comb. 40: 99-104 (2008) - [j15]Ilias S. Kotsireas, Christos Koukouvinos:
New skew-Hadamard matrices via computational algebra. Australas. J Comb. 41: 235-248 (2008) - [j14]Ilias S. Kotsireas:
Foreword. Math. Comput. Sci. 1(3): 439 (2008) - [j13]Marco Chiarandini, Ilias S. Kotsireas, Christos Koukouvinos, Luís Paquete:
Heuristic algorithms for Hadamard matrices with two circulant cores. Theor. Comput. Sci. 407(1-3): 274-277 (2008) - 2007
- [j12]Ilias S. Kotsireas, Christos Koukouvinos:
Orthogonal designs of order 32 and 64 via computational algebra. Australas. J Comb. 39: 39-48 (2007) - [j11]Mark Giesbrecht, Ilias S. Kotsireas, Austin Lobo:
ISSAC 2007 poster abstracts. ACM Commun. Comput. Algebra 41(1-2): 38-72 (2007) - [c8]Ilias S. Kotsireas, Christos Koukouvinos:
Inequivalent Hadamard matrices from orthogonal designs. PASCO 2007: 95-96 - 2006
- [j10]Jason Cousineau, Ilias S. Kotsireas, Christos Koukouvinos:
Genetic algorithms for orthogonal designs. Australas. J Comb. 35: 263-272 (2006) - [j9]Ilias S. Kotsireas, Eugene A. Zima:
WWCA 2006 abstracts. ACM Commun. Comput. Algebra 40(2): 52-59 (2006) - [j8]Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry:
Hadamard ideals and Hadamard matrices with two circulant cores. Eur. J. Comb. 27(5): 658-668 (2006) - [j7]Konstantinos Karamanos, Ilias S. Kotsireas:
Addendum: On the statistical analysis of the first digits of the Feigenbaum constants. J. Frankl. Inst. 343(7): 759-761 (2006) - 2005
- [j6]Konstantinos Karamanos, Ilias S. Kotsireas:
Statistical analysis of the first digits of the binary expansion of Feigenbaum constants α and δ. J. Frankl. Inst. 342(3): 329-340 (2005) - [j5]Ilias S. Kotsireas, Alkiviadis G. Akritas, Stanly L. Steinberg, Michael J. Wester:
Foreword to the special issue on Applications of computer algebra. J. Symb. Comput. 40(4-5): 1129-1130 (2005) - [c7]Ilias S. Kotsireas, Gil Pinheiro:
A Meta-Software System for the Discovery of Hadamard Matrices. HPCS 2005: 17-23 - 2004
- [j4]Ilias S. Kotsireas, Emil J. Volcheck:
ANTS VI: algorithmic number theory symposium poster abstracts. SIGSAM Bull. 38(3): 93-107 (2004) - [j3]Ilias S. Kotsireas, Kostas Karamanos:
Exact Computation of the bifurcation Point B4 of the logistic Map and the Bailey-broadhurst Conjectures. Int. J. Bifurc. Chaos 14(7): 2417-2423 (2004) - 2003
- [j2]Ilias S. Kotsireas, Edmond Lau, Richard Voino:
Exact implicitization of polynomial curves and surfaces. SIGSAM Bull. 37(3): 78 (2003) - [c6]Ioannis Z. Emiris, Ilias S. Kotsireas:
Implicitization Exploiting Sparseness. Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing 2003: 281-297 - [c5]Ioannis Z. Emiris, Ilias S. Kotsireas:
Implicit Polynomial Support Optimized for Sparseness. ICCSA (3) 2003: 397-406 - 2002
- [c4]Robert M. Corless, André Galligo, Ilias S. Kotsireas, Stephen M. Watt:
A geometric-numeric algorithm for absolute factorization of multivariate polynomials. ISSAC 2002: 37-45 - 2001
- [j1]Ilias S. Kotsireas:
Homotopies and polynomial system solving I: basic principles. SIGSAM Bull. 35(1): 19-32 (2001) - [c3]Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt:
Towards factoring bivariate approximate polynomials. ISSAC 2001: 85-92 - 2000
- [c2]Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt:
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. AISC 2000: 174-183
1990 – 1999
- 1999
- [c1]Jean-Charles Faugère, Ilias S. Kotsireas:
Symmetry Theorems for the Newtonian 4- and 5-body Problems with Equal Masses. CASC 1999: 81-92
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-14 22:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
