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
Journal Articles
- 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 2001
- [j1]Ilias S. Kotsireas:
Homotopies and polynomial system solving I: basic principles. SIGSAM Bull. 35(1): 19-32 (2001)
Conference and Workshop Papers
- 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 - 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 - 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 - 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 - 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 - 2017
- [c16]Ioannis Z. Emiris, Christos Konaxis, Ilias S. Kotsireas, Clément Laroche:
Matrix Representations by Means of Interpolation. ISSAC 2017: 149-156 - 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 - 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
- [c10]Ilias S. Kotsireas, Panos M. Pardalos:
A New Existence Condition for Hadamard Matrices with Circulant Core. LION 2014: 383-390 - 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 - 2007
- [c8]Ilias S. Kotsireas, Christos Koukouvinos:
Inequivalent Hadamard matrices from orthogonal designs. PASCO 2007: 95-96 - 2005
- [c7]Ilias S. Kotsireas, Gil Pinheiro:
A Meta-Software System for the Discovery of Hadamard Matrices. HPCS 2005: 17-23 - 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
- [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 - 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
Parts in Books or Collections
- 2013
- [p1]Ilias S. Kotsireas:
Structured Hadamard Conjecture. Number Theory and Related Fields 2013: 215-227
Editorship
- 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
- [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] - 2021
- [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
- [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] - 2019
- [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] - 2017
- [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
- [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] - 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]
Informal and Other Publications
- 2024
- [i15]Tyler Lumsden, Ilias S. Kotsireas, Curtis Bright:
New Results on Periodic Golay Pairs. CoRR abs/2408.15611 (2024) - 2022
- [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) - 2020
- [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) - 2019
- [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
- [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)
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-01-09 13:14 CET 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:
