| No. |
Title |
Author |
Year |
| 1 |
Modular Compilation for Higher-Order Functional Choreographies |
Cruz-Filipe, Luís et al. |
2023 |
| 2 |
Now It Compiles! Certified Automatic Repair of Uncompilable Protocols |
Cruz-Filipe, Luís et al. |
2023 |
| 3 |
Formalising a Turing-Complete Choreographic Language in Coq |
Cruz-Filipe, Luís et al. |
2021 |
| 4 |
Front Matter, Table of Contents, Preface, Conference Organization |
Cruz-Filipe, Luís et al. |
2020 |
| 5 |
OASIcs, Volume 78, Microservices 2017/2019, Complete Volume |
Cruz-Filipe, Luís et al. |
2020 |
| 6 |
Grounded Fixpoints and Active Integrity Constraints |
Cruz-Filipe, Luís |
2016 |
