Wojciech Rozowski

16 papers A* 5B 2C 1Journal 8
YearRankTypeTitle / Venue / Authors
2025 B conf
Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams.
MFCS
Gabriele Lobbia, Wojciech Rozowski, Ralph Sarkis, Fabio Zanasi
2025 A* conf
Weighted GKAT: Completeness and Complexity.
ICALP
Spencer Van Koevering, Wojciech Rozowski, Alexandra Silva
2025 J jnl
Weighted GKAT: Completeness and Complexity.
CoRR
Spencer Van Koevering, Wojciech Rozowski, Alexandra Silva
2024 A* conf
A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions.
ICALP
Wojciech Rozowski
2024 J jnl
A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions.
CoRR
Wojciech Rozowski
2024 A* conf
A Completeness Theorem for Probabilistic Regular Expressions.
LICS
Wojciech Rozowski, Alexandra Silva
2024 B conf
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques.
CONCUR
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
2024 J jnl
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques.
CoRR
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
2024 J jnl
Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams.
CoRR
Gabriele Lobbia, Wojciech Rozowski, Ralph Sarkis, Fabio Zanasi
2024 C conf
Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny.
ICTAC
Stefan Zetzsche, Wojciech Rozowski
2024 J jnl
Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny.
CoRR
Stefan Zetzsche, Wojciech Rozowski
2023 J jnl
A Completeness Theorem for Probabilistic Regular Expressions.
CoRR
Wojciech Rozowski, Alexandra Silva
2023 A* conf
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity.
ICALP
Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
2023 J jnl
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity.
CoRR
Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
2022 A* conf
Processes Parametrised by an Algebraic Theory.
ICALP
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
2022 J jnl
Processes Parametrised by an Algebraic Theory.
CoRR
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot