| Minimal Session Types A Arslanagic, JA Pérez, E Voogd 33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019 | 14 | 2019 |
| Symbolic semantics for probabilistic programs E Voogd, EB Johnsen, A Silva, ZJ Susag, A Wąsowski International Conference on Quantitative Evaluation of Systems, 329-345, 2023 | 5 | 2023 |
| Minimal session types (extended version) A Arslanagić, JA Pérez, E Voogd arXiv preprint arXiv:1906.03836, 2019 | 2 | 2019 |
| Minimal Session Types (Artifact) A Arslanagić, JA Pérez, E Voogd Proceedings of the Special Issue of the 33rd European Conference on Object …, 2019 | 1 | 2019 |
| Towards a Proof System for Probabilistic Dynamic Logic E Broch Johnsen, E Kamburjan, R Pardo, E Voogd, A Wąsowski arXiv e-prints, arXiv: 2412.00906, 2024 | | 2024 |
| Towards a Proof System for Probabilistic Dynamic Logic EB Johnsen, E Kamburjan, R Pardo, E Voogd, A Wąsowski Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024 | | 2024 |
| Correct and Complete Symbolic Execution for Free E Voogd, EB Johnsen, ÅAA Kløvstad, J Rot, A Silva International Conference on Integrated Formal Methods, 237-255, 2024 | | 2024 |
| Joint Distributions in Probabilistic Semantics D Kozen, A Silva, E Voogd Electronic Notes in Theoretical Informatics and Computer Science 3, 2023 | | 2023 |
| Denotational Semantics for Symbolic Execution E Voogd, ÅAA Kløvstad, EB Johnsen International Colloquium on Theoretical Aspects of Computing, 370-387, 2023 | | 2023 |
| Check for updates Denotational Semantics for Symbolic Execution E Voogd, ÅAA Kløvstad Theoretical Aspects of Computing–ICTAC 2023: 20th International Colloquium …, 2023 | | 2023 |
| Symbolic Semantics for Probabilistic Programs (extended version) E Voogd, EB Johnsen, A Silva, ZJ Susag, A Wąsowski arXiv preprint arXiv:2307.09951, 2023 | | 2023 |
| Comparing Formats for Name-Passing Process Calculi E Voogd, JCJ Rot | | 2021 |
| Minimal Session Types A Arslanagić, JA Pérez, E Voogd arXiv preprint arXiv:1906.03836, 2019 | | 2019 |
| 33rd European Conference on Object-Oriented Programming (ECOOP 2019) S Meier, S Mover, BYE Chang, K Fernandez-Reyes, D Clarke, L Henrio, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019 | | 2019 |
| Minimal Session Types E Voogd | | 2018 |
| Verifying LTL Specifications for Discrete-Time Dynamical Systems E Voogd | | 2018 |
