| Event structure semantics of (controlled) reversible CCS E Graversen, I Phillips, N Yoshida Journal of Logical and Algebraic Methods in Programming 121, 100686, 2021 | 33 | 2021 |
| Functional choreographic programming L Cruz-Filipe, E Graversen, L Lugović, F Montesi, M Peressotti International Colloquium on Theoretical Aspects of Computing, 212-237, 2022 | 12 | 2022 |
| Towards a categorical representation of reversible event structures E Graversen, I Phillips, N Yoshida Journal of Logical and Algebraic Methods in Programming 104, 16-59, 2019 | 11 | 2019 |
| Towards a categorical representation of reversible event structures E Graversen, I Phillips, N Yoshida arXiv preprint arXiv:1704.03099, 2017 | 9 | 2017 |
| Alice or Bob?: Process polymorphism in choreographies E Graversen, AK Hirsch, F Montesi Journal of Functional Programming 34, e1, 2024 | 7 | 2024 |
| Modular compilation for higher-order functional choreographies L Cruz-Filipe, E Graversen, L Lugović, F Montesi, M Peressotti 37th European Conference on Object-Oriented Programming, ECOOP 2023, 7, 2023 | 6 | 2023 |
| Event structure semantics of reversible process calculi E Graversen Imperial College London, 2021 | 5 | 2021 |
| Type Inference for Session Types in the-calculus EF Graversen, JB Harbo, H Hüttel, MO Bjerregaard, NS Poulsen, S Wahl International Workshop on Web Services and Formal Methods, 103-121, 2014 | 5 | 2014 |
| Reasoning about choreographic programs L Cruz-Filipe, E Graversen, F Montesi, M Peressotti International Conference on Coordination Languages and Models, 144-162, 2023 | 4 | 2023 |
| Event structures for the reversible early internal π-calculus E Graversen, I Phillips, N Yoshida Journal of Logical and Algebraic Methods in Programming 124, 100720, 2022 | 4 | 2022 |
| Choreographies as Functions L Cruz-Filipe, E Graversen, L Lugović, F Montesi, M Peressotti arXiv preprint arxiv:2111.03701, 2021 | 3 | 2021 |
| Journal of Logical and Algebraic Methods in Programming E Graversen, I Phillips, N Yoshida | | 2019 |
| 2018 Imperial College Computing Student Workshop (ICCSW 2018) E Pirovano, E Graversen Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019 | | 2019 |
| OASIcs, Volume 66, ICCSW'18, Complete Volume E Pirovano, E Graversen 2018 Imperial College Computing Student Workshop (ICCSW 2018), 2019 | | 2019 |
| 2018 Imperial College Computing Student Workshop E Pirovano, E Graversen | | 2019 |
| Design, Definition and Implementation of Programming Languages MO Bjerregaard, JE Gydesen, EF Graversen, S Jespersen, NB Nielsen | | 2013 |
| Event Structures for the Reversible Early Internal [... formula...]-Calculus E Graversen, I Phillips, N Yoshida Reversible Computation 12227, 71, 0 | | |
| Generic type inference for the ψ-calculi EF Graversen, MO Bjerregaard | | |
