A Basic Model of Typed Components. - João Costa Seco; Luís Caires (ECOOP, 2000)

Subtyping First-Class Polymorphic Components. - João Costa Seco; Luís Caires (ESOP, 2005)

Types for Dynamic Reconfiguration. - João Costa Seco; Luís Caires (ESOP, 2006)

The Conversation Calculus: A Model of Service-Oriented Computation. - Hugo Torres Vieira; Luís Caires; João Costa Seco (ESOP, 2008)

Component J: A component-based programming language with dynamic reconfiguration. - João Costa Seco; Ricardo Silva; Margarida Piriquito (Comput. Sci. Inf. Syst., 2008)

Profiling of real-world web applications. - Hugo Menino Aguiar; João Costa Seco; Lúcio Ferrão (PDATAD, 2010)

Type-Based Access Control in Data-Centric Systems. - Luís Caires; Jorge A. Pérez 001; João Costa Seco; Hugo Torres Vieira; Lúcio Ferrão (ESOP, 2011)

Verification of Snapshot Isolation in Transactional Memory Java Programs. - Ricardo J. Dias; Dino Distefano; João Costa Seco; João Lourenço (ECOOP, 2012)

The type discipline of behavioral separation. - Luís Caires; João Costa Seco (POPL, 2013)

Concurrent typed intermediate language. - L. Miguel Lourenço; João Costa Seco; Francisco Martins (SAC, 2013)

A common data manipulation language for nested data in heterogeneous environments. - João Costa Seco; Hugo Lourenço; Paulo Ferreira (DBPL, 2015)

Type-Safe Evolution of Web Services. - João Campinhos; João Costa Seco; Jácome Cunha (VACE@ICSE, 2017)

Capability-based localization of distributed and heterogeneous queries. - João Costa Seco; Paulo Ferreira; Hugo Lourenço (J. Funct. Program., 2017)

RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta. - João Costa Seco; Søren Debois; Thomas T. Hildebrandt; Tijs Slaats (EDOC, 2018)

SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode. - Eduardo Geraldo; João Costa Seco (VORTEX@ECOOP/ISSTA, 2018)

Software Evolution with a Typeful Version Control System. - Luís Carvalho; João Costa Seco (SEFM, 2019)

UAV Cloud Platform for Precision Farming. - Miguel Pino; João Pedro Matos-Carvalho; Dário Pedro; Luís Miguel Campos; João Costa Seco (CSNDSP, 2020)

Closing the gap between designers and developers in a low code ecosystem. - Mariana Bexiga; Stoyan Garbatov; João Costa Seco (MoDELS (Companion), 2020)

Robust Contract Evolution in a TypeSafe MicroServices Architecture. - João Costa Seco; Paulo Ferreira; Hugo Lourenço; Carla Ferreira 001; Lúcio Ferrão (Art Sci. Eng. Program., 2020)

ReGraDa: Reactive Graph Data. - Leandro Galrinho; João Costa Seco; Søren Debois; Thomas T. Hildebrandt; Håkon Normann; Tijs Slaats (COORDINATION, 2021)

An Ontology based Task Oriented Dialogue. - João Quirino Silva; Dora Melo; Irene Pimenta Rodrigues; João Costa Seco; Carla Ferreira 001; Joana Parreira (KEOD, 2021)

Automated Refactoring of Unbounded Queries in Software Automation Platforms. - Inês Pina Fernandes; Miguel Terra-Neves; João Costa Seco (MoDELS (Companion), 2021)

OSTRICH - A Type-Safe Template Language for Low-Code Development. - Hugo Lourenço; Carla Ferreira 001; João Costa Seco (MoDELS, 2021)

From Builders to Editors: Bidirectional Transformations of Low-code Models. - João Ramalho; Hugo Lourenço; João Costa Seco (MoDELS (Companion), 2021)

Deep Semantic Versioning for Evolution and Variability. - Luís Carvalho; João Costa Seco (PPDP, 2021)

Hybrid Information Flow Control for Low-Level Code. - Eduardo Geraldo; José Fragoso Santos; João Costa Seco (SEFM, 2021)

Nested OSTRICH: hatching compositions of low-code templates. - João Costa Seco; Hugo Lourenço; Joana Parreira; Carla Ferreira 001 (MoDELS, 2022)

Derivations with Holes for Concept-Based Program Synthesis. - João Costa Seco; Jonathan Aldrich; Luís Carvalho; Bernardo Toninho; Carla Ferreira 001 (Onward!, 2022)

Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution. - Henrique Botelho Guerra; João F. Ferreira 001; João Costa Seco (ECOOP, 2023)

Towards an augmented reality approach to build use-case diagrams. - Ana Rita Rebelo; João Araújo 001; João Costa Seco; Rui Nóbrega (ER (Companion), 2023)

Data-Dependent Confidentiality in DCR Graphs. - Eduardo Geraldo; João Costa Seco; Thomas T. Hildebrandt (PPDP, 2023)

CHAMELEON: OutSystems Live Bidirectional Transformations. - Hugo Lourenço; João Costa Seco; Carla Ferreira 001; Tiago Simões; Vasco Silva; Filipe Assunção; André Menezes (CoRR, 2023)

Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact). - Henrique Botelho Guerra; João F. Ferreira 001; João Costa Seco (Dagstuhl Artifacts Ser., 2023)

An Ontology-Based Task-Oriented Dialogue to Create OutSystems Applications. - João Quirino Silva; Dora Melo; Irene Pimenta Rodrigues; João Costa Seco; Carla Ferreira 001; Joana Parreira (SN Comput. Sci., 2023)

OSTRICH: a rich template language for low-code development (extended version). - Hugo Lourenço; Carla Ferreira 001; João Costa Seco; Joana Parreira (Softw. Syst. Model., 2023)

A Language-Based Version Control System for Python. - Luís Carvalho; João Costa Seco (ECOOP, 2024)

The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps. - João Costa Seco; Jonathan Aldrich (Onward!, 2024)

A Language-Based Version Control System for Python (Artifact). - Luís Carvalho; João Costa Seco (Dagstuhl Artifacts Ser., 2024)

Monitoring of spatio-temporal properties with nonlinear SAT solvers. - André de Matos Pedro; Tomás Silva; Tiago F. Sequeira; João Lourenço; João Costa Seco; Carla Ferreira 001 (Int. J. Softw. Tools Technol. Transf., 2024)

Going beyond templates: composition and evolution in nested OSTRICH. - João Costa Seco; Hugo Lourenço; Joana Parreira; Carla Ferreira 001 (Softw. Syst. Model., 2025)