Zoltan A. Kocsis

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

Collaborative distances:

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

2023

Spined categories: Generalizing tree-width beyond graphs.

Benjamin Merlin Bumpus, Zoltan A. Kocsis

Eur. J. Comb., December, 2023

Proof-theoretic methods in quantifier-free definability.

Zoltan A. Kocsis

CoRR, 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