| 2022 | CONCUR | A Kleene Theorem for Higher-Dimensional Automata. | Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski |
| 2021 | FM | Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. | Simon Foster, Jonathan Julin Huerta y Munive, Mario Gleirscher, Georg Struth |
| 2019 | MPC | Cylindric Kleene Lattices for Program Construction. | Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Georg Struth |
| 2017 | CONCUR | On Decidability of Concurrent Kleene Algebra. | Paul Brunet, Damien Pous, Georg Struth |
| 2016 | FM | Modal Kleene Algebra Applied to Program Correctness. | Victor B. F. Gomes, Georg Struth |
| 2016 | ICTAC | Schedulers and Finishers: On Generating the Behaviours of an Event Structure. | Annabelle McIver, Tahiry M. Rabehaja, Georg Struth |
| 2015 | MPC | A Program Construction and Verification Tool for Separation Logic. | Brijesh Dongol, Victor B. F. Gomes, Georg Struth |
| 2014 | FM | Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. | Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |
| 2014 | SEFM | Lightweight Program Construction and Verification Tools in Isabelle/HOL. | Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |
| 2013 | ITP | Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL. | Alasdair Armstrong, Georg Struth, Tjark Weber |
| 2013 | LPAR | An Event Structure Model for Probabilistic Concurrent Kleene Algebra. | Annabelle McIver, Tahiry M. Rabehaja, Georg Struth |
| 2012 | CADE | Automated Analysis of Regular Algebra. | Simon Foster, Georg Struth |
| 2012 | ICTAC | Correctness of Object Oriented Models by Extended Type Inference. | Simon Foster, Ondrej Rypacek, Georg Struth |
| 2012 | MPC | Dependently Typed Programming Based on Automated Theorem Proving. | Alasdair Armstrong, Simon Foster, Georg Struth |
| 2011 | CONCUR | On Locality and the Exchange Law for Concurrent Processes. | C. A. R. Hoare, Akbar Hussain, Bernhard Mller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth |
| 2011 | ICFEM | Automating Algebraic Methods in Isabelle. | Walter Guttmann, Georg Struth, Tjark Weber |
| 2010 | MPC | On Automated Program Construction and Verification. | Rudolf Berghammer, Georg Struth |
| 2009 | CONCUR | Concurrent Kleene Algebra. | C. A. R. Hoare, Bernhard Mller, Georg Struth, Ian Wehrman |
| 2008 | CADE | On Automating the Calculus of Relations. | Peter Hfner, Georg Struth |
| 2008 | MPC | Modal Semirings Revisited. | Jules Desharnais, Georg Struth |
| 2007 | CADE | Automated Reasoning in Kleene Algebra. | Peter Hfner, Georg Struth |
| 2006 | MPC | Constructing Rewrite-Based Decision Procedures for Embeddings and Termination. | Georg Struth |
| 2004 | SEFM | Automated Element-Wise Reasoning with Sets. | Georg Struth |
| 2003 | ICFEM | A Calculus for Set-Based Program Development. | Georg Struth |