| 2026 | CONCUR | Threshold-Based Behavioural Distances. | Jonas Forster, Lutz Schrder, Paul Wild, Barbara Knig, Pedro Nora |
| 2026 | FOSSACS | Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich. | Paul Wild, Lutz Schrder, Karla Messing, Barbara Knig, Jonas Forster |
| 2025 | CSL | Quantitative Graded Semantics and Spectra of Behavioural Metrics. | Jonas Forster, Lutz Schrder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara Knig, Karla Messing |
| 2025 | FOSSACS | Relational Connectors and Heterogeneous Simulations. | Pedro Nora, Jurriaan Rot, Lutz Schrder, Paul Wild |
| 2025 | IJCAI | Non-expansive Fuzzy ALC. | Stefan Gebhart, Lutz Schrder, Paul Wild |
| 2025 | LICS | Conformance Games for Graded Semantics. | Jonas Forster, Lutz Schrder, Paul Wild |
| 2025 | LICS | Relators and Notions of Simulation Revisited. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2025 | LICS | Behavioural Conformances based on Lax Couplings. | Paul Wild, Lutz Schrder |
| 2025 | STACS | Identity-Preserving Lax Extensions and Where to Find Them. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2024 | CONCUR | Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. | Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara Knig, Matina Najafi, Wojciech Rozowski, Paul Wild |
| 2024 | STACS | Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. | Harsh Beohar, Sebastian Gurke, Barbara Knig, Karla Messing, Jonas Forster, Lutz Schrder, Paul Wild |
| 2023 | CSL | Quantitative Hennessy-Milner Theorems via Notions of Density. | Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2023 | FOSSACS | Kantorovich Functors and Characteristic Logics for Behavioural Distances. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2021 | FOSSACS | A Quantified Coalgebraic van Benthem Theorem. | Paul Wild, Lutz Schrder |
| 2020 | CONCUR | Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions. | Paul Wild, Lutz Schrder |
| 2019 | IJCAI | A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic. | Paul Wild, Lutz Schrder, Dirk Pattinson, Barbara Knig |
| 2018 | LICS | A van Benthem Theorem for Fuzzy Modal Logic. | Paul Wild, Lutz Schrder, Dirk Pattinson, Barbara Knig |
| 2017 | IJCAI | A Characterization Theorem for a Modal Description Logic. | Paul Wild, Lutz Schrder |