| 2026 | ENASE | A Security Framework and Hybrid Access Control Model for a DEMO-Based Low-Code Platform. | Eduardo Silveiro, Vtor Freitas, David Aveiro, Joo Costa Seco |
| 2024 | ECOOP | A Language-Based Version Control System for Python. | Lus Carvalho, Joo Costa Seco |
| 2024 | Onward | The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps. | Joo Costa Seco, Jonathan Aldrich |
| 2023 | ECOOP | Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution. | Henrique Botelho Guerra, Joo F. Ferreira, Joo Costa Seco |
| 2023 | ER | Towards an augmented reality approach to build use-case diagrams. | Ana Rita Rebelo, Joo Arajo, Joo Costa Seco, Rui Nbrega |
| 2023 | PPDP | Data-Dependent Confidentiality in DCR Graphs. | Eduardo Geraldo, Joo Costa Seco, Thomas T. Hildebrandt |
| 2022 | FMICS | Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers. | Andr de Matos Pedro, Toms Silva, Tiago F. Sequeira, Joo Loureno, Joo Costa Seco, Carla Ferreira |
| 2022 | MODELS | Nested OSTRICH: hatching compositions of low-code templates. | Joo Costa Seco, Hugo Loureno, Joana Parreira, Carla Ferreira |
| 2022 | Onward | Derivations with Holes for Concept-Based Program Synthesis. | Joo Costa Seco, Jonathan Aldrich, Lus Carvalho, Bernardo Toninho, Carla Ferreira |
| 2021 | Coordination | ReGraDa: Reactive Graph Data. | Leandro Galrinho, Joo Costa Seco, Sren Debois, Thomas T. Hildebrandt, Hkon Normann, Tijs Slaats |
| 2021 | IC3K | An Ontology based Task Oriented Dialogue. | Joo Quirino Silva, Dora Melo, Irene Pimenta Rodrigues, Joo Costa Seco, Carla Ferreira, Joana Parreira |
| 2021 | MODELS | Automated Refactoring of Unbounded Queries in Software Automation Platforms. | Ins Pina Fernandes, Miguel Terra-Neves, Joo Costa Seco |
| 2021 | MODELS | OSTRICH - A Type-Safe Template Language for Low-Code Development. | Hugo Loureno, Carla Ferreira, Joo Costa Seco |
| 2021 | MODELS | From Builders to Editors: Bidirectional Transformations of Low-code Models. | Joo Ramalho, Hugo Loureno, Joo Costa Seco |
| 2021 | PPDP | Deep Semantic Versioning for Evolution and Variability. | Lus Carvalho, Joo Costa Seco |
| 2021 | SEFM | Hybrid Information Flow Control for Low-Level Code. | Eduardo Geraldo, Jos Fragoso Santos, Joo Costa Seco |
| 2020 | MODELS | Closing the gap between designers and developers in a low code ecosystem. | Mariana Bexiga, Stoyan Garbatov, Joo Costa Seco |
| 2019 | SEFM | Software Evolution with a Typeful Version Control System. | Lus Carvalho, Joo Costa Seco |
| 2018 | EDOC | RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta. | Joo Costa Seco, Sren Debois, Thomas T. Hildebrandt, Tijs Slaats |
| 2017 | ICSE | Type-Safe Evolution of Web Services. | Joo Campinhos, Joo Costa Seco, Jcome Cunha |
| 2013 | POPL | The type discipline of behavioral separation. | Lus Caires, Joo Costa Seco |
| 2013 | SAC | Concurrent typed intermediate language. | L. Miguel Loureno, Joo Costa Seco, Francisco Martins |
| 2012 | ECOOP | Verification of Snapshot Isolation in Transactional Memory Java Programs. | Ricardo J. Dias, Dino Distefano, Joo Costa Seco, Joo Loureno |
| 2011 | ESOP | Type-Based Access Control in Data-Centric Systems. | Lus Caires, Jorge A. Prez, Joo Costa Seco, Hugo Torres Vieira, Lcio Ferro |
| 2010 | ISSTA | Profiling of real-world web applications. | Hugo Menino Aguiar, Joo Costa Seco, Lcio Ferro |
| 2008 | ESOP | The Conversation Calculus: A Model of Service-Oriented Computation. | Hugo Torres Vieira, Lus Caires, Joo Costa Seco |
| 2006 | ESOP | Types for Dynamic Reconfiguration. | Joo Costa Seco, Lus Caires |
| 2005 | ESOP | Subtyping First-Class Polymorphic Components. | Joo Costa Seco, Lus Caires |
| 2000 | ECOOP | A Basic Model of Typed Components. | Joo Costa Seco, Lus Caires |