Zoltan A. Kocsis

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 14

Top Topics

Energy Consumption

Top Venues

GECCO (Companion)

Genet. Program. Evolvable Mach.

Publications

Zoltan A. Kocsis
Proof-theoretic methods in quantifier-free definability. CoRR (2023)
Benjamin Merlin Bumpus, Zoltan A. Kocsis
Spined categories: Generalizing tree-width beyond graphs. Eur. J. Comb. 114 (2023)
Benjamin Merlin Bumpus, Zoltan A. Kocsis, Jade Edenstar Master
Structured Decompositions: Structural and Algorithmic Compositionality. CoRR (2022)
Zoltan A. Kocsis
Apartness relations between propositions. CoRR (2022)
Benjamin Merlin Bumpus, Zoltan A. Kocsis
Spined categories: generalizing tree-width beyond graphs. CoRR (2021)
Alexander E. I. Brownlee, Jerry Swan, Richard Senington, Zoltan A. Kocsis
Conflict-free routing of multi-stop warehouse trucks. Optim. Lett. 14 (6) (2020)
Jerry Swan, Krzysztof Krawiec, Zoltan A. Kocsis
Stochastic program synthesis via recursion schemes. GECCO (Companion) (2019)
Jerry Swan, Krzysztof Krawiec, Zoltan A. Kocsis
Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire. Genet. Program. Evolvable Mach. 20 (3) (2019)
Zoltan A. Kocsis, Jerry Swan
Genetic Programming + Proof Search = Automatic Improvement. J. Autom. Reason. 60 (2) (2018)
Zoltan A. Kocsis, Jerry Swan
Dependency Injection for Programming by Optimization. CoRR (2017)
Zoltan A. Kocsis, John H. Drake, Douglas Carson, Jerry Swan
Automatic Improvement of Apache Spark Queries using Semantics-preserving Program Reduction. GECCO (Companion) (2016)
Zoltan A. Kocsis, Alexander E. I. Brownlee, Jerry Swan, Richard Senington
Haiku - a Scala Combinator Toolkit for Semi-automated Composition of Metaheuristics. SSBSE (2015)
Nathan Burles, Jerry Swan, Edward Bowles, Alexander E. I. Brownlee, Zoltan A. Kocsis, Nadarajen Veerapen
Embedded Dynamic Improvement. GECCO (Companion) (2015)
Nathan Burles, Edward Bowles, Alexander E. I. Brownlee, Zoltan A. Kocsis, Jerry Swan, Nadarajen Veerapen
Object-Oriented Genetic Improvement for Improved Energy Consumption in Google Guava. SSBSE (2015)
Jerry Swan, Zoltan A. Kocsis, Alexei Lisitsa
The 'representative' metaheuristic design pattern. GECCO (Companion) (2014)
Zoltan A. Kocsis, Geoffrey Neumann, Jerry Swan, Michael G. Epitropakis, Alexander E. I. Brownlee, Saemundur O. Haraldsson, Edward Bowles
Repairing and Optimizing Hadoop hashCode Implementations. SSBSE (2014)