| 2026 | ICALP | A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes. | Wojciech Rozowski, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2025 | ICALP | Weighted GKAT: Completeness and Complexity. | Spencer Van Koevering, Wojciech Rozowski, Alexandra Silva |
| 2025 | MFCS | Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams. | Gabriele Lobbia, Wojciech Rozowski, Ralph Sarkis, Fabio Zanasi |
| 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 | ICALP | A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions. | Wojciech Rozowski |
| 2024 | ICTAC | Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny. | Stefan Zetzsche, Wojciech Rozowski |
| 2024 | LICS | A Completeness Theorem for Probabilistic Regular Expressions. | Wojciech Rozowski, Alexandra Silva |
| 2023 | ICALP | Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. | Wojciech Rozowski, Tobias Kapp, Dexter Kozen, Todd Schmid, Alexandra Silva |
| 2022 | ICALP | Processes Parametrised by an Algebraic Theory. | Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot |