Ilias S. Kotsireas
Orcid: 0000-0003-2126-8383Affiliations:
- Wilfrid Laurier University, Waterloo, ON, Canada
According to our database1,
Ilias S. Kotsireas
authored at least 114 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on web.wlu.ca
On csauthors.net:
Bibliography
2024
J. Glob. Optim., March, 2024
Distributed Ledger Technol. Res. Pract., March, 2024
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences.
J. Symb. Comput., 2024
2023
Ann. Math. Artif. Intell., December, 2023
J. Symb. Comput., September, 2023
Ann. Math. Artif. Intell., June, 2023
2022
Optim. Methods Softw., 2022
Survey of Methods for Solving Systems of Nonlinear Equations, Part II: Optimization Based Approaches.
CoRR, 2022
Survey of Methods for Solving Systems of Nonlinear Equations, Part I: Root-finding Approaches.
CoRR, 2022
Ann. Math. Artif. Intell., 2022
Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022
2021
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT.
J. Symb. Comput., 2021
A Legendre pair of length 77 using complementary binary matrices with fixed marginals.
Des. Codes Cryptogr., 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
IEEE Trans. Inf. Theory, 2020
J. Symb. Comput., 2020
Ann. Math. Artif. Intell., 2020
Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques.
Ann. Math. Artif. Intell., 2020
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., 2020
A nonexistence certificate for projective planes of order ten with weight 15 codewords.
Appl. Algebra Eng. Commun. Comput., 2020
Proceedings of the Combinatorial Algorithms - 31st International Workshop, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
2019
Optim. Methods Softw., 2019
Ann. Math. Artif. Intell., 2019
Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019
Proceedings of the Learning and Intelligent Optimization - 13th International Conference, 2019
Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, 2019
Proceedings of the Computer Algebra in Scientific Computing - 21st International Workshop, 2019
Proceedings of the Computer Algebra in Scientific Computing - 21st International Workshop, 2019
Proceedings of the Algebraic Informatics - 8th International Conference, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Math. Comput. Sci., 2018
J. Comb. Optim., 2018
CoRR, 2018
ACM Commun. Comput. Algebra, 2018
Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018
Evaluation of Tie-Breaking and Parameter Ordering for the IPO Family of Algorithms Used in Covering Array Generation.
Proceedings of the Combinatorial Algorithms - 29th International Workshop, 2018
Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures.
J. Autom. Reason., 2017
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017
2016
Circulant weighing matrices: a demanding challenge for parallel optimization metaheuristics.
Optim. Lett., 2016
J. Satisf. Boolean Model. Comput., 2016
On the Solution of Circulant Weighing Matrices Problems Using Algorithm Portfolios on Multi-core Processors.
Proceedings of the Experimental Algorithms - 15th International Symposium, 2016
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016
2015
Des. Codes Cryptogr., 2015
Des. Codes Cryptogr., 2015
Discret. Appl. Math., 2015
Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification.
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015
2014
High performance computing theory and applications - Proceedings of SHARCNET Research Day 2012 (Guelph, Ontario).
J. Comput. Sci., 2014
Proceedings of the Learning and Intelligent Optimization, 2014
2013
Proceedings of the Number Theory and Related Fields, In Memory of Alf van der Poorten, 2013
2012
Proceedings of the Swarm Intelligence - 8th International Conference, 2012
2011
A modified power spectral density test applied to weighing matrices with small weight.
J. Comb. Optim., 2011
Informatica, 2011
ACM Commun. Comput. Algebra, 2011
2010
Optim. Lett., 2010
J. Comb. Optim., 2010
New classes of orthogonal designs constructed from complementary sequences with given spread.
Australas. J Comb., 2010
2009
J. Symb. Comput., 2009
J. Symb. Comput., 2009
2008
Theor. Comput. Sci., 2008
2007
Australas. J Comb., 2007
Proceedings of the Parallel Symbolic Computation, 2007
2006
Addendum: On the statistical analysis of the first digits of the Feigenbaum constants.
J. Frankl. Inst., 2006
2005
J. Symb. Comput., 2005
Statistical analysis of the first digits of the binary expansion of Feigenbaum constants α and δ.
J. Frankl. Inst., 2005
Proceedings of the 19th Annual International Symposium on High Performance Computing Systems and Applications (HPCS 2005), 2005
2004
Exact Computation of the bifurcation Point B<sub>4</sub> of the logistic Map and the Bailey-broadhurst Conjectures.
Int. J. Bifurc. Chaos, 2004
2003
Proceedings of the Computational Science and Its Applications, 2003
Proceedings of the Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing, 2003
2002
A geometric-numeric algorithm for absolute factorization of multivariate polynomials.
Proceedings of the Symbolic and Algebraic Computation, 2002
2001
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001
2000
Proceedings of the Artificial Intelligence and Symbolic Computation, 2000
1999
Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, 1999