| Event structure semantics of (controlled) reversible CCS E Graversen, I Phillips, N Yoshida Journal of Logical and Algebraic Methods in Programming 121, 100686, 2021 | 35 | 2021 |
| 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 | 14 | 2019 |
| Functional choreographic programming L Cruz-Filipe, E Graversen, L Lugović, F Montesi, M Peressotti International Colloquium on Theoretical Aspects of Computing, 212-237, 2022 | 13 | 2022 |
| Alice or Bob?: Process polymorphism in choreographies E Graversen, AK Hirsch, F Montesi Journal of Functional Programming 34, e1, 2024 | 9 | 2024 |
| Towards a categorical representation of reversible event structures E Graversen, I Phillips, N Yoshida arXiv preprint arXiv:1704.03099, 2017 | 9 | 2017 |
| 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 | 8 | 2023 |
| Reasoning about choreographic programs L Cruz-Filipe, E Graversen, F Montesi, M Peressotti International Conference on Coordination Languages and Models, 144-162, 2023 | 5 | 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 |
| 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 | 3 | 2022 |
| Choreographies as functions L Cruz-Filipe, E Graversen, L Lugović, F Montesi, M Peressotti arXiv preprint arxiv:2111.03701, 2021 | 3 | 2021 |
| 37th European Conference on Object-Oriented Programming (ECOOP 2023) AD Barwell, P Hou, N Yoshida, F Zhou, J Bauwens, E Gonzalez Boix, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | | 2023 |
| Journal of Logical and Algebraic Methods in Programming E Graversen, I Phillips, N Yoshida | | 2019 |
| 2018 Imperial College Computing Student Workshop (ICCSW 2018) CH Liu, BP Chamberlain, A Malik, B Aziz, CH Ke, G Akkuzu, C Diedhiou, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019 | | 2019 |
| 2018 Imperial College Computing Student Workshop E Pirovano, E Graversen | | 2019 |
| OASIcs, Volume 66, ICCSW'18, Complete Volume}} E Pirovano, E Graversen, CH Liu, BP Chamberlain, A Malik, B Aziz, ... 2018 Imperial College Computing Student Workshop (ICCSW 2018) 66, 0, 2018 | | 2018 |
| A Promising Future: Omission Failures in Choreographic Programming E Graversen, F Montesi, M Peressotti arXiv e-prints, arXiv: 1712.05465, 2017 | | 2017 |
| Design, Definition and Implementation of Programming Languages MO Bjerregaard, JE Gydesen, EF Graversen, S Jespersen, NB Nielsen | | 2013 |
| Generic type inference for the ψ-calculi EF Graversen, MO Bjerregaard | | |
