Ilias S. Kotsireas, Director, CARGO lab

Cited by

	All	Since 2020
Citations	1820	761
h-index	23	14
i10-index	62	25

180

135

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420256 8 34 43 34 40 56 43 43 55 59 55 52 49 71 81 65 102 119 153 134 132 136 162 31

Co-authors

Panos PardalosUniversity of FloridaVerified email at ufl.edu
Curtis BrightAssistant Professor, University of WindsorVerified email at uwindsor.ca
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAVerified email at gatech.edu
Dimitris E. SimosKey Researcher, SBA ResearchVerified email at sba-research.org
Jennifer SeberryProfessor, Centre for Computer and Information Security Research, University of WollongongVerified email at uow.edu.au
Rob CorlessEditor-in-Chief, Maple TransactionsVerified email at uwo.ca
Konstantinos ParsopoulosProfessor, University of Ioannina, GreeceVerified email at uoi.gr
Dimitris SouravliasData Scientist | Data Engineer at Port of RotterdamVerified email at portofrotterdam.com
Stephen M. WattUniversity of WaterlooVerified email at uwaterloo.ca
Ioannis EmirisAthena Research Center; and National & Kapodistrian University of AthensVerified email at di.uoa.gr
Michael N. VrahatisDepartment of Mathematics, University of Patras, GreeceVerified email at upatras.gr
Anna NagurneyEugene M. Isenberg Chair in Integrative Studies, Isenberg School of Management, University ofVerified email at isenberg.umass.edu
Krzysztof CzarneckiProfessor of Electrical and Computer EngineeringVerified email at gsd.uwaterloo.ca
Dragomir Z. DjokovicDistinguished Professor Emeritus, University of WaterlooVerified email at uwaterloo.ca
Victor Y. PanDistinguished Professor of Math and Computer Science, Lehman College,CUNYVerified email at lehman.cuny.edu
Mark van HoeijProfessor of Mathematics, Florida State UniversityVerified email at math.fsu.edu
Saeed NejatiAmazonVerified email at amazon.com
Bernard MourrainInria, AromathVerified email at inria.fr
Olivia Di MatteoThe University of British ColumbiaVerified email at ece.ubc.ca
Edward ZulkoskiPh. D., University of WaterlooVerified email at gsd.uwaterloo.ca

Ilias S. Kotsireas, Director, CARGO lab

Wilfrid Laurier University

Verified email at wlu.ca - Homepage

Design Theory Symbolic Computation Combinatorial Matrices Coding Theory High-performance computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Numerical implicitization of parametric hypersurfaces with linear algebra RM Corless, MW Giesbrecht, IS Kotsireas, SM Watt International Conference on Artificial Intelligence and Symbolic Computation …, 2000	94	2000
Towards factoring bivariate approximate polynomials RM Corless, MW Giesbrecht, M van Hoeij, IS Kotsireas, SM Watt Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001	83	2001
A geometric-numeric algorithm for absolute factorization of multivariate polynomials RM Corless, A Galligo, IS Kotsireas, SM Watt Proceedings of the 2002 international symposium on Symbolic and algebraic …, 2002	62	2002
Compression of periodic complementary sequences and applications DŽ Ɖoković, IS Kotsireas Designs, Codes and Cryptography 74, 365-377, 2015	56	2015
Exact Computation of the Bifurcation Point B~ 4 of the Logistic Map and the Bailey-Broadhurst Conjectures IS Kotsireas, K Karamanos Int. J. Bifurc. Chaos 14 (7), 2417-2423, 2004	45	2004
Symmetric Hadamard matrices of order 116 and 172 exist O Di Matteo, DŽ Ðoković, IS Kotsireas Special matrices 3 (1), 2015	41	2015
Hadamard ideals and Hadamard matrices with two circulant cores IS Kotsireas, C Koukouvinos, J Seberry European Journal of Combinatorics 27 (5), 658-668, 2006	41*	2006
Combining SAT solvers with computer algebra systems to verify combinatorial conjectures E Zulkoski, C Bright, A Heinle, I Kotsireas, K Czarnecki, V Ganesh Journal of Automated Reasoning 58, 313-339, 2017	40	2017
Applying computer algebra systems with SAT solvers to the Williamson conjecture C Bright, I Kotsireas, V Ganesh Journal of Symbolic Computation 100, 187-209, 2020	39	2020
Effective problem solving using SAT solvers C Bright, J Gerhard, I Kotsireas, V Ganesh Maple Conference, 205-219, 2019	33	2019
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures C Bright, V Ganesh, A Heinle, I Kotsireas, S Nejati, K Czarnecki Computer Algebra in Scientific Computing: 18th International Workshop, CASC …, 2016	30	2016
Dynamics of disasters: algorithmic approaches and applications IS Kotsireas, A Nagurney, PM Pardalos Springer, 2018	29	2018
Implicitization exploiting sparseness IZ Emiris, IS Kotsireas DIMACS Series in Discrete Mathematics and Theoretical Computer Science 67, 281, 2005	29	2005
Panorama of methods for exact implicitization of algebraic curves and surfaces IS Kotsireas Geometric Computation, 126-155, 2004	29	2004
Dynamics of disasters: key concepts, models, algorithms, and insights IS Kotsireas, A Nagurney, PM Pardalos Springer Proceedings in Mathematics, 2016	28	2016
Some new orders of Hadamard and Skew‐Hadamard matrices DŽ Đoković, O Golubitsky, IS Kotsireas Journal of combinatorial designs 22 (6), 270-277, 2014	28	2014
A SAT-based Resolution of Lam's Problem C Bright, KKH Cheung, B Stevens, I Kotsireas, V Ganesh Proceedings of the AAAI Conference on Artificial Intelligence 35 (5), 3669-3676, 2021	27	2021
Prototype pruning by feature extraction for handwritten mathematical symbol recognition SMWX Xie, IS Kotsireas Department of Computer Science, University of Western Ontario, Canada, 2005	27	2005
Akne und Rosazea B Melnik, W Chen Braun-Falco’s Dermatologie, Venerologie und Allergologie, 1305-1336, 2018	25*	2018
Central configurations of the 5-body problem with equal masses in three-space I Kotsireas, D Lazard Journal of Mathematical Sciences 108, 1119-1138, 2002	25	2002

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors