By Dr Zoltan Kocsis

Journal articles

Bumpus BM; Kocsis ZA, 2025, 'DEGREE of SATISFIABILITY in HEYTING ALGEBRAS', Journal of Symbolic Logic, 90, pp. 533 - 551, http://dx.doi.org/10.1017/jsl.2024.2

Kocsis ZA, 2025, 'Proof-theoretic methods in quantifier-free definability', Annals of Pure and Applied Logic, 176, http://dx.doi.org/10.1016/j.apal.2025.103555

Kocsis ZA, 2024, 'Apartness relations between propositions', Mathematical Logic Quarterly, 70, pp. 414 - 428, http://dx.doi.org/10.1002/malq.202300055

Bumpus BM; Kocsis ZA, 2023, 'Spined categories: Generalizing tree-width beyond graphs', European Journal of Combinatorics, 114, http://dx.doi.org/10.1016/j.ejc.2023.103794

Brownlee AEI; Swan J; Senington R; Kocsis ZA, 2020, 'Conflict-free routing of multi-stop warehouse trucks', Optimization Letters, 14, pp. 1459 - 1470, http://dx.doi.org/10.1007/s11590-019-01453-6

Swan J; Krawiec K; Kocsis ZA, 2019, 'Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire', Genetic Programming and Evolvable Machines, 20, pp. 327 - 350, http://dx.doi.org/10.1007/s10710-019-09347-3

Kocsis ZA; Swan J, 2018, 'Genetic Programming + Proof Search = Automatic Improvement', Journal of Automated Reasoning, 60, pp. 157 - 176, http://dx.doi.org/10.1007/s10817-017-9409-5

Conference Papers

Swan J; Krawiec K; Kocsis ZA, 2019, 'Stochastic program synthesis via recursion schemes', in Gecco 2019 Companion Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion, pp. 35 - 36, http://dx.doi.org/10.1145/3319619.3326758

Kocsis ZA; Drake JH; Carson D; Swan J, 2016, 'Automatic improvement of apache spark queries using semantics-preserving program reduction', in Gecco 2016 Companion Proceedings of the 2016 Genetic and Evolutionary Computation Conference, pp. 1141 - 1146, http://dx.doi.org/10.1145/2908961.2931692

Burles N; Swan J; Bowles E; Brownlee AEI; Kocsis ZA; Veerapen N, 2015, 'Embedded dynamic improvement', in Gecco 2015 Companion Publication of the 2015 Genetic and Evolutionary Computation Conference, pp. 831 - 832, http://dx.doi.org/10.1145/2739482.2768423

Kocsis ZA; Brownlee AEI; Swan J; Senington R, 2015, 'Haiku - A Scala combinator toolkit for semi-automated composition of metaheuristics', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 125 - 140, http://dx.doi.org/10.1007/978-3-319-22183-0_9

Burles N; Bowles E; Brownlee AEI; Kocsis ZA; Swan J; Veerapen N, 2015, 'Object-oriented genetic improvement for improved energy consumption in Google Guava', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 255 - 261, http://dx.doi.org/10.1007/978-3-319-22183-0_20

Kocsis ZA; Neumann G; Swan J; Epitropakis MG; Brownlee AEI; Haraldsson SO; Bowles E, 2014, 'Repairing and optimizing hadoop hashCode implementations', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 259 - 264

Swan J; Kocsis ZA; Lisitsa A, 2014, 'The 'representative' metaheuristic design pattern', in Gecco 2014 Companion Publication of the 2014 Genetic and Evolutionary Computation Conference, pp. 1435 - 1436, http://dx.doi.org/10.1145/2598394.2609842

Back to profile page