Scholar
Wojciech Różowski
Google Scholar ID: 5v5fPJYAAAAJ
Lean FRO
Coalgebra
Programming Languages
Kleene Algebra
Semantics
Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
45
H-index
4
i10-index
1
Publications
11
Co-authors
0
Publications
1 items
A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
2026
Cited
0
