| 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 | 58 | 2015 |
| 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 | 35 | 2015 |
| Genetic Programming Proof Search Automatic Improvement ZA Kocsis, J Swan Journal of Automated Reasoning 60 (2), 157-176, 2018 | 17 | 2018 |
| 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 | 17 | 2016 |
| 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 |
| Asymptotic genetic improvement programming via type functors and catamorphisms ZA Kocsis, J Swan Semantic GP Workshop, PPSN, 2014 | 13 | 2014 |
| Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire J Swan, K Krawiec, ZA Kocsis Genetic Programming and Evolvable Machines 20, 327-350, 2019 | 12 | 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 |
| Dependency injection for programming by optimization ZA Kocsis, J Swan arXiv preprint arXiv:1707.04016, 2017 | 11 | 2017 |
| Structured decompositions: Structural and algorithmic compositionality BM Bumpus, ZA Kocsis, JE Master arXiv preprint arXiv:2207.06091, 2022 | 9 | 2022 |
| Mathematics and mathematics education in the 21st century A Borovik, Z Kocsis, V Kondratiev arXiv preprint arXiv:2201.08364, 2022 | 6 | 2022 |
| Spined categories: generalizing tree-width beyond graphs BM Bumpus, ZA Kocsis European Journal of Combinatorics 114, 103794, 2023 | 5 | 2023 |
| 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 |
| Stochastic program synthesis via recursion schemes J Swan, K Krawiec, ZA Kocsis Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2019 | 3 | 2019 |
| The'representative'metaheuristic design pattern J Swan, ZA Kocsis, A Lisitsa Proceedings of the Companion Publication of the 2014 Annual Conference on …, 2014 | 3 | 2014 |
| Proof-theoretic methods in quantifier-free definability ZA Kocsis Annals of Pure and Applied Logic, 103555, 2025 | 2 | 2025 |
| Degree of satisfiability in Heyting algebras BM Bumpus, ZA Kocsis The Journal of Symbolic Logic, 1-19, 2021 | 2 | 2021 |
| Degree of satisfiability of some special equations ZA Kocsis arXiv preprint arXiv:2002.01773, 2020 | 2 | 2020 |
| Development of group theory in the language of internal set theory ZA Kocsis PQDT-Global, 2019 | 2 | 2019 |
| Treewidth via Spined Categories ZA Kocsis, BM Bumpus arXiv preprint arXiv:2105.05372, 2021 | 1 | 2021 |