Wojciech Rozowski

According to our database, Wojciech Rozowski authored at least 7 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams.

Gabriele Lobbia, Wojciech Rozowski, Ralph Sarkis, Fabio Zanasi

CoRR, 2024

A Completeness Theorem for Probabilistic Regular Expressions.

Wojciech Rozowski, Alexandra Silva

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny.

Stefan Zetzsche, Wojciech Rozowski

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions.

Wojciech Rozowski

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

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, Matina Najafi, Wojciech Rozowski, Paul Wild

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity.

Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022

Processes Parametrised by an Algebraic Theory.

Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022