Wojciech Rozowski

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 10

Top Topics

Elastic Registration

Deterministic Finite Automata

Semistructured Data

Regular Expressions

Top Venues

Publications

Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. CONCUR (2024)
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. CoRR (2024)
Wojciech Rozowski
A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions. CoRR (2024)
Wojciech Rozowski, Alexandra Silva
A Completeness Theorem for Probabilistic Regular Expressions. LICS (2024)
Wojciech Rozowski
A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions. ICALP (2024)
Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. ICALP (2023)
Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. CoRR (2023)
Wojciech Rozowski, Alexandra Silva
A Completeness Theorem for Probabilistic Regular Expressions. CoRR (2023)
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
Processes Parametrised by an Algebraic Theory. ICALP (2022)
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
Processes Parametrised by an Algebraic Theory. CoRR (2022)