| A very gentle introduction to multiparty session types N Yoshida, L Gheri International Conference on Distributed Computing and Internet Technology, 73-93, 2019 | 47 | 2019 |
| Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes D Castro-Perez, F Ferreira, L Gheri, N Yoshida Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 34 | 2021 |
| Bindings as bounded natural functors JC Blanchette, L Gheri, A Popescu, D Traytel Proceedings of the ACM on Programming Languages 3 (POPL), 1-34, 2019 | 19 | 2019 |
| Design-by-contract for flexible multiparty session protocols L Gheri, I Lanese, N Sayers, E Tuosto, N Yoshida Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2022 | 18 | 2022 |
| A formalized general theory of syntax with bindings: Extended version L Gheri, A Popescu Journal of Automated Reasoning 64, 641-675, 2020 | 10 | 2020 |
| A formalized general theory of syntax with bindings L Gheri, A Popescu Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017 | 9 | 2017 |
| MIRTO: an open-source robotic platform for education K Androutsopoulos, L Aristodemou, J Boender, M Bottone, E Currie, ... Proceedings of the 3rd European Conference of Software Engineering Education …, 2018 | 6 | 2018 |
| Multicompatibility for multiparty-session composition F Barbanera, M Dezani-Ciancaglini, L Gheri, N Yoshida Proceedings of the 25th International Symposium on Principles and Practice …, 2023 | 5 | 2023 |
| Hybrid Multiparty Session Types--Full Version L Gheri, N Yoshida arXiv preprint arXiv:2302.01979, 2023 | 2 | 2023 |
| The Concurrent Calculi Formalisation Benchmark M Carbone, D Castro-Perez, F Ferreira, L Gheri, FK Jacobsen, ... International Conference on Coordination Models and Languages, 149-158, 2024 | 1 | 2024 |
| Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection L Gheri, N Yoshida Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 112-142, 2023 | 1 | 2023 |
| Design-by-Contract for Flexible Multiparty Session Protocols--Extended Version L Gheri, I Lanese, N Sayers, E Tuosto, N Yoshida arXiv preprint arXiv:2205.06535, 2022 | 1 | 2022 |
| Bindings as Bounded Natural Functors (Extended Version) JC Blanchette, L Gheri, A Popescu, D Traytel | 1 | 2019 |
| Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS L Gheri, A Popescu arXiv preprint arXiv:2107.11674, 2021 | | 2021 |
| A general theory of syntax with bindings L Gheri, A Popescu Middlesex University, 2019 | | 2019 |
| Universal Algebra for Syntax with Bindings L Gheri Automated Reasoning Workshop 2016 Bridging the Gap between Theory and …, 2016 | | 2016 |
| Zooid: a DSL for Certified Multiparty Computation D Castro-Perez, F Ferreira, L Gheri, N Yoshida | | |
| Hybrid Multiparty Session Types L GHERI, N YOSHIDA | | |
| Bindings Are Functors JC BLANCHETTE, L GHERI, A POPESCU, D TRAYTEL | | |
| General Bindings as Functors JC BLANCHETTE, L GHERI, A POPESCU, D TRAYTEL | | |
