@article{DBLP:journals/jar/ZulkoskiBHKCG17, author = {Edward Zulkoski and Curtis Bright and Albert Heinle and Ilias S. Kotsireas and Krzysztof Czarnecki and Vijay Ganesh}, doi = {10.1007/s10817-016-9396-y}, journal = {J. Autom. Reasoning}, pages = {313--339}, title = {Combining {SAT} Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures}, url = {https://doi.org/10.1007/s10817-016-9396-y}, volume = {58}, year = {2017} }
@article{DBLP:journals/mics/Dana-PicardKKKP17, author = {Thierry N. Dana{-}Picard and Wolfram Koepf and Ilias S. Kotsireas and Zolt{'{a}}n Kov{'{a}}cs and Alexander Prokopenya and Werner M. Seiler}, doi = {10.1007/s11786-017-0324-2}, journal = {Mathematics in Computer Science}, pages = {251--252}, title = {Foreword}, url = {https://doi.org/10.1007/s11786-017-0324-2}, volume = {11}, year = {2017} }
@article{DBLP:journals/mics/Kotsireas17, author = {Ilias S. Kotsireas}, doi = {10.1007/s11786-017-0312-6}, journal = {Mathematics in Computer Science}, pages = {1--6}, title = {Mathematics in Computer Science: After 10 Years}, url = {https://doi.org/10.1007/s11786-017-0312-6}, volume = {11}, year = {2017} }
@inproceedings{DBLP:conf/issac/EmirisKKL17, author = {Ioannis Z. Emiris and Christos Konaxis and Ilias S. Kotsireas and Cl{'{e}}ment Laroche}, booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany, July 25-28, 2017}, doi = {10.1145/3087604.3087629}, editor = {Michael A. Burr and Chee K. Yap and Mohab Safey El Din}, pages = {149--156}, publisher = {{ACM}}, title = {Matrix Representations by Means of Interpolation}, url = {http://doi.acm.org/10.1145/3087604.3087629}, year = {2017} }
@proceedings{DBLP:conf/macis/2017, doi = {10.1007/978-3-319-72453-9}, editor = {Johannes Bl{"{o}}mer and Ilias S. Kotsireas and Temur Kutsia and Dimitris E. Simos}, publisher = {Springer}, title = {Mathematical Aspects of Computer and Information Sciences - 7th International Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings}, url = {https://doi.org/10.1007/978-3-319-72453-9}, volume = {10693}, year = {2017} }
@article{DBLP:journals/ol/SouravliasPK16, author = {Dimitris Souravlias and Konstantinos E. Parsopoulos and Ilias S. Kotsireas}, doi = {10.1007/s11590-015-0927-y}, journal = {Optimization Letters}, pages = {1303--1314}, title = {Circulant weighing matrices: a demanding challenge for parallel optimization metaheuristics}, url = {https://doi.org/10.1007/s11590-015-0927-y}, volume = {10}, year = {2016} }
@inproceedings{DBLP:conf/casc/BrightGHKNC16, author = {Curtis Bright and Vijay Ganesh and Albert Heinle and Ilias S. Kotsireas and Saeed Nejati and Krzysztof Czarnecki}, booktitle = {Computer Algebra in Scientific Computing - 18th International Workshop, {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings}, doi = {10.1007/978-3-319-45641-6_9}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, pages = {117--133}, publisher = {Springer}, title = {MathCheck2: {A} {SAT+CAS} Verifier for Combinatorial Conjectures}, url = {https://doi.org/10.1007/978-3-319-45641-6_9}, volume = {9890}, year = {2016} }
@inproceedings{DBLP:conf/isaim/Kotsireas16, author = {Ilias S. Kotsireas}, booktitle = {International Symposium on Artificial Intelligence and Mathematics, {ISAIM} 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016.}, title = {Computational Approaches to Open Problems in Combinatorics}, url = {http://isaim2016.cs.virginia.edu/papers/ISAIM2016_Proofs_Kotsireas.pdf}, year = {2016} }
@inproceedings{DBLP:conf/synasc/BrightGHKNC16, author = {Curtis Bright and Vijay Ganesh and Albert Heinle and Ilias S. Kotsireas and Saeed Nejati and Krzysztof Czarnecki}, booktitle = {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), Timisoara, Romania, September 24, 2016.}, editor = {Erika {'{A}}brah{'{a}}m and James H. Davenport and Pascal Fontaine}, pages = {13--19}, publisher = {CEUR-WS.org}, title = {MathCheck2: {A} {SAT+CAS} Verifier for Combinatorial Conjectures}, url = {http://ceur-ws.org/Vol-1804/paper-04.pdf}, volume = {1804}, year = {2016} }
@inproceedings{DBLP:conf/wea/KotsireasPPS16, author = {Ilias S. Kotsireas and Panos M. Pardalos and Konstantinos E. Parsopoulos and Dimitris Souravlias}, booktitle = {Experimental Algorithms - 15th International Symposium, {SEA} 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings}, doi = {10.1007/978-3-319-38851-9_13}, editor = {Andrew V. Goldberg and Alexander S. Kulikov}, pages = {184--200}, publisher = {Springer}, title = {On the Solution of Circulant Weighing Matrices Problems Using Algorithm Portfolios on Multi-core Processors}, url = {https://doi.org/10.1007/978-3-319-38851-9_13}, volume = {9685}, year = {2016} }
@proceedings{DBLP:conf/macis/2015, doi = {10.1007/978-3-319-32859-1}, editor = {Ilias S. Kotsireas and Siegfried M. Rump and Chee K. Yap}, publisher = {Springer}, title = {Mathematical Aspects of Computer and Information Sciences - 6th International Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers}, url = {https://doi.org/10.1007/978-3-319-32859-1}, volume = {9582}, year = {2016} }
@article{DBLP:journals/dam/DokovicKRS15, author = {Dragomir Z. Dokovic and Ilias S. Kotsireas and Daniel Recoskie and Joe Sawada}, doi = {10.1016/j.dam.2015.03.001}, journal = {Discrete Applied Mathematics}, pages = {32--40}, title = {Charm bracelets and their application to the construction of periodic Golay pairs}, url = {https://doi.org/10.1016/j.dam.2015.03.001}, volume = {188}, year = {2015} }
@article{DBLP:journals/dcc/DokovicK15, author = {Dragomir Z. Dokovic and Ilias S. Kotsireas}, doi = {10.1007/s10623-013-9862-z}, journal = {Des. Codes Cryptography}, pages = {365--377}, title = {Compression of periodic complementary sequences and applications}, url = {https://doi.org/10.1007/s10623-013-9862-z}, volume = {74}, year = {2015} }
@article{DBLP:journals/dcc/KotsireasM15, author = {Ilias S. Kotsireas and Edgar Mart{'{\i}}nez{-}Moro}, doi = {10.1007/s10623-015-0041-2}, journal = {Des. Codes Cryptography}, pages = {1--2}, title = {Foreword: Computer Algebra in Coding Theory and Cryptography}, url = {https://doi.org/10.1007/s10623-015-0041-2}, volume = {76}, year = {2015} }
@article{DBLP:journals/na/DokovicK15, author = {Dragomir Z. Dokovic and Ilias S. Kotsireas}, doi = {10.1007/s11075-014-9910-4}, journal = {Numerical Algorithms}, pages = {523--530}, title = {Some new periodic Golay pairs}, url = {https://doi.org/10.1007/s11075-014-9910-4}, volume = {69}, year = {2015} }
@inproceedings{DBLP:conf/rta/KotsireasKS15, author = {Ilias S. Kotsireas and Temur Kutsia and Dimitris E. Simos}, booktitle = {26th International Conference on Rewriting Techniques and Applications, {RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland}, doi = {10.4230/LIPIcs.RTA.2015.241}, editor = {Maribel Fern{'{a}}ndez}, pages = {241--256}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, title = {Constructing Orthogonal Designs in Powers of Two: Gr{"{o}}bner Bases Meet Equational Unification}, url = {https://doi.org/10.4230/LIPIcs.RTA.2015.241}, volume = {36}, year = {2015} }
@article{DBLP:journals/cca/Kotsireas14a, author = {Ilias S. Kotsireas}, doi = {10.1145/2733693.2733718}, journal = {{ACM} Comm. Computer Algebra}, pages = {154}, title = {Message from the {SIGSAM} Chair}, url = {http://doi.acm.org/10.1145/2733693.2733718}, volume = {48}, year = {2014} }
@article{DBLP:journals/cca/Kotsireas14, author = {Ilias S. Kotsireas}, doi = {10.1145/2644288.2644296}, journal = {{ACM} Comm. Computer Algebra}, pages = {32}, title = {Message from the {SIGSAM} Chair}, url = {http://doi.acm.org/10.1145/2644288.2644296}, volume = {48}, year = {2014} }
@article{DBLP:journals/jocs/KotsireasKMS14, author = {Ilias S. Kotsireas and Lilia Krivodonova and Sabine McConnell and Erik Schnetter}, doi = {10.1016/j.jocs.2014.04.009}, journal = {J. Comput. Science}, pages = {497--498}, title = {High performance computing theory and applications - Proceedings of {SHARCNET} Research Day 2012 (Guelph, Ontario)}, url = {https://doi.org/10.1016/j.jocs.2014.04.009}, volume = {5}, year = {2014} }
@inproceedings{DBLP:conf/lion/KotsireasP14, author = {Ilias S. Kotsireas and Panos M. Pardalos}, booktitle = {Learning and Intelligent Optimization - 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers}, doi = {10.1007/978-3-319-09584-4_33}, editor = {Panos M. Pardalos and Mauricio G. C. Resende and Chrysafis Vogiatzis and Jose L. Walteros}, pages = {383--390}, publisher = {Springer}, title = {A New Existence Condition for Hadamard Matrices with Circulant Core}, url = {https://doi.org/10.1007/978-3-319-09584-4_33}, volume = {8426}, year = {2014} }
@article{DBLP:journals/heuristics/KotsireasP13, author = {Ilias S. Kotsireas and Panos M. Pardalos}, doi = {10.1007/s10732-011-9173-3}, journal = {J. Heuristics}, pages = {617--627}, title = {D-optimal matrices via quadratic integer optimization}, url = {https://doi.org/10.1007/s10732-011-9173-3}, volume = {19}, year = {2013} }
@article{DBLP:journals/jocs/TesdallJKM13, author = {Allen M. Tesdall and Jae{-}Hun Jung and Ilias S. Kotsireas and Roderick V. N. Melnik}, doi = {10.1016/j.jocs.2012.10.002}, journal = {J. Comput. Science}, pages = {1--2}, title = {Preface}, url = {https://doi.org/10.1016/j.jocs.2012.10.002}, volume = {4}, year = {2013} }
@article{DBLP:journals/tcs/KotsireasMPZ13, author = {Ilias S. Kotsireas and Bernard Mourrain and Victor Y. Pan and Lihong Zhi}, doi = {10.1016/j.tcs.2012.10.017}, journal = {Theor. Comput. Sci.}, pages = {1--3}, title = {Preface}, url = {https://doi.org/10.1016/j.tcs.2012.10.017}, volume = {479}, year = {2013} }
@incollection{DBLP:books/daglib/p/Kotsireas13, author = {Ilias S. Kotsireas}, booktitle = {Number Theory and Related Fields, In Memory of Alf van der Poorten}, doi = {10.1007/978-1-4614-6642-0_11}, editor = {Jonathan M. Borwein and Igor E. Shparlinski and Wadim Zudilin}, pages = {215--227}, publisher = {Springer}, title = {Structured Hadamard Conjecture}, url = {https://doi.org/10.1007/978-1-4614-6642-0_11}, year = {2013} }
@article{DBLP:journals/jco/KotsireasKPS12, author = {Ilias S. Kotsireas and Christos Koukouvinos and Panos M. Pardalos and Dimitris E. Simos}, doi = {10.1007/s10878-011-9404-4}, journal = {J. Comb. Optim.}, pages = {508--525}, title = {Competent genetic algorithms for weighing matrices}, url = {https://doi.org/10.1007/s10878-011-9404-4}, volume = {24}, year = {2012} }
@article{DBLP:journals/mics/KotsireasCM12, author = {Ilias S. Kotsireas and Irene Marquez Corbella and Edgar Mart{'{\i}}nez{-}Moro}, doi = {10.1007/s11786-012-0116-7}, journal = {Mathematics in Computer Science}, pages = {107--108}, title = {Foreword}, url = {https://doi.org/10.1007/s11786-012-0116-7}, volume = {6}, year = {2012} }
@article{DBLP:journals/ol/KotsireasKS12, author = {Ilias S. Kotsireas and Christos Koukouvinos and Jennifer Seberry}, doi = {10.1007/s11590-010-0264-0}, journal = {Optimization Letters}, pages = {211--217}, title = {New weighing matrices constructed from two circulant submatrices}, url = {https://doi.org/10.1007/s11590-010-0264-0}, volume = {6}, year = {2012} }
@inproceedings{DBLP:conf/ants/KotsireasPPV12, author = {Ilias S. Kotsireas and Konstantinos E. Parsopoulos and Grigoris S. Piperagkas and Michael N. Vrahatis}, booktitle = {Swarm Intelligence - 8th International Conference, {ANTS} 2012, Brussels, Belgium, September 12-14, 2012. Proceedings}, doi = {10.1007/978-3-642-32650-9_21}, editor = {Marco Dorigo and Mauro Birattari and Christian Blum and Anders Lyhne Christensen and Andries Petrus Engelbrecht and Roderich Gro{\ss} and Thomas St{"{u}}tzle}, pages = {220--227}, publisher = {Springer}, title = {Ant-Based Approaches for Solving Autocorrelation Problems}, url = {https://doi.org/10.1007/978-3-642-32650-9_21}, volume = {7461}, year = {2012} }
@article{DBLP:journals/cca/KotsireasZ11, author = {Ilias S. Kotsireas and Eugene V. Zima}, doi = {10.1145/2016567.2016576}, journal = {{ACM} Comm. Computer Algebra}, pages = {92--99}, title = {Abstracts of {WWCA} 2011 in honor of Herb Wilf's 80th birthday}, url = {http://doi.acm.org/10.1145/2016567.2016576}, volume = {45}, year = {2011} }
@article{DBLP:journals/informaticaLT/SyedKP11, author = {Mujahid N. Syed and Ilias S. Kotsireas and Panos M. Pardalos}, journal = {Informatica, Lith. Acad. Sci.}, pages = {577--587}, title = {D-Optimal Designs: {A} Mathematical Programming Approach Using Cyclotomic Cosets}, url = {http://content.iospress.com/articles/informatica/inf22-4-07}, volume = {22}, year = {2011} }
@article{DBLP:journals/jco/KotsireasKP11, author = {Ilias S. Kotsireas and Christos Koukouvinos and Panos M. Pardalos}, doi = {10.1007/s10878-010-9335-5}, journal = {J. Comb. Optim.}, pages = {873--881}, title = {A modified power spectral density test applied to weighing matrices with small weight}, url = {https://doi.org/10.1007/s10878-010-9335-5}, volume = {22}, year = {2011} }
@article{DBLP:journals/jsc/ArnoldKR11, author = {Elizabeth Arnold and Ilias S. Kotsireas and Markus Rosenkranz}, doi = {10.1016/j.jsc.2010.10.001}, journal = {J. Symb. Comput.}, pages = {495--497}, title = {Bruno Buchberger and the world of Gr{"{o}}bner bases}, url = {https://doi.org/10.1016/j.jsc.2010.10.001}, volume = {46}, year = {2011} }
@article{DBLP:journals/tcs/KotsireasMP11, author = {Ilias S. Kotsireas and Bernard Mourrain and Victor Y. Pan}, doi = {10.1016/j.tcs.2010.12.002}, journal = {Theor. Comput. Sci.}, pages = {1443--1444}, title = {Preface}, url = {https://doi.org/10.1016/j.tcs.2010.12.002}, volume = {412}, year = {2011} }
@article{DBLP:journals/ajc/ArasuKKS10, author = {K. T. Arasu and Ilias S. Kotsireas and Christos Koukouvinos and Jennifer Seberry}, journal = {Australasian J. Combinatorics}, pages = {43--52}, title = {On circulant and two-circulant weighing matrices}, url = {http://ajc.maths.uq.edu.au/pdf/48/ajc_v48_p043.pdf}, volume = {48}, year = {2010} }
@article{DBLP:journals/ajc/KotsireasKSS10, author = {Ilias S. Kotsireas and Christos Koukouvinos and Jennifer Seberry and Dimitris E. Simos}, journal = {Australasian J. Combinatorics}, pages = {67--78}, title = {New classes of orthogonal designs constructed from complementary sequences with given spread}, url = {http://ajc.maths.uq.edu.au/pdf/46/ajc_v46_p067.pdf}, volume = {46}, year = {2010} }
@article{DBLP:journals/jco/KotsireasKPS10, author = {Ilias S. Kotsireas and Christos Koukouvinos and Panos M. Pardalos and Oleg V. Shylo}, doi = {10.1007/s10878-008-9194-5}, journal = {J. Comb. Optim.}, pages = {63--75}, title = {Periodic complementary binary sequences and Combinatorial Optimization algorithms}, url = {https://doi.org/10.1007/s10878-008-9194-5}, volume = {20}, year = {2010} }
@article{DBLP:journals/ol/KotsireasKP10, author = {Ilias S. Kotsireas and Christos Koukouvinos and Panos M. Pardalos}, doi = {10.1007/s11590-009-0144-7}, journal = {Optimization Letters}, pages = {29--36}, title = {An efficient string sorting algorithm for weighing matrices of small weight}, url = {https://doi.org/10.1007/s11590-009-0144-7}, volume = {4}, year = {2010} }
@article{DBLP:journals/amco/KotsireasKS09, author = {Ilias S. Kotsireas and Christos Koukouvinos and Dimitris E. Simos}, doi = {10.3934/amc.2009.3.349}, journal = {Adv. in Math. of Comm.}, pages = {349--361}, title = {{MDS} and near-MDS self-dual codes over large prime fields}, url = {https://doi.org/10.3934/amc.2009.3.349}, volume = {3}, year = {2009} }
@article{DBLP:journals/jsc/CorlessGK09, author = {Robert M. Corless and Karin Gatermann and Ilias S. Kotsireas}, doi = {10.1016/j.jsc.2008.11.009}, journal = {J. Symb. Comput.}, pages = {1536--1550}, title = {Using symmetries in the eigenvalue method for polynomial systems}, url = {https://doi.org/10.1016/j.jsc.2008.11.009}, volume = {44}, year = {2009} }
@article{DBLP:journals/jsc/KotsireasK09, author = {Ilias S. Kotsireas and Christos Koukouvinos}, doi = {10.1016/j.jsc.2007.05.004}, journal = {J. Symb. Comput.}, pages = {271--279}, title = {Hadamard matrices of Williamson type: {A} challenge for Computer Algebra}, url = {https://doi.org/10.1016/j.jsc.2007.05.004}, volume = {44}, year = {2009} }
@proceedings{DBLP:conf/snc/2009, editor = {Hiroshi Kai and Hiroshi Sekigawa and Tateaki Sasaki and Kiyoshi Shirayanagi and Ilias S. Kotsireas}, publisher = {{ACM}}, title = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03 - 05, 2009}, url = {http://dl.acm.org/citation.cfm?id=1577190}, year = {2009} }
@article{DBLP:journals/ajc/KotsireasK08, author = {Ilias S. Kotsireas and Christos Koukouvinos}, journal = {Australasian J. Combinatorics}, pages = {235--248}, title = {New skew-Hadamard matrices via computational algebra}, url = {http://ajc.maths.uq.edu.au/pdf/41/ajc_v41_p235.pdf}, volume = {41}, year = {2008} }
@article{DBLP:journals/ajc/KotsireasKS08, author = {Ilias S. Kotsireas and Christos Koukouvinos and Jennifer Seberry}, journal = {Australasian J. Combinatorics}, pages = {99--104}, title = {New orthogonal designs from weighing matrices}, url = {http://ajc.maths.uq.edu.au/pdf/40/ajc_v40_p099.pdf}, volume = {40}, year = {2008} }
@article{DBLP:journals/mics/Kotsireas08, author = {Ilias S. Kotsireas}, doi = {10.1007/s11786-008-0041-y}, journal = {Mathematics in Computer Science}, pages = {439}, title = {Foreword}, url = {https://doi.org/10.1007/s11786-008-0041-y}, volume = {1}, year = {2008} }
@article{DBLP:journals/tcs/ChiarandiniKKP08, author = {Marco Chiarandini and Ilias S. Kotsireas and Christos Koukouvinos and Luis Paquete}, doi = {10.1016/j.tcs.2008.06.002}, journal = {Theor. Comput. Sci.}, pages = {274--277}, title = {Heuristic algorithms for Hadamard matrices with two circulant cores}, url = {https://doi.org/10.1016/j.tcs.2008.06.002}, volume = {407}, year = {2008} }
@article{DBLP:journals/ajc/KotsireasK07, author = {Ilias S. Kotsireas and Christos Koukouvinos}, journal = {Australasian J. Combinatorics}, pages = {39--48}, title = {Orthogonal designs of order 32 and 64 via computational algebra}, url = {http://ajc.maths.uq.edu.au/pdf/39/ajc_v39_p039.pdf}, volume = {39}, year = {2007} }
@article{DBLP:journals/cca/GiesbrechtKL07, author = {Mark Giesbrecht and Ilias S. Kotsireas and Austin Lobo}, doi = {10.1145/1296772.1296775}, journal = {{ACM} Comm. Computer Algebra}, pages = {38--72}, title = {{ISSAC} 2007 poster abstracts}, url = {http://doi.acm.org/10.1145/1296772.1296775}, volume = {41}, year = {2007} }
@inproceedings{DBLP:conf/issac/KotsireasK07, author = {Ilias S. Kotsireas and Christos Koukouvinos}, booktitle = {Parallel Symbolic Computation, {PASCO} 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada}, doi = {10.1145/1278177.1278194}, editor = {Marc Moreno Maza and Stephen M. Watt}, pages = {95--96}, publisher = {{ACM}}, title = {Inequivalent Hadamard matrices from orthogonal designs}, url = {http://doi.acm.org/10.1145/1278177.1278194}, year = {2007} }
@article{DBLP:journals/ajc/CousineauKK06, author = {Jason Cousineau and Ilias S. Kotsireas and Christos Koukouvinos}, journal = {Australasian J. Combinatorics}, pages = {263--272}, title = {Genetic algorithms for orthogonal designs}, url = {http://ajc.maths.uq.edu.au/pdf/35/ajc_v35_p263.pdf}, volume = {35}, year = {2006} }
@article{DBLP:journals/cca/KotsireasZ06, author = {Ilias S. Kotsireas and Eugene A. Zima}, doi = {10.1145/1182553.1182565}, journal = {{ACM} Comm. Computer Algebra}, pages = {52--59}, title = {{WWCA} 2006 abstracts}, url = {http://doi.acm.org/10.1145/1182553.1182565}, volume = {40}, year = {2006} }
@article{DBLP:journals/ejc/KotsireasKS06, author = {Ilias S. Kotsireas and Christos Koukouvinos and Jennifer Seberry}, doi = {10.1016/j.ejc.2005.03.004}, journal = {Eur. J. Comb.}, pages = {658--668}, title = {Hadamard ideals and Hadamard matrices with two circulant cores}, url = {https://doi.org/10.1016/j.ejc.2005.03.004}, volume = {27}, year = {2006} }
@article{DBLP:journals/jsc/KotsireasASW05, author = {Ilias S. Kotsireas and Alkiviadis G. Akritas and Stanly L. Steinberg and Michael J. Wester}, doi = {10.1016/j.jsc.2002.04.001}, journal = {J. Symb. Comput.}, pages = {1129--1130}, title = {Foreword to the special issue on Applications of computer algebra}, url = {https://doi.org/10.1016/j.jsc.2002.04.001}, volume = {40}, year = {2005} }
@inproceedings{DBLP:conf/hpcs/KotsireasP05, author = {Ilias S. Kotsireas and Gil Pinheiro}, booktitle = {19th Annual International Symposium on High Performance Computing Systems and Applications {(HPCS} 2005), 15-18 May 2005, Guelph, Ontario, Canada}, doi = {10.1109/HPCS.2005.9}, pages = {17--23}, publisher = {{IEEE} Computer Society}, title = {A Meta-Software System for the Discovery of Hadamard Matrices}, url = {https://doi.org/10.1109/HPCS.2005.9}, year = {2005} }
@article{DBLP:journals/cca/KotsireasV04, author = {Ilias S. Kotsireas and Emil J. Volcheck}, doi = {10.1145/1040034.1040041}, journal = {{ACM} {SIGSAM} Bulletin}, pages = {93--107}, title = {{ANTS} {VI:} algorithmic number theory symposium poster abstracts}, url = {http://doi.acm.org/10.1145/1040034.1040041}, volume = {38}, year = {2004} }
@article{DBLP:journals/ijbc/KotsireasK04, author = {Ilias S. Kotsireas and Kostas Karamanos}, doi = {10.1142/S0218127404010709}, journal = {I. J. Bifurcation and Chaos}, pages = {2417--2423}, title = {Exact Computation of the bifurcation Point B\({}_{\mbox{4}}\) of the logistic Map and the Bailey-broadhurst Conjectures}, url = {https://doi.org/10.1142/S0218127404010709}, volume = {14}, year = {2004} }
@article{DBLP:journals/cca/KotsireasLV03, author = {Ilias S. Kotsireas and Edmond Lau and Richard Voino}, doi = {10.1145/990353.990364}, journal = {{ACM} {SIGSAM} Bulletin}, pages = {78}, title = {Exact implicitization of polynomial curves and surfaces}, url = {http://doi.acm.org/10.1145/990353.990364}, volume = {37}, year = {2003} }
@inproceedings{DBLP:conf/dimacs/EmirisK03, author = {Ioannis Z. Emiris and Ilias S. Kotsireas}, booktitle = {Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing, Proceedings of a {DIMACS} Workshop, Piscataway, New Jersey, USA, October 7-9, 2003}, editor = {Ravi Janardan and Michiel H. M. Smid and Debasis Dutta}, pages = {281--298}, publisher = {{DIMACS/AMS}}, title = {Implicitization Exploiting Sparseness}, volume = {67}, year = {2003} }
@inproceedings{DBLP:conf/iccsa/EmirisK03, author = {Ioannis Z. Emiris and Ilias S. Kotsireas}, booktitle = {Computational Science and Its Applications - {ICCSA} 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part {III}}, doi = {10.1007/3-540-44842-X_41}, editor = {Vipin Kumar and Marina L. Gavrilova and Chih Jeng Kenneth Tan and Pierre L'Ecuyer}, pages = {397--406}, publisher = {Springer}, title = {Implicit Polynomial Support Optimized for Sparseness}, url = {https://doi.org/10.1007/3-540-44842-X_41}, volume = {2669}, year = {2003} }
@inproceedings{DBLP:conf/issac/CorlessGKW02, author = {Robert M. Corless and Andr{'{e}} Galligo and Ilias S. Kotsireas and Stephen M. Watt}, booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC} 2002, Lille, France, July 7-10, 2002, Proceedings}, doi = {10.1145/780506.780512}, editor = {Teo Mora}, pages = {37--45}, publisher = {{ACM}}, title = {A geometric-numeric algorithm for absolute factorization of multivariate polynomials}, url = {http://doi.acm.org/10.1145/780506.780512}, year = {2002} }
@article{DBLP:journals/cca/Kotsireas01, author = {Ilias S. Kotsireas}, doi = {10.1145/504331.504334}, journal = {{ACM} {SIGSAM} Bulletin}, pages = {19--32}, title = {Homotopies and polynomial system solving {I:} basic principles}, url = {http://doi.acm.org/10.1145/504331.504334}, volume = {35}, year = {2001} }
@inproceedings{DBLP:conf/issac/CorlessGHKW01, author = {Robert M. Corless and Mark Giesbrecht and Mark van Hoeij and Ilias S. Kotsireas and Stephen M. Watt}, booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western Ontario, London, Ontario, Canada, July 22-25, 2001}, doi = {10.1145/384101.384114}, editor = {Erich Kaltofen and Gilles Villard}, pages = {85--92}, publisher = {{ACM}}, title = {Towards factoring bivariate approximate polynomials}, url = {http://doi.acm.org/10.1145/384101.384114}, year = {2001} }
@inproceedings{DBLP:conf/aisc/CorlessGKW00, author = {Robert M. Corless and Mark Giesbrecht and Ilias S. Kotsireas and Stephen M. Watt}, booktitle = {Artificial Intelligence and Symbolic Computation, International Conference {AISC} 2000 Madrid, Spain, July 17-19, 2000, Revised Papers}, doi = {10.1007/3-540-44990-6_13}, editor = {John A. Campbell and Eugenio Roanes{-}Lozano}, pages = {174--183}, publisher = {Springer}, title = {Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra}, url = {https://doi.org/10.1007/3-540-44990-6_13}, volume = {1930}, year = {2000} }