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
53 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
32 2015 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 Genetic Programming Proof Search Automatic Improvement ZA Kocsis, J Swan
Journal of Automated Reasoning 60 (2), 157-176, 2018
16 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
16 2016 Asymptotic genetic improvement programming via type functors and catamorphisms ZA Kocsis, J Swan
Semantic GP Workshop, PPSN, 2014
13 2014 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 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
6 2019 Structured decompositions: Structural and algorithmic compositionality BM Bumpus, ZA Kocsis, JE Master
arXiv preprint arXiv:2207.06091, 2022
5 2022 Mathematics and mathematics education in the 21st century A Borovik, Z Kocsis, V Kondratiev
arXiv preprint arXiv:2201.08364, 2022
5 2022 Spined categories: generalizing tree-width beyond graphs BM Bumpus, ZA Kocsis
arXiv preprint arXiv:2104.01841, 2021
4 2021 Haiku - a Scala Combinator Toolkit for Semi-automated Composition of MetaheuristicsZA Kocsis, AEI Brownlee, J Swan, R Senington
Search-Based Software Engineering: 7th International Symposium, SSBSE 2015 …, 2015
4 2015 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 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 Proof-theoretic methods in quantifier-free definability ZA Kocsis
arXiv preprint arXiv:2310.03640, 2023
1 2023 Treewidth via Spined Categories ZA Kocsis, BM Bumpus
arXiv preprint arXiv:2105.05372, 2021
1 2021 Degree of satisfiability in Heyting algebras BM Bumpus, ZA Kocsis
The Journal of Symbolic Logic, 1-20, 2021
1 2021 Conflict-free routing of multi-stop warehouse trucks AEI Brownlee, J Swan, R Senington, ZA Kocsis
Optimization Letters 14, 1459-1470, 2020
1 2020