Zoltan A. Kocsis

19 papers B 3Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Degree of Satisfiability in Heyting Algebras.
J. Symb. Log.
Benjamin Merlin Bumpus, Zoltan A. Kocsis
2025 J jnl
Proof-theoretic methods in quantifier-free definability.
Ann. Pure Appl. Log.
Zoltan A. Kocsis
2025 J jnl
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.
CoRR
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
2023 J jnl
Proof-theoretic methods in quantifier-free definability.
CoRR
Zoltan A. Kocsis
2023 J jnl
Spined categories: Generalizing tree-width beyond graphs.
Eur. J. Comb.
Benjamin Merlin Bumpus, Zoltan A. Kocsis
2022 J jnl
Apartness relations between propositions.
CoRR
Zoltan A. Kocsis
2022 J jnl
Structured Decompositions: Structural and Algorithmic Compositionality.
CoRR
Benjamin Merlin Bumpus, Zoltan A. Kocsis, Jade Edenstar Master
2021 J jnl
Spined categories: generalizing tree-width beyond graphs.
CoRR
Benjamin Merlin Bumpus, Zoltan A. Kocsis
2020 J jnl
Conflict-free routing of multi-stop warehouse trucks.
Optim. Lett.
Alexander E. I. Brownlee, Jerry Swan, Richard Senington, Zoltan A. Kocsis
2019 — conf
Stochastic program synthesis via recursion schemes.
GECCO (Companion)
Jerry Swan, Krzysztof Krawiec, Zoltan A. Kocsis
2019 J jnl
Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire.
Genet. Program. Evolvable Mach.
Jerry Swan, Krzysztof Krawiec, Zoltan A. Kocsis
2018 J jnl
Genetic Programming + Proof Search = Automatic Improvement.
J. Autom. Reason.
Zoltan A. Kocsis, Jerry Swan
2017 J jnl
Dependency Injection for Programming by Optimization.
CoRR
Zoltan A. Kocsis, Jerry Swan
2016 — conf
Automatic Improvement of Apache Spark Queries using Semantics-preserving Program Reduction.
GECCO (Companion)
Zoltan A. Kocsis, John H. Drake, Douglas Carson, Jerry Swan
2015 — conf
Embedded Dynamic Improvement.
GECCO (Companion)
Nathan Burles, Jerry Swan, Edward Bowles, Alexander E. I. Brownlee, Zoltan A. Kocsis, Nadarajen Veerapen
2015 B conf
Haiku - a Scala Combinator Toolkit for Semi-automated Composition of Metaheuristics.
SSBSE
Zoltan A. Kocsis, Alexander E. I. Brownlee, Jerry Swan, Richard Senington
2015 B conf
Object-Oriented Genetic Improvement for Improved Energy Consumption in Google Guava.
SSBSE
Nathan Burles, Edward Bowles, Alexander E. I. Brownlee, Zoltan A. Kocsis, Jerry Swan, Nadarajen Veerapen
2014 B conf
Repairing and Optimizing Hadoop hashCode Implementations.
SSBSE
Zoltan A. Kocsis, Geoffrey Neumann, Jerry Swan, Michael G. Epitropakis, Alexander E. I. Brownlee, Saemundur O. Haraldsson, Edward Bowles
2014 — conf
The 'representative' metaheuristic design pattern.
GECCO (Companion)
Jerry Swan, Zoltan A. Kocsis, Alexei Lisitsa