The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Ilias Kotsireas Ilias S. Kotsireas ( http://dblp.L3S.de/Authors/Ilias_Kotsireas )

URL (Homepage):  http://web.wlu.ca/science/physcomp/ikotsireas/  Author page on DBLP  Author page in RDF  Community of Ilias Kotsireas in ASPL-2

Publication years (Num. hits)
1999-2006 (17) 2007-2010 (15) 2011-2014 (17) 2015-2017 (17) 2018-2019 (23)
Publication types (Num. hits)
article(60) incollection(1) inproceedings(24) proceedings(4)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 90 publication records. Showing 89 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Curtis Bright, Ilias Kotsireas, Albert Heinle, Vijay Ganesh Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Curtis Bright, Ilias Kotsireas, Vijay Ganesh SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Curtis Bright, Dragomir Z. Dokovic, Ilias Kotsireas, Vijay Ganesh The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Curtis Bright, Jürgen Gerhard, Ilias Kotsireas, Vijay Ganesh Effective problem solving using SAT solvers. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Curtis Bright, Ilias Kotsireas, Vijay Ganesh New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Michel Beaudin, Thierry N. Dana-Picard, Alexander B. Levin, Christoph Koutschan, Ilias Kotsireas, Daniel Robertz Foreword. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Panagiotis Vlamos, Ilias Kotsireas, Dimitrios Vlachakis Complexity in Medical Informatics. Search on Bibsonomy Complexity The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roberto Battiti, Mauro Brunato, Ilias Kotsireas, Panos M. Pardalos (eds.) Learning and Intelligent Optimization - 12th International Conference, LION 12, Kalamata, Greece, June 10-15, 2018, Revised Selected Papers Search on Bibsonomy LION The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Dragomir Z. Ðokovic, Ilias Kotsireas, Vijay Ganesh A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ludwig Kampel, Dimitris E. Simos, Bernhard Garn, Ilias S. Kotsireas, Evgeny Zhereshchin Algebraic Models for Arbitrary Strength Covering Arrays over v-ary Alphabets. Search on Bibsonomy CAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rémi Imbach, Victor Y. Pan, Chee Yap, Ilias S. Kotsireas, Vitaly Zaderman Root-Finding with Implicit Deflation. Search on Bibsonomy CASC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Youtong Liu, Jing Yang PAF Reconstruction with the Orbits Method. Search on Bibsonomy CASC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Ilias Kotsireas, Vijay Ganesh The SAT+CAS paradigm and the Williamson conjecture. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dardo Goyeneche, Ilias Kotsireas, Padraig Ó Catháin Foreword. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francisco J. Aragón Artacho, Rubén Campoy, Ilias Kotsireas, Matthew K. Tam A feasibility approach for constructing combinatorial designs of circulant type. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh Enumeration of Complex Golay Pairs via Programmatic SAT. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Curtis Bright, Dragomir Z. Djokovic, Ilias S. Kotsireas, Vijay Ganesh A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Dragomir Z. Dokovic, Ilias S. Kotsireas Goethals-Seidel Difference Families with Symmetric or Skew Base Blocks. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh A SAT+CAS Method for Enumerating Williamson Matrices of Even Order. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Kristoffer 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. Search on Bibsonomy IWOCA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Jing Yang Autocorrelation via Runs. Search on Bibsonomy AISC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh Enumeration of Complex Golay Pairs via Programmatic SAT. Search on Bibsonomy ISSAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thierry N. Dana-Picard, Wolfram Koepf, Ilias S. Kotsireas, Zoltán Kovács, Alexander N. Prokopenya, Werner M. Seiler Foreword. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas Mathematics in Computer Science: After 10 Years. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos (eds.) Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings Search on Bibsonomy MACIS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ioannis Z. Emiris, Christos Konaxis, Ilias S. Kotsireas, Clément Laroche Matrix Representations by Means of Interpolation. Search on Bibsonomy ISSAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Srinivasan Arunachalam, Ilias Kotsireas Hard satisfiable 3-SAT instances via autocorrelation. Search on Bibsonomy JSAT The full citation details ... 2016 DBLP  BibTeX  RDF
1Dimitris Souravlias, Konstantinos E. Parsopoulos, Ilias S. Kotsireas Circulant weighing matrices: a demanding challenge for parallel optimization metaheuristics. Search on Bibsonomy Optimization Letters The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap (eds.) Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers Search on Bibsonomy MACIS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ilias 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. Search on Bibsonomy SEA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Ilias S. Kotsireas Computational Approaches to Open Problems in Combinatorics. Search on Bibsonomy ISAIM The full citation details ... 2016 DBLP  BibTeX  RDF
1Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. Search on Bibsonomy CASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Edgar Martínez-Moro Foreword: Computer Algebra in Coding Theory and Cryptography. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dragomir Z. Dokovic, Ilias S. Kotsireas Compression of periodic complementary sequences and applications. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dragomir Z. Dokovic, Ilias S. Kotsireas Some new periodic Golay pairs. Search on Bibsonomy Numerical Algorithms The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dragomir Z. Dokovic, Ilias S. Kotsireas, Daniel Recoskie, Joe Sawada Charm bracelets and their application to the construction of periodic Golay pairs. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. Search on Bibsonomy RTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas Message from the SIGSAM Chair. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas Message from the SIGSAM Chair. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Lilia Krivodonova, Sabine McConnell, Erik Schnetter High performance computing theory and applications - Proceedings of SHARCNET Research Day 2012 (Guelph, Ontario). Search on Bibsonomy J. Comput. Science The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Panos M. Pardalos A New Existence Condition for Hadamard Matrices with Circulant Core. Search on Bibsonomy LION The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Bernard Mourrain, Victor Y. Pan, Lihong Zhi Preface. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Allen M. Tesdall, Jae-Hun Jung, Ilias S. Kotsireas, Roderick V. N. Melnik Preface. Search on Bibsonomy J. Comput. Science The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Panos M. Pardalos D-optimal matrices via quadratic integer optimization. Search on Bibsonomy J. Heuristics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas Structured Hadamard Conjecture. Search on Bibsonomy Number Theory and Related Fields The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry New weighing matrices constructed from two circulant submatrices. Search on Bibsonomy Optimization Letters The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Irene Marquez Corbella, Edgar Martínez-Moro Foreword. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos, Dimitris E. Simos Competent genetic algorithms for weighing matrices. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Konstantinos E. Parsopoulos, Grigoris S. Piperagkas, Michael N. Vrahatis Ant-Based Approaches for Solving Autocorrelation Problems. Search on Bibsonomy ANTS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Eugene V. Zima Abstracts of WWCA 2011 in honor of Herb Wilf's 80th birthday. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Bernard Mourrain, Victor Y. Pan Preface. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elizabeth Arnold, Ilias S. Kotsireas, Markus Rosenkranz Bruno Buchberger and the world of Gröbner bases. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mujahid N. Syed, Ilias S. Kotsireas, Panos M. Pardalos D-Optimal Designs: A Mathematical Programming Approach Using Cyclotomic Cosets. Search on Bibsonomy Informatica, Lith. Acad. Sci. The full citation details ... 2011 DBLP  BibTeX  RDF
1Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos A modified power spectral density test applied to weighing matrices with small weight. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos An efficient string sorting algorithm for weighing matrices of small weight. Search on Bibsonomy Optimization Letters The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 05B20, 62K05
1Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry, Dimitris E. Simos New classes of orthogonal designs constructed from complementary sequences with given spread. Search on Bibsonomy Australasian J. Combinatorics The full citation details ... 2010 DBLP  BibTeX  RDF
1K. T. Arasu, Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry On circulant and two-circulant weighing matrices. Search on Bibsonomy Australasian J. Combinatorics The full citation details ... 2010 DBLP  BibTeX  RDF
1Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos, Oleg V. Shylo Periodic complementary binary sequences and Combinatorial Optimization algorithms. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Christos Koukouvinos, Dimitris E. Simos MDS and near-MDS self-dual codes over large prime fields. Search on Bibsonomy Adv. in Math. of Comm. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Robert M. Corless, Karin Gatermann, Ilias S. Kotsireas Using symmetries in the eigenvalue method for polynomial systems. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Christos Koukouvinos Hadamard matrices of Williamson type: A challenge for Computer Algebra. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hiroshi Kai, Hiroshi Sekigawa, Tateaki Sasaki, Kiyoshi Shirayanagi, Ilias S. Kotsireas (eds.) Symbolic Numeric Computation, SNC '09, Kyoto, Japan - August 03 - 05, 2009 Search on Bibsonomy SNC The full citation details ... 2009 DBLP  BibTeX  RDF
1Marco Chiarandini, Ilias S. Kotsireas, Christos Koukouvinos, Luis Paquete Heuristic algorithms for Hadamard matrices with two circulant cores. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas Foreword. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Christos Koukouvinos New skew-Hadamard matrices via computational algebra. Search on Bibsonomy Australasian J. Combinatorics The full citation details ... 2008 DBLP  BibTeX  RDF
1Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry New orthogonal designs from weighing matrices. Search on Bibsonomy Australasian J. Combinatorics The full citation details ... 2008 DBLP  BibTeX  RDF
1Mark Giesbrecht, Ilias S. Kotsireas, Austin Lobo ISSAC 2007 poster abstracts. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Christos Koukouvinos Orthogonal designs of order 32 and 64 via computational algebra. Search on Bibsonomy Australasian J. Combinatorics The full citation details ... 2007 DBLP  BibTeX  RDF
1Ilias S. Kotsireas, Christos Koukouvinos Inequivalent Hadamard matrices from orthogonal designs. Search on Bibsonomy PASCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF orthogonal designs, systems of polynomial equations, Hadamard matrices
1Ilias S. Kotsireas, Eugene A. Zima WWCA 2006 abstracts. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Konstantinos Karamanos, Ilias S. Kotsireas Addendum: On the statistical analysis of the first digits of the Feigenbaum constants. Search on Bibsonomy J. Franklin Institute The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry Hadamard ideals and Hadamard matrices with two circulant cores. Search on Bibsonomy Eur. J. Comb. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jason Cousineau, Ilias S. Kotsireas, Christos Koukouvinos Genetic algorithms for orthogonal designs. Search on Bibsonomy Australasian J. Combinatorics The full citation details ... 2006 DBLP  BibTeX  RDF
1Konstantinos Karamanos, Ilias S. Kotsireas Statistical analysis of the first digits of the binary expansion of Feigenbaum constants α and δ. Search on Bibsonomy J. Franklin Institute The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Alkiviadis G. Akritas, Stanly L. Steinberg, Michael J. Wester Foreword to the special issue on Applications of computer algebra. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Gil Pinheiro A Meta-Software System for the Discovery of Hadamard Matrices. Search on Bibsonomy HPCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Emil J. Volcheck ANTS VI: algorithmic number theory symposium poster abstracts. Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Kostas Karamanos Exact Computation of the bifurcation Point B4 of the logistic Map and the Bailey-broadhurst Conjectures. Search on Bibsonomy I. J. Bifurcation and Chaos The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas, Edmond Lau, Richard Voino Exact implicitization of polynomial curves and surfaces. Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ioannis Z. Emiris, Ilias S. Kotsireas Implicitization Exploiting Sparseness. Search on Bibsonomy Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ioannis Z. Emiris, Ilias S. Kotsireas Implicit Polynomial Support Optimized for Sparseness. Search on Bibsonomy ICCSA (3) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Robert M. Corless, André Galligo, Ilias S. Kotsireas, Stephen M. Watt A geometric-numeric algorithm for absolute factorization of multivariate polynomials. Search on Bibsonomy ISSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ilias S. Kotsireas Homotopies and polynomial system solving I: basic principles. Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt Towards factoring bivariate approximate polynomials. Search on Bibsonomy ISSAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Maple
1Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. Search on Bibsonomy AISC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jean-Charles Faugère, Ilias Kotsireas Symmetry Theorems for the Newtonian 4- and 5-body Problems with Equal Masses. Search on Bibsonomy CASC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #89 of 89 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license