| 2021 | DIAGRAMS | Natural Deduction for Intuitionistic Euler-Venn Diagrams. | Sven Linker |
| 2021 | MFCS | Finite Models for a Spatial Logic with Discrete and Topological Path Operators. | Sven Linker, Fabio Papacchini, Michele Sevegnani |
| 2020 | DIAGRAMS | Intuitionistic Euler-Venn Diagrams. | Sven Linker |
| 2020 | MFCS | Analysing Spatial Properties on Neighbourhood Spaces. | Sven Linker, Fabio Papacchini, Michele Sevegnani |
| 2018 | DIAGRAMS | Sequent Calculus for Euler Diagrams. | Sven Linker |
| 2018 | ICFEM | The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. | Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher |
| 2017 | IFM | Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL. | Sven Linker |
| 2016 | DIAGRAMS | Measuring User Comprehension of Inference Rules in Euler Diagrams. | Sven Linker, Jim Burton, Andrew Blake |
| 2015 | SETTA | Synthesizing Controllers for Multi-lane Traffic Maneuvers. | Gregor von Bochmann, Martin Hilscher, Sven Linker, Ernst-Rdiger Olderog |
| 2013 | ICTAC | Proof Theory of a Multi-Lane Spatial Logic. | Sven Linker, Martin Hilscher |
| 2011 | ICFEM | An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. | Martin Hilscher, Sven Linker, Ernst-Rdiger Olderog, Anders P. Ravn |
| 2010 | DIAGRAMS | Diagrammatic Specification of Mobile Real-Time Systems. | Sven Linker |