The 'representative' metaheuristic design pattern. - Jerry Swan; Zoltan A. Kocsis; Alexei Lisitsa 001 (GECCO (Companion), 2014)

Repairing and Optimizing Hadoop hashCode Implementations. - Zoltan A. Kocsis; Geoffrey Neumann; Jerry Swan; Michael G. Epitropakis; Alexander E. I. Brownlee; Saemundur O. Haraldsson; Edward Bowles (SSBSE, 2014)

Embedded Dynamic Improvement. - Nathan Burles; Jerry Swan; Edward Bowles; Alexander E. I. Brownlee; Zoltan A. Kocsis; Nadarajen Veerapen (GECCO (Companion), 2015)

Object-Oriented Genetic Improvement for Improved Energy Consumption in Google Guava. - Nathan Burles; Edward Bowles; Alexander E. I. Brownlee; Zoltan A. Kocsis; Jerry Swan; Nadarajen Veerapen (SSBSE, 2015)

Haiku - a Scala Combinator Toolkit for Semi-automated Composition of Metaheuristics. - Zoltan A. Kocsis; Alexander E. I. Brownlee; Jerry Swan; Richard Senington (SSBSE, 2015)

Automatic Improvement of Apache Spark Queries using Semantics-preserving Program Reduction. - Zoltan A. Kocsis; John H. Drake; Douglas Carson; Jerry Swan (GECCO (Companion), 2016)

Dependency Injection for Programming by Optimization. - Zoltan A. Kocsis; Jerry Swan (CoRR, 2017)

Genetic Programming + Proof Search = Automatic Improvement. - Zoltan A. Kocsis; Jerry Swan (J. Autom. Reason., 2018)

Stochastic program synthesis via recursion schemes. - Jerry Swan; Krzysztof Krawiec; Zoltan A. Kocsis (GECCO (Companion), 2019)

Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire. - Jerry Swan; Krzysztof Krawiec; Zoltan A. Kocsis (Genet. Program. Evolvable Mach., 2019)

Conflict-free routing of multi-stop warehouse trucks. - Alexander E. I. Brownlee; Jerry Swan; Richard Senington; Zoltan A. Kocsis (Optim. Lett., 2020)

Structured Decompositions: Structural and Algorithmic Compositionality. - Benjamin Merlin Bumpus; Zoltan A. Kocsis; Jade Edenstar Master (CoRR, 2022)

Apartness relations between propositions. - Zoltan A. Kocsis (CoRR, 2022)

Spined categories: Generalizing tree-width beyond graphs. - Benjamin Merlin Bumpus; Zoltan A. Kocsis (Eur. J. Comb., 2023)

Proof-theoretic methods in quantifier-free definability. - Zoltan A. Kocsis (Ann. Pure Appl. Log., 2025)

Degree of Satisfiability in Heyting Algebras. - Benjamin Merlin Bumpus; Zoltan A. Kocsis (J. Symb. Log., 2025)