Processes Parametrised by an Algebraic Theory. - Todd Schmid; Wojciech Rozowski; Alexandra Silva 001; Jurriaan Rot (ICALP, 2022)

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. - Wojciech Rozowski; Tobias Kappé; Dexter Kozen; Todd Schmid; Alexandra Silva 001 (ICALP, 2023)

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. - Keri D'Angelo; Sebastian Gurke; Johanna Maria Kirss; Barbara König 001; Matina Najafi; Wojciech Rozowski; Paul Wild (CONCUR, 2024)

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions. - Wojciech Rozowski (ICALP, 2024)

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny. - Stefan Zetzsche; Wojciech Rozowski (ICTAC, 2024)

A Completeness Theorem for Probabilistic Regular Expressions. - Wojciech Rozowski; Alexandra Silva 001 (LICS, 2024)

Weighted GKAT: Completeness and Complexity. - Spencer Van Koevering; Wojciech Rozowski; Alexandra Silva 001 (ICALP, 2025)

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams. - Gabriele Lobbia; Wojciech Rozowski; Ralph Sarkis; Fabio Zanasi (MFCS, 2025)