Wojciech Różowski

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams	2024	Gabriele Lobbia Wojciech Różowski Ralph Sarkis Fabio Zanasi
+ PDF Chat	Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny	2024	Stefan Zetzsche Wojciech Różowski
+ PDF Chat	A Completeness Theorem for Probabilistic Regular Expressions	2024	Wojciech Różowski Alexandra Silva
+	Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity	2023	Wojciech Różowski Tobias Kappé Dexter Kozen Todd Schmid Alexandra Silva
+	A Completeness Theorem for Probabilistic Regular Expressions	2023	Wojciech Różowski Alexandra Silva
+	Processes Parametrised by an Algebraic Theory	2022	Todd Schmid Wojciech Różowski Alexandra Silva Jurriaan Rot

Common Coauthors

Coauthor	Papers Together
Alexandra Silva	4
Todd Schmid	2
Fabio Zanasi	1
Ralph Sarkis	1
Stefan Zetzsche	1
Tobias Kappé	1
Gabriele Lobbia	1
Dexter Kozen	1
Jurriaan Rot	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	A complete system of B-rational identities	2005	Daniel Krob	1
+	Locally Presentable and Accessible Categories	1994	J. Adámek J. Rosicky	1
+ PDF Chat	Congruences of convex algebras	2014	Ana Sokolova Harald Woracek	1
+	Iterative algebras at work	2006	Jiřı́ Adámek Stefan Milius Jiřı́ Velebil	1
+ PDF Chat	Une remarque sur les systèmes complets d'identités rationnelles	1990	Maurice Boffa	1
+ PDF Chat	Quantitative Algebraic Reasoning	2016	Radu Mardare Prakash Panangaden Gordon Plotkin	1
+	The Power of Convex Algebras	2017	Filippo Bonchi Alexandra Silva Ana Sokolova	1
+	A new foundation for finitary corecursion and iterative algebras	2019	Stefan Milius Dirk Pattinson Thorsten Wißmann	1
+ PDF Chat	On Star Expressions and Completeness Theorems	2021	Todd Schmid Jurriaan Rot Alexandra Silva	1
+ PDF Chat	Steps and traces	2021	Jurriaan Rot Bart Jacobs Paul Blain Levy	1
+ PDF Chat	A Completeness Theorem for Probabilistic Regular Expressions	2024	Wojciech Różowski Alexandra Silva	1