Ilias S. Kotsireas, Director, CARGO lab

Cited by

	All	Since 2019
Citations	1798	843
h-index	23	16
i10-index	63	27

180

135

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 33 43 34 40 53 45 44 56 61 61 54 49 76 80 72 101 116 163 144 135 149 121

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 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
Dragomir Z. DjokovicDistinguished Professor Emeritus, University of WaterlooVerified email at uwaterloo.ca
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
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
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
Saeed NejatiAmazonVerified email at amazon.com

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	91	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	61	2002
Compression of periodic complementary sequences and applications DŽ Ɖoković, IS Kotsireas Designs, Codes and Cryptography 74, 365-377, 2015	53	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	46*	2006
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	44	2004
Symmetric Hadamard matrices of order 116 and 172 exist O Di Matteo, DŽ Ðoković, IS Kotsireas Special matrices 3 (1), 2015	42	2015
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	41	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	36	2020
Effective problem solving using SAT solvers C Bright, J Gerhard, I Kotsireas, V Ganesh Maple in Mathematics Education and Research: Third Maple Conference, MC 2019 …, 2020	32	2020
Some new orders of Hadamard and Skew‐Hadamard matrices DŽ Đoković, O Golubitsky, IS Kotsireas Journal of combinatorial designs 22 (6), 270-277, 2014	30	2014
Panorama of methods for exact implicitization of algebraic curves and surfaces IS Kotsireas Geometric Computation, 126-155, 2004	29	2004
Implicitization Exploiting Sparseness. IZ Emiris, IS Kotsireas DIMACS Series in Discrete Mathematics and Theoretical Computer Science 67, 281, 2005	28	2005
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	27	2016
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
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	26	2021
Dynamics of disasters: algorithmic approaches and applications IS Kotsireas, A Nagurney, PM Pardalos Springer, 2018	26	2018
Dynamics of disasters: key concepts, models, algorithms, and insights IS Kotsireas, A Nagurney, PM Pardalos Springer Proceedings in Mathematics, 2016	26	2016
A survey on solution methods for integral equations IS Kotsireas The Ontario Research Centre for Computer Algebra 47, 2008	25	2008
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	24	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