| Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning | 0 | 0.34 | 2022 |
| Trace Semantics for Nondeterministic Probabilistic Automata via Determinization. | 0 | 0.34 | 2018 |
| Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (Invited Talk). | 0 | 0.34 | 2018 |
| On the discriminating power of passivation and higher-order interaction | 2 | 0.36 | 2014 |
