Back to
Dr Zoltan Kocsis

Dr Zoltan Kocsis

Adjunct Lecturer
Engineering
Computer Science and Engineering

Current research activities

 

 

Other work: see website
Location
Level 3, Building K17
  • Journal articles | 2025
    Bumpus BM; Kocsis ZA, 2025, 'DEGREE of SATISFIABILITY in HEYTING ALGEBRAS', Journal of Symbolic Logic, 90, pp. 533 - 551, http://dx.doi.org/10.1017/jsl.2024.2
    Journal articles | 2025
    Kocsis ZA, 2025, 'Proof-theoretic methods in quantifier-free definability', Annals of Pure and Applied Logic, 176, http://dx.doi.org/10.1016/j.apal.2025.103555
    Journal articles | 2024
    Kocsis ZA, 2024, 'Apartness relations between propositions', Mathematical Logic Quarterly, 70, pp. 414 - 428, http://dx.doi.org/10.1002/malq.202300055
    Journal articles | 2023
    Bumpus BM; Kocsis ZA, 2023, 'Spined categories: Generalizing tree-width beyond graphs', European Journal of Combinatorics, 114, http://dx.doi.org/10.1016/j.ejc.2023.103794
    Journal articles | 2020
    Brownlee AEI; Swan J; Senington R; Kocsis ZA, 2020, 'Conflict-free routing of multi-stop warehouse trucks', Optimization Letters, 14, pp. 1459 - 1470, http://dx.doi.org/10.1007/s11590-019-01453-6
    Journal articles | 2019
    Swan J; Krawiec K; Kocsis ZA, 2019, 'Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire', Genetic Programming and Evolvable Machines, 20, pp. 327 - 350, http://dx.doi.org/10.1007/s10710-019-09347-3
    Journal articles | 2018
    Kocsis ZA; Swan J, 2018, 'Genetic Programming + Proof Search = Automatic Improvement', Journal of Automated Reasoning, 60, pp. 157 - 176, http://dx.doi.org/10.1007/s10817-017-9409-5
  • Conference Papers | 2019
    Swan J; Krawiec K; Kocsis ZA, 2019, 'Stochastic program synthesis via recursion schemes', in Gecco 2019 Companion Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion, pp. 35 - 36, http://dx.doi.org/10.1145/3319619.3326758
    Conference Papers | 2016
    Kocsis ZA; Drake JH; Carson D; Swan J, 2016, 'Automatic improvement of apache spark queries using semantics-preserving program reduction', in Gecco 2016 Companion Proceedings of the 2016 Genetic and Evolutionary Computation Conference, pp. 1141 - 1146, http://dx.doi.org/10.1145/2908961.2931692
    Conference Papers | 2015
    Burles N; Bowles E; Brownlee AEI; Kocsis ZA; Swan J; Veerapen N, 2015, 'Object-oriented genetic improvement for improved energy consumption in Google Guava', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 255 - 261, http://dx.doi.org/10.1007/978-3-319-22183-0_20
    Conference Papers | 2015
    Burles N; Swan J; Bowles E; Brownlee AEI; Kocsis ZA; Veerapen N, 2015, 'Embedded dynamic improvement', in Gecco 2015 Companion Publication of the 2015 Genetic and Evolutionary Computation Conference, pp. 831 - 832, http://dx.doi.org/10.1145/2739482.2768423
    Conference Papers | 2015
    Kocsis ZA; Brownlee AEI; Swan J; Senington R, 2015, 'Haiku - A Scala combinator toolkit for semi-automated composition of metaheuristics', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 125 - 140, http://dx.doi.org/10.1007/978-3-319-22183-0_9
    Conference Papers | 2014
    Kocsis ZA; Neumann G; Swan J; Epitropakis MG; Brownlee AEI; Haraldsson SO; Bowles E, 2014, 'Repairing and optimizing hadoop hashCode implementations', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 259 - 264
    Conference Papers | 2014
    Swan J; Kocsis ZA; Lisitsa A, 2014, 'The 'representative' metaheuristic design pattern', in Gecco 2014 Companion Publication of the 2014 Genetic and Evolutionary Computation Conference, pp. 1435 - 1436, http://dx.doi.org/10.1145/2598394.2609842

  • CSIRO SCS Engineering and Technology award, for Translation Validation of seL4 on the RISC-V Architecture, May 2021, Sydney, Australia

  • IBM Prize, for Results on Degree of Satisfiability, MRSC 2018, September 2018, Manchester, UK