A research agenda for metaheuristic standardization J Swan, S Adriaensen, M Bishr, EK Burke, JA Clark, P De Causmaecker, ... Proceedings of the XI metaheuristics international conference, 1-3, 2015 | 55 | 2015 |
Apartness relations between propositions ZA Kocsis arXiv preprint arXiv:2209.03920, 2022 | | 2022 |
Asymptotic genetic improvement programming via type functors and catamorphisms ZA Kocsis, J Swan Semantic GP Workshop, PPSN, 2014 | 13 | 2014 |
Automatic improvement of Apache Spark queries using semantics-preserving program reduction ZA Kocsis, JH Drake, D Carson, J Swan Proceedings of the 2016 on Genetic and Evolutionary Computation Conference …, 2016 | 16 | 2016 |
Conflict-free routing of multi-stop warehouse trucks AEI Brownlee, J Swan, R Senington, ZA Kocsis Optimization Letters 14, 1459-1470, 2020 | 1 | 2020 |
Datasets for the paper" Conflict-free routing of multi-stop warehouse trucks" AEI Brownlee, J Swan, R Senington, ZA Kocsis University of Stirling. Faculty of Natural Sciences., 2019 | | 2019 |
Degree of satisfiability in Heyting algebras BM Bumpus, ZA Kocsis The Journal of Symbolic Logic, 1-19, 2021 | 2 | 2021 |
Degree of Satisfiability in Heyting Algebras B Merlin Bumpus, ZA Kocsis arXiv e-prints, arXiv: 2110.11515, 2021 | | 2021 |
Degree of satisfiability of some special equations ZA Kocsis arXiv preprint arXiv:2002.01773, 2020 | 2 | 2020 |
Degree of satisfiabiltiy in (algebras related to) the intuitionistic propositional calculus ZA Kocsis CONSTRUCTIVE MATHEMATICS: FOUNDATION AND PRACTICE, 9, 2023 | | 2023 |
Dependency injection for programming by optimization ZA Kocsis, J Swan arXiv preprint arXiv:1707.04016, 2017 | 11 | 2017 |
Development of group theory in the language of internal set theory ZA Kocsis PQDT-Global, 2019 | 2 | 2019 |
Embedded dynamic improvement N Burles, J Swan, E Bowles, AEI Brownlee, ZA Kocsis, N Veerapen Proceedings of the Companion Publication of the 2015 Annual Conference on …, 2015 | 12 | 2015 |
Erratum: Repairing and Optimizing Hadoop hashCode Implementations ZA Kocsis, G Neumann, J Swan, MG Epitropakis, AEI Brownlee, ... Search-Based Software Engineering: 6th International Symposium, SSBSE 2014 …, 2014 | | 2014 |
Genetic Programming Proof Search Automatic Improvement ZA Kocsis, J Swan Journal of Automated Reasoning 60 (2), 157-176, 2018 | 16 | 2018 |
Haiku - a Scala Combinator Toolkit for Semi-automated Composition of Metaheuristics ZA Kocsis, AEI Brownlee, J Swan, R Senington Search-Based Software Engineering: 7th International Symposium, SSBSE 2015 …, 2015 | 4 | 2015 |
Mathematics and mathematics education in the 21st century A Borovik, Z Kocsis, V Kondratiev arXiv preprint arXiv:2201.08364, 2022 | 5 | 2022 |
Object-oriented genetic improvement for improved energy consumption in Google Guava N Burles, E Bowles, AEI Brownlee, ZA Kocsis, J Swan, N Veerapen Search-Based Software Engineering: 7th International Symposium, SSBSE 2015 …, 2015 | 34 | 2015 |
Proof-theoretic methods in quantifier-free definability ZA Kocsis arXiv preprint arXiv:2310.03640, 2023 | 1 | 2023 |
Repairing and Optimizing Hadoop hashCode Implementations ZA Kocsis, G Neumann, J Swan, MG Epitropakis, AEI Brownlee, ... Search-Based Software Engineering: 6th International Symposium, SSBSE 2014 …, 2014 | 17 | 2014 |