| 2024 | RoboCup | FC Portugal: RoboCup 2024 3D Simulation League Champions. | Miguel Abreu, Pedro Mota, Toms Azevedo, Francisco Silva, Lus Paulo Reis, Nuno Lau, Mrio Florido |
| 2023 | FTfJP | Gradual Guarantee for FJ with lambda-Expressions. | Pedro ngelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mrio Florido |
| 2023 | PADL | Execution Time Program Verification with Tight Bounds. | Ana Carolina Silva, Manuel Barbosa, Mrio Florido |
| 2023 | RoboCup | FC Portugal: RoboCup 2023 3D Simulation League Champions. | Miguel Abreu, Pedro Mota, Lus Paulo Reis, Nuno Lau, Mrio Florido |
| 2022 | ICTAC | Structural Rules and Algebraic Properties of Intersection Types. | Sandra Alves, Mrio Florido |
| 2022 | ICTAC | Type Inference for Rank-2 Intersection Types Using Set Unification. | Pedro ngelo, Mrio Florido |
| 2022 | LOPSTR | Typed SLD-Resolution: Dynamic Typing for Logic Programming. | Joo Barbosa, Mrio Florido, Vtor Santos Costa |
| 2022 | PPDP | A Typed Lambda Calculus with Gradual Intersection Types. | Pedro ngelo, Mrio Florido |
| 2021 | LOPSTR | Data Type Inference for Logic Programming. | Joo Barbosa, Mrio Florido, Vtor Santos Costa |
| 2015 | ESOP | Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. | Pedro B. Vasconcelos, Steffen Jost, Mrio Florido, Kevin Hammond |
| 2015 | SYNASC | Lambda Calculus with Regular Types. | Besik Dundua, Mrio Florido, Temur Kutsia |
| 2014 | FLOPS | PrologCheck - Property-Based Testing in Prolog. | Cludio Amaral, Mrio Florido, Vtor Santos Costa |
| 2014 | FLOPS | Constraint Logic Programming for Hedges: A Semantic Reconstruction. | Besik Dundua, Mrio Florido, Temur Kutsia, Mircea Marin |
| 2013 | PADL | A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction. | Vtor Rodrigues, Benny Akesson, Simo Melo de Sousa, Mrio Florido |
| 2012 | ICFP | Automatic amortised analysis of dynamic memory allocation for lazy functional programs. | Hugo R. Simes, Pedro B. Vasconcelos, Mrio Florido, Steffen Jost, Kevin Hammond |
| 2011 | PPDP | Linearity and recursion in a typed Lambda-calculus. | Sandra Alves, Maribel Fernndez, Mrio Florido, Ian Mackie |
| 2009 | IRI | Collaborative Schema Construction using Regular Sequence Types. | Jorge Coelho, Mrio Florido, Temur Kutsia |
| 2007 | FOSSACS | Iterator Types. | Sandra Alves, Maribel Fernndez, Mrio Florido, Ian Mackie |
| 2007 | ICIW | Type-Based Static and Dynamic Website Verification. | Jorge Coelho, Mrio Florido |
| 2007 | WISE | Sequence Disunification and Its Application in Collaborative Schema Construction. | Jorge Coelho, Mrio Florido, Temur Kutsia |
| 2006 | APWEB | VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. | Jorge Coelho, Mrio Florido |
| 2006 | CSL | The Power of Linear Functions. | Sandra Alves, Maribel Fernndez, Mrio Florido, Ian Mackie |
| 2004 | CoopIS | CLP(Flex): Constraint Logic Programming Applied to XML Processing. | Jorge Coelho, Mrio Florido |
| 2003 | LOPSTR | Linearization by Program Transformation. | Sandra Alves, Mrio Florido |
| 2003 | PADL | Type-Based XML Processing in Logic Programming. | Jorge Coelho, Mrio Florido |