| 2026 | ITP | Formalizing a Hoare Calculus for Choreographic Programming. | Lus Cruz-Filipe, Thomas Wulff Heissel |
| 2024 | LPAR | Minimizing Sorting Networks at the Sub-Comparator Level. | Lus Cruz-Filipe, Peter Schneider-Kamp |
| 2023 | Coordination | Reasoning About Choreographic Programs. | Lus Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti |
| 2023 | ECOOP | Modular Compilation for Higher-Order Functional Choreographies. | Lus Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti |
| 2023 | FORTE | Certified Compilation of Choreographies with hacc. | Lus Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi |
| 2023 | ITP | Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. | Lus Cruz-Filipe, Fabrizio Montesi |
| 2023 | LPAR | Keep me out of the loop: a more flexible choreographic projection. | Lus Cruz-Filipe, Fabrizio Montesi, Robert R. Rasmussen |
| 2022 | ICTAC | Functional Choreographic Programming. | Lus Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti |
| 2022 | ICTAC | Reconciling Communication Delays and Negation. | Lus Cruz-Filipe, Graa Gaspar, Isabel Nunes |
| 2022 | LOPSTR | From Infinity to Choreographies - Extraction for Unbounded Systems. | Bjrn Angel Kjr, Lus Cruz-Filipe, Fabrizio Montesi |
| 2021 | ICTAC | Certifying Choreography Compilation. | Lus Cruz-Filipe, Fabrizio Montesi, Marco Peressotti |
| 2021 | ITP | Formalising a Turing-Complete Choreographic Language in Coq. | Lus Cruz-Filipe, Fabrizio Montesi, Marco Peressotti |
| 2020 | AAAI | Hypothetical Answers to Continuous Queries over Data Streams. | Lus Cruz-Filipe, Isabel Nunes, Graa Gaspar |
| 2018 | FMCAD | Complete and Efficient DRAT Proof Checking. | Adrian Rebola-Pardo, Lus Cruz-Filipe |
| 2018 | LOPSTR | Multiparty Classical Choreographies. | Marco Carbone, Lus Cruz-Filipe, Fabrizio Montesi, Agata Murawska |
| 2018 | SAC | Communications in choreographies, revisited. | Lus Cruz-Filipe, Fabrizio Montesi, Marco Peressotti |
| 2017 | CADE | Efficient Certified RAT Verification. | Lus Cruz-Filipe, Marijn J. H. Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp |
| 2017 | FORTE | Procedural Choreographic Programming. | Lus Cruz-Filipe, Fabrizio Montesi |
| 2017 | FOSSACS | The Paths to Choreography Extraction. | Lus Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi |
| 2017 | IJCAI | Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory. | Bart Bogaerts, Lus Cruz-Filipe |
| 2017 | ITP | How to Get More Out of Your Oracles. | Lus Cruz-Filipe, Kim S. Larsen, Peter Schneider-Kamp |
| 2017 | LPAR | Formally Proving the Boolean Pythagorean Triples Conjecture. | Lus Cruz-Filipe, Peter Schneider-Kamp |
| 2017 | SAC | Encoding asynchrony in choreographies. | Lus Cruz-Filipe, Fabrizio Montesi |
| 2017 | TACAS | Efficient Certified Resolution Proof Checking. | Lus Cruz-Filipe, Joo Marques-Silva, Peter Schneider-Kamp |
| 2016 | EKAW | Active Integrity Constraints for Multi-context Systems. | Lus Cruz-Filipe, Graa Gaspar, Isabel Nunes, Peter Schneider-Kamp |
| 2016 | FORTE | Choreographies in Practice. | Lus Cruz-Filipe, Fabrizio Montesi |
| 2016 | ICLP | Grounded Fixpoints and Active Integrity Constraints. | Lus Cruz-Filipe |
| 2015 | IC3K | repAIrC: A Tool for Ensuring Data Consistency. | Lus Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp |
| 2015 | IC3K | Active Integrity Constraints: From Theory to Implementation. | Lus Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp |
| 2015 | ITP | Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker. | Lus Cruz-Filipe, Peter Schneider-Kamp |
| 2015 | LATA | Sorting Networks: The End Game. | Michael Codish, Lus Cruz-Filipe, Peter Schneider-Kamp |
| 2015 | LOPSTR | Applying Sorting Networks to Synthesize Optimized Sorting Libraries. | Michael Codish, Lus Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp |
| 2014 | EKAW | Information Flow within Relational Multi-context Systems. | Lus Cruz-Filipe, Graa Gaspar, Isabel Nunes |
| 2014 | ICTAI | Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine for Ten). | Michael Codish, Lus Cruz-Filipe, Michael Frank, Peter Schneider-Kamp |
| 2014 | SYNASC | The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. | Michael Codish, Lus Cruz-Filipe, Peter Schneider-Kamp |
| 2013 | IC3K | Design Patterns for Description-Logic Programs. | Lus Cruz-Filipe, Graa Gaspar, Isabel Nunes |
| 2013 | IC3K | Patterns for Interfacing between Logic Programs and Multiple Ontologies. | Lus Cruz-Filipe, Isabel Nunes, Graa Gaspar |
| 2013 | LPAR | Description Logics, Rules and Multi-context Systems. | Lus Cruz-Filipe, Rita Henriques, Isabel Nunes |
| 2013 | TASE | Computing Repairs from Active Integrity Constraints. | Lus Cruz-Filipe, Graa Gaspar, Patrcia Engrcia, Isabel Nunes |