Ilias S. Kotsireas

155 papers A* 4A 1B 12C 2Misc 3Journal 103Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Unified Mathematical Framework for Distributed Data Fabrics: Categorical Hypergraph Models. CoRR Tony Shaska, Ilias S. Kotsireas
2025	J	`jnl`	A Neurosymbolic Framework for Geometric Reduction of Binary Forms. CoRR Ilias S. Kotsireas, Tony Shaska
2025	J	`jnl`	Algebraic and SAT models for SCA generation. Appl. Algebra Eng. Commun. Comput. Marlene Koelbing, Bernhard Garn, Enrico Iurlano, Ilias S. Kotsireas, Dimitris E. Simos
2025	A	`ed.`	Dynamics of Information Systems - 7th International Conference, DIS 2024, Kalamata, Greece, June 2-7, 2024, Revised Selected Papers DIS Hossein Moosaei, Ilias S. Kotsireas, Panos M. Pardalos
2025	J	`jnl`	Guest editorial: Revised selected papers from the LION 16 conference. Ann. Math. Artif. Intell. Ilias S. Kotsireas, Panos M. Pardalos
2025	J	`jnl`	Meta-programming with Maple and C. Maple Trans. Ilias S. Kotsireas
2025	J	`jnl`	New Turyn-type sequences. Cryptogr. Commun. Stephen London, Ilias S. Kotsireas
2025	J	`jnl`	New results on periodic Golay pairs. Math. Comput. Tyler Lumsden, Ilias S. Kotsireas, Curtis Bright
2025	B	`conf`	On properties of Legendre pairs under compression. ISSAC Ilias S. Kotsireas, Ana-Isabel Gómez, Domingo Gómez-Pérez
2025	J	`jnl`	Quaternary Legendre pairs II. Discret. Math. Ilias S. Kotsireas, Christoph Koutschan, Arne Winterhof
2024	J	`jnl`	An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences. J. Symb. Comput. Ilias S. Kotsireas, Toufik Mansour, Gökhan Yildirim
2024	J	`jnl`	Introduction to the Special Issue on Mathematical Research for Blockchain Economy. Distributed Ledger Technol. Res. Pract. Stefanos Leonardos, William J. Knottenbelt, Elise Alfieri, Panos M. Pardalos, Ilias S. Kotsireas
2024	J	`jnl`	New Results on Periodic Golay Pairs. CoRR Tyler Lumsden, Ilias S. Kotsireas, Curtis Bright
2024	J	`jnl`	New weighing matrices via partitioned group actions. Discret. Math. Radel Ben-Av, Giora Dula, Assaf Goldberger, Ilias S. Kotsireas, Yossi Strassler
2024	J	`jnl`	Parallel algorithm portfolios with adaptive resource allocation strategy. J. Glob. Optim. Konstantinos E. Parsopoulos, Vasileios A. Tatsis, Ilias S. Kotsireas, Panos M. Pardalos
2024	J	`jnl`	Preface. J. Glob. Optim. Ilias S. Kotsireas, Panos M. Pardalos, Julius Zilinskas
2024	—	`conf`	Profiting Off the High Correlation of Cryptocurrency Pairs Using Statistical Arbitrage. MARBLE Maxwell Dann, Ilias S. Kotsireas
2023	—	`ed.`	3rd International Conference on Mathematical Research for Blockchain Economy, MARBLE 2022, Vilamoura, Portugal, July 12-14, 2022 MARBLE Panos M. Pardalos, Ilias S. Kotsireas, Yike Guo, William J. Knottenbelt
2023	B	`ed.`	Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings CASC François Boulier, Matthew England, Ilias S. Kotsireas, Timur M. Sadykov, Evgenii V. Vorozhtsov
2023	J	`jnl`	Correction to: Preface: Selected revised papers from the LION 15 conference. Ann. Math. Artif. Intell. Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos
2023	J	`jnl`	Foreword. Math. Comput. Sci. Ilias S. Kotsireas, Dimitris E. Simos, Ali Kemal Uncu
2023	—	`ed.`	Mathematical Research for Blockchain Economy: 4th International Conference MARBLE 2023, London, United Kingdom, July 11-13, 2023 MARBLE Panos M. Pardalos, Ilias S. Kotsireas, William J. Knottenbelt, Stefanos Leonardos
2023	J	`jnl`	Preface: Selected revised papers from the LION 15 conference. Ann. Math. Artif. Intell. Ilias S. Kotsireas, Panos M. Pardalos, Dimitris E. Simos
2023	J	`jnl`	Remembering Eugenio Roanes-Lozano. Maple Trans. Robert M. Corless, Ilias S. Kotsireas
2023	J	`jnl`	Special issue on Algebraic Geometry and Machine Learning. J. Symb. Comput. Jonathan D. Hauenstein, Yang-Hui He, Ilias S. Kotsireas, Dhagash Mehta, Tingting Tang
2022	J	`jnl`	A primer on the application of neural networks to covering array generation. Optim. Methods Softw. Ludwig Kampel, Michael Wagner, Ilias S. Kotsireas, Dimitris E. Simos
2022	B	`conf`	Bounding the Number of Roots of Multi-Homogeneous Systems. ISSAC Evangelos Bartzos, Ioannis Z. Emiris, Ilias S. Kotsireas, Charalambos Tzamos
2022	—	`ed.`	Learning and Intelligent Optimization - 16th International Conference, LION 2022, Milos Island, Greece, June 5-10, 2022, Revised Selected Papers LION Dimitris E. Simos, Varvara Rasskazova, Francesco Archetti, Ilias S. Kotsireas, Panos M. Pardalos
2022	J	`jnl`	Personal Recollections of Prof. Vladimir P. Gerdt. Math. Comput. Sci. Ilias S. Kotsireas
2022	J	`jnl`	Preface selected revised papers from the LION 14 conference. Ann. Math. Artif. Intell. Ilias S. Kotsireas, Panos M. Pardalos
2022	J	`jnl`	Review of "Handbook of Heuristics". Oper. Res. Forum Ilias S. Kotsireas
2022	J	`jnl`	Survey of Methods for Solving Systems of Nonlinear Equations, Part I: Root-finding Approaches. CoRR Ilias S. Kotsireas, Panos M. Pardalos, Alexander Semenov, William T. Trevena, Michael N. Vrahatis
2022	J	`jnl`	Survey of Methods for Solving Systems of Nonlinear Equations, Part II: Optimization Based Approaches. CoRR Ilias S. Kotsireas, Panos M. Pardalos, Alexander Semenov, William T. Trevena, Michael N. Vrahatis
2022	J	`jnl`	When satisfiability solving meets symbolic computation. Commun. ACM Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2021	J	`jnl`	A Legendre pair of length 77 using complementary binary matrices with fixed marginals. Des. Codes Cryptogr. Jonathan S. Turner, Ilias S. Kotsireas, Dursun A. Bulutoglu, Andrew J. Geyer
2021	A*	`conf`	A SAT-based Resolution of Lam's Problem. AAAI Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2021	J	`jnl`	Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT. J. Symb. Comput. Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
2021	—	`ed.`	Learning and Intelligent Optimization - 15th International Conference, LION 15, Athens, Greece, June 20-25, 2021, Revised Selected Papers LION Dimitris E. Simos, Panos M. Pardalos, Ilias S. Kotsireas
2021	—	`ed.`	Maple in Mathematics Education and Research - 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised Selected Papers MC Robert M. Corless, Jürgen Gerhard, Ilias S. Kotsireas
2020	—	`ed.`	1st International Conference on Mathematical Research for Blockchain Economy, MARBLE 2019, Santorini, Greece, May 6-9, 2019. MARBLE Panos M. Pardalos, Ilias S. Kotsireas, Yike Guo, William J. Knottenbelt
2020	—	`ed.`	2nd International Conference on Mathematical Research for Blockchain Economy, MARBLE 2020, online, August 24, 2020 MARBLE Panos M. Pardalos, Ilias S. Kotsireas, Yike Guo, William J. Knottenbelt
2020	J	`jnl`	A SAT-based Resolution of Lam's Problem. CoRR Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2020	J	`jnl`	A nonexistence certificate for projective planes of order ten with weight 15 codewords. Appl. Algebra Eng. Commun. Comput. Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh
2020	J	`jnl`	Applying computer algebra systems with SAT solvers to the Williamson conjecture. J. Symb. Comput. Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2020	J	`jnl`	Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques. Ann. Math. Artif. Intell. Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos
2020	J	`jnl`	Foreword. Math. Comput. Sci. Anna Maria Bigatti, Francisco Botana, Thierry N. Dana-Picard, Felipe Gago, Ilias S. Kotsireas, Manuel Ladra, Wei Li
2020	J	`jnl`	Guest editorial: revised selected papers from the LION 12 conference. Ann. Math. Artif. Intell. Ilias S. Kotsireas, Panos M. Pardalos
2020	—	`ed.`	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). PAAR+SC²@IJCAR Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer, Sophie Tourret
2020	—	`ed.`	Learning and Intelligent Optimization - 14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, Revised Selected Papers LION Ilias S. Kotsireas, Panos M. Pardalos
2020	—	`ed.`	Maple in Mathematics Education and Research - Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings MC Jürgen Gerhard, Ilias S. Kotsireas
2020	J	`jnl`	New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. IEEE Trans. Inf. Theory Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2020	C	`conf`	Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. IWOCA Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2020	J	`jnl`	Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. CoRR Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2020	J	`jnl`	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. Kenza Guenda, Iiro S. Honkala, Ilias S. Kotsireas, Teo Mora, Qiang Wang
2020	A*	`conf`	Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. IJCAI Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2020	J	`jnl`	Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. CoRR Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2019	J	`jnl`	A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords. CoRR Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh
2019	A*	`conf`	A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. AAAI Curtis Bright, Dragomir Z. Ðokovic, Ilias S. Kotsireas, Vijay Ganesh
2019	—	`conf`	Algebraic Models for Arbitrary Strength Covering Arrays over v-ary Alphabets. CAI Ludwig Kampel, Dimitris E. Simos, Bernhard Garn, Ilias S. Kotsireas, Evgeny Zhereshchin
2019	—	`ed.`	Analysis of Experimental Algorithms - Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers SEA² Ilias S. Kotsireas, Panos M. Pardalos, Konstantinos E. Parsopoulos, Dimitris Souravlias, Arsenis Tsokas
2019	J	`jnl`	Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT. CoRR Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
2019	J	`jnl`	Complexity in Medical Informatics. Complex. Panagiotis Vlamos, Ilias S. Kotsireas, Dimitrios Vlachakis
2019	—	`conf`	Effective Problem Solving Using SAT Solvers. MC Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh
2019	J	`jnl`	Effective problem solving using SAT solvers. CoRR Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh
2019	J	`jnl`	Foreword. Math. Comput. Sci. Michel Beaudin, Thierry N. Dana-Picard, Alexander B. Levin, Christoph Koutschan, Ilias S. Kotsireas, Daniel Robertz
2019	—	`conf`	How to Use Boltzmann Machines and Neural Networks for Covering Array Generation. LION Ludwig Kampel, Michael Wagner, Ilias S. Kotsireas, Dimitris E. Simos
2019	—	`ed.`	Learning and Intelligent Optimization - 12th International Conference, LION 12, Kalamata, Greece, June 10-15, 2018, Revised Selected Papers LION Roberto Battiti, Mauro Brunato, Ilias S. Kotsireas, Panos M. Pardalos
2019	J	`jnl`	Maple Conference 2019. ACM Commun. Comput. Algebra Jürgen Gerhard, Ilias S. Kotsireas
2019	J	`jnl`	New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. CoRR Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2019	B	`conf`	PAF Reconstruction with the Orbits Method. CASC Ilias S. Kotsireas, Youtong Liu, Jing Yang
2019	J	`jnl`	Parallel algorithm portfolios with performance forecasting. Optim. Methods Softw. Dimitris Souravlias, Ilias S. Kotsireas, Panos M. Pardalos, Konstantinos E. Parsopoulos
2019	J	`jnl`	Preface. Theor. Comput. Sci. Manfred Droste, Ilias S. Kotsireas, Robert Rolland
2019	B	`conf`	Root-Finding with Implicit Deflation. CASC Rémi Imbach, Victor Y. Pan, Chee Yap, Ilias S. Kotsireas, Vitaly Zaderman
2019	J	`jnl`	SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics. CoRR Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2019	—	`conf`	SAT solvers and computer algebra systems: a powerful combination for mathematics. CASCON Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2019	J	`jnl`	The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices. CoRR Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh
2019	J	`jnl`	The SAT+CAS method for combinatorial search with applications to best matrices. Ann. Math. Artif. Intell. Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh
2018	J	`jnl`	A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. CoRR Curtis Bright, Dragomir Z. Djokovic, Ilias S. Kotsireas, Vijay Ganesh
2018	A*	`conf`	A SAT+CAS Method for Enumerating Williamson Matrices of Even Order. AAAI Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2018	J	`jnl`	A feasibility approach for constructing combinatorial designs of circulant type. J. Comb. Optim. Francisco J. Aragón Artacho, Rubén Campoy, Ilias S. Kotsireas, Matthew K. Tam
2018	J	`jnl`	Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture. CoRR Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2018	Misc	`conf`	Autocorrelation via Runs. AISC Ilias S. Kotsireas, Jing Yang
2018	B	`conf`	Enumeration of Complex Golay Pairs via Programmatic SAT. ISSAC Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
2018	J	`jnl`	Enumeration of Complex Golay Pairs via Programmatic SAT. CoRR Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
2018	C	`conf`	Evaluation of Tie-Breaking and Parameter Ordering for the IPO Family of Algorithms Used in Covering Array Generation. IWOCA Kristoffer Kleine, Ilias S. Kotsireas, Dimitris E. Simos
2018	J	`jnl`	Foreword. Math. Comput. Sci. Dardo Goyeneche, Ilias S. Kotsireas, Padraig Ó Catháin
2018	J	`jnl`	Goethals-Seidel Difference Families with Symmetric or Skew Base Blocks. Math. Comput. Sci. Dragomir Z. Dokovic, Ilias S. Kotsireas
2018	—	`conf`	Hard Combinatorial Problems: A Challenge for Satisfiability. SC-Square@FLOC Ilias S. Kotsireas
2018	J	`jnl`	The SAT+CAS paradigm and the Williamson conjecture. ACM Commun. Comput. Algebra Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2017	J	`jnl`	Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. J. Autom. Reason. Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh
2017	J	`jnl`	Foreword. Math. Comput. Sci. Thierry N. Dana-Picard, Wolfram Koepf, Ilias S. Kotsireas, Zoltán Kovács, Alexander N. Prokopenya, Werner M. Seiler
2017	—	`ed.`	Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings MACIS Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos
2017	J	`jnl`	Mathematics in Computer Science: After 10 Years. Math. Comput. Sci. Ilias S. Kotsireas
2017	B	`conf`	Matrix Representations by Means of Interpolation. ISSAC Ioannis Z. Emiris, Christos Konaxis, Ilias S. Kotsireas, Clément Laroche
2016	J	`jnl`	Circulant weighing matrices: a demanding challenge for parallel optimization metaheuristics. Optim. Lett. Dimitris Souravlias, Konstantinos E. Parsopoulos, Ilias S. Kotsireas
2016	Misc	`conf`	Computational Approaches to Open Problems in Combinatorics. ISAIM Ilias S. Kotsireas
2016	J	`jnl`	Hard satisfiable 3-SAT instances via autocorrelation. J. Satisf. Boolean Model. Comput. Srinivasan Arunachalam, Ilias S. Kotsireas
2016	B	`conf`	MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. CASC Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
2016	—	`conf`	MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. SC²@SYNASC Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
2016	—	`ed.`	Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers MACIS Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap
2016	B	`conf`	On the Solution of Circulant Weighing Matrices Problems Using Algorithm Portfolios on Multi-core Processors. SEA Ilias S. Kotsireas, Panos M. Pardalos, Konstantinos E. Parsopoulos, Dimitris Souravlias
2015	J	`jnl`	Charm bracelets and their application to the construction of periodic Golay pairs. Discret. Appl. Math. Dragomir Z. Dokovic, Ilias S. Kotsireas, Daniel Recoskie, Joe Sawada
2015	J	`jnl`	Compression of periodic complementary sequences and applications. Des. Codes Cryptogr. Dragomir Z. Dokovic, Ilias S. Kotsireas
2015	—	`conf`	Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. RTA Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos
2015	J	`jnl`	Foreword: Computer Algebra in Coding Theory and Cryptography. Des. Codes Cryptogr. Ilias S. Kotsireas, Edgar Martínez-Moro
2015	J	`jnl`	Some new periodic Golay pairs. Numer. Algorithms Dragomir Z. Dokovic, Ilias S. Kotsireas
2014	—	`conf`	A New Existence Condition for Hadamard Matrices with Circulant Core. LION Ilias S. Kotsireas, Panos M. Pardalos
2014	J	`jnl`	High performance computing theory and applications - Proceedings of SHARCNET Research Day 2012 (Guelph, Ontario). J. Comput. Sci. Ilias S. Kotsireas, Lilia Krivodonova, Sabine McConnell, Erik Schnetter
2014	J	`jnl`	Message from the SIGSAM Chair. ACM Commun. Comput. Algebra Ilias S. Kotsireas
2014	J	`jnl`	Message from the SIGSAM Chair. ACM Commun. Comput. Algebra Ilias S. Kotsireas
2013	J	`jnl`	D-optimal matrices via quadratic integer optimization. J. Heuristics Ilias S. Kotsireas, Panos M. Pardalos
2013	J	`jnl`	Preface. J. Comput. Sci. Allen M. Tesdall, Jae-Hun Jung, Ilias S. Kotsireas, Roderick V. N. Melnik
2013	J	`jnl`	Preface. Theor. Comput. Sci. Ilias S. Kotsireas, Bernard Mourrain, Victor Y. Pan, Lihong Zhi
2013	—	`ch.`	Structured Hadamard Conjecture. Number Theory and Related Fields Ilias S. Kotsireas
2012	—	`conf`	Ant-Based Approaches for Solving Autocorrelation Problems. ANTS Ilias S. Kotsireas, Konstantinos E. Parsopoulos, Grigoris S. Piperagkas, Michael N. Vrahatis
2012	J	`jnl`	Competent genetic algorithms for weighing matrices. J. Comb. Optim. Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos, Dimitris E. Simos
2012	J	`jnl`	Foreword. Math. Comput. Sci. Ilias S. Kotsireas, Irene Marquez Corbella, Edgar Martínez-Moro
2012	J	`jnl`	New weighing matrices constructed from two circulant submatrices. Optim. Lett. Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry
2011	J	`jnl`	A modified power spectral density test applied to weighing matrices with small weight. J. Comb. Optim. Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos
2011	J	`jnl`	Abstracts of WWCA 2011 in honor of Herb Wilf's 80th birthday. ACM Commun. Comput. Algebra Ilias S. Kotsireas, Eugene V. Zima
2011	J	`jnl`	Bruno Buchberger and the world of Gröbner bases. J. Symb. Comput. Elizabeth Arnold, Ilias S. Kotsireas, Markus Rosenkranz
2011	J	`jnl`	D-Optimal Designs: A Mathematical Programming Approach Using Cyclotomic Cosets. Informatica Mujahid N. Syed, Ilias S. Kotsireas, Panos M. Pardalos
2011	J	`jnl`	Preface. Theor. Comput. Sci. Ilias S. Kotsireas, Bernard Mourrain, Victor Y. Pan
2010	J	`jnl`	An efficient string sorting algorithm for weighing matrices of small weight. Optim. Lett. Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos
2010	J	`jnl`	New classes of orthogonal designs constructed from complementary sequences with given spread. Australas. J Comb. Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry, Dimitris E. Simos
2010	J	`jnl`	On circulant and two-circulant weighing matrices. Australas. J Comb. K. T. Arasu, Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry
2010	J	`jnl`	Periodic complementary binary sequences and Combinatorial Optimization algorithms. J. Comb. Optim. Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos, Oleg V. Shylo
2009	J	`jnl`	Hadamard matrices of Williamson type: A challenge for Computer Algebra. J. Symb. Comput. Ilias S. Kotsireas, Christos Koukouvinos
2009	J	`jnl`	MDS and near-MDS self-dual codes over large prime fields. Adv. Math. Commun. Ilias S. Kotsireas, Christos Koukouvinos, Dimitris E. Simos
2009	—	`ed.`	Symbolic Numeric Computation, SNC '09, Kyoto, Japan - August 03 - 05, 2009 SNC Hiroshi Kai, Hiroshi Sekigawa, Tateaki Sasaki, Kiyoshi Shirayanagi, Ilias S. Kotsireas
2009	J	`jnl`	Using symmetries in the eigenvalue method for polynomial systems. J. Symb. Comput. Robert M. Corless, Karin Gatermann, Ilias S. Kotsireas
2008	J	`jnl`	Foreword. Math. Comput. Sci. Ilias S. Kotsireas
2008	J	`jnl`	Heuristic algorithms for Hadamard matrices with two circulant cores. Theor. Comput. Sci. Marco Chiarandini, Ilias S. Kotsireas, Christos Koukouvinos, Luís Paquete
2008	J	`jnl`	New orthogonal designs from weighing matrices. Australas. J Comb. Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry
2008	J	`jnl`	New skew-Hadamard matrices via computational algebra. Australas. J Comb. Ilias S. Kotsireas, Christos Koukouvinos
2007	J	`jnl`	ISSAC 2007 poster abstracts. ACM Commun. Comput. Algebra Mark Giesbrecht, Ilias S. Kotsireas, Austin Lobo
2007	—	`conf`	Inequivalent Hadamard matrices from orthogonal designs. PASCO Ilias S. Kotsireas, Christos Koukouvinos
2007	J	`jnl`	Orthogonal designs of order 32 and 64 via computational algebra. Australas. J Comb. Ilias S. Kotsireas, Christos Koukouvinos
2006	J	`jnl`	Addendum: On the statistical analysis of the first digits of the Feigenbaum constants. J. Frankl. Inst. Konstantinos Karamanos, Ilias S. Kotsireas
2006	J	`jnl`	Genetic algorithms for orthogonal designs. Australas. J Comb. Jason Cousineau, Ilias S. Kotsireas, Christos Koukouvinos
2006	J	`jnl`	Hadamard ideals and Hadamard matrices with two circulant cores. Eur. J. Comb. Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry
2006	J	`jnl`	WWCA 2006 abstracts. ACM Commun. Comput. Algebra Ilias S. Kotsireas, Eugene A. Zima
2005	—	`conf`	A Meta-Software System for the Discovery of Hadamard Matrices. HPCS Ilias S. Kotsireas, Gil Pinheiro
2005	J	`jnl`	Foreword to the special issue on Applications of computer algebra. J. Symb. Comput. Ilias S. Kotsireas, Alkiviadis G. Akritas, Stanly L. Steinberg, Michael J. Wester
2005	J	`jnl`	Statistical analysis of the first digits of the binary expansion of Feigenbaum constants α and δ. J. Frankl. Inst. Konstantinos Karamanos, Ilias S. Kotsireas
2004	J	`jnl`	ANTS VI: algorithmic number theory symposium poster abstracts. SIGSAM Bull. Ilias S. Kotsireas, Emil J. Volcheck
2004	J	`jnl`	Exact Computation of the bifurcation Point B Int. J. Bifurc. Chaos Ilias S. Kotsireas, Kostas Karamanos
2003	J	`jnl`	Exact implicitization of polynomial curves and surfaces. SIGSAM Bull. Ilias S. Kotsireas, Edmond Lau, Richard Voino
2003	—	`conf`	Implicit Polynomial Support Optimized for Sparseness. ICCSA (3) Ioannis Z. Emiris, Ilias S. Kotsireas
2003	—	`conf`	Implicitization Exploiting Sparseness. Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing Ioannis Z. Emiris, Ilias S. Kotsireas
2002	B	`conf`	A geometric-numeric algorithm for absolute factorization of multivariate polynomials. ISSAC Robert M. Corless, André Galligo, Ilias S. Kotsireas, Stephen M. Watt
2001	J	`jnl`	Homotopies and polynomial system solving I: basic principles. SIGSAM Bull. Ilias S. Kotsireas
2001	B	`conf`	Towards factoring bivariate approximate polynomials. ISSAC Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt
2000	Misc	`conf`	Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. AISC Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt
1999	B	`conf`	Symmetry Theorems for the Newtonian 4- and 5-body Problems with Equal Masses. CASC Jean-Charles Faugère, Ilias S. Kotsireas