Zoltan A. Kocsis

According to our database, Zoltan A. Kocsis authored at least 17 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.

Matthew Bolan, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, Andrés Goens, Aaron Hill, Harald Husum, Hernán Ibarra Mejia, Zoltan A. Kocsis, Bruno Le Floch, Amir Livne Bar-on, Lorenzo Luccioli, Douglas McNeil, Alex Meiburg, Pietro Monticone, Pace P. Nielsen, Emmanuel Osalotioman Osazuwa, Giovanni Paolini, Marco Petracci, Bernhard Reinke, David Renshaw, Marcus Rossel, Cody Roux, Jérémy Scanvic, Shreyas Srinivas, Anand Rao Tadipatri, Terence Tao, Vlad Tsyrklevich, Fernando Vaquerizo-Villar, Daniel Weber, Fan Zheng

CoRR, December, 2025

Degree of Satisfiability in Heyting Algebras.

Benjamin Merlin Bumpus, Zoltan A. Kocsis

J. Symb. Log., 2025

Proof-theoretic methods in quantifier-free definability.

Zoltan A. Kocsis

Ann. Pure Appl. Log., 2025

2023

Spined categories: Generalizing tree-width beyond graphs.

Benjamin Merlin Bumpus, Zoltan A. Kocsis

Eur. J. Comb., December, 2023

2022

Apartness relations between propositions.

Zoltan A. Kocsis

CoRR, 2022

Structured Decompositions: Structural and Algorithmic Compositionality.

Benjamin Merlin Bumpus, Zoltan A. Kocsis, Jade Edenstar Master

CoRR, 2022

2020

Conflict-free routing of multi-stop warehouse trucks.

Alexander E. I. Brownlee, Jerry Swan, Richard Senington, Zoltan A. Kocsis

Optim. Lett., 2020

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

Stochastic program synthesis via recursion schemes.

Jerry Swan, Krzysztof Krawiec, Zoltan A. Kocsis

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019

2018

Genetic Programming + Proof Search = Automatic Improvement.

Zoltan A. Kocsis, Jerry Swan

J. Autom. Reason., 2018

2017

Dependency Injection for Programming by Optimization.

Zoltan A. Kocsis, Jerry Swan

CoRR, 2017

2016

Automatic Improvement of Apache Spark Queries using Semantics-preserving Program Reduction.

Zoltan A. Kocsis, John H. Drake, Douglas Carson, Jerry Swan

Proceedings of the Genetic and Evolutionary Computation Conference, 2016

2015

Haiku - a Scala Combinator Toolkit for Semi-automated Composition of Metaheuristics.

Zoltan A. Kocsis, Alexander E. I. Brownlee, Jerry Swan, Richard Senington

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 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

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Embedded Dynamic Improvement.

Nathan Burles, Jerry Swan, Edward Bowles, Alexander E. I. Brownlee, Zoltan A. Kocsis, Nadarajen Veerapen

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

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

Proceedings of the Search-Based Software Engineering - 6th International Symposium, 2014

The 'representative' metaheuristic design pattern.

Jerry Swan, Zoltan A. Kocsis, Alexei Lisitsa

Proceedings of the Genetic and Evolutionary Computation Conference, 2014