Seco, João Costa, Paulo Ferreira, and Hugo Lourenço Nested Data Manipulation in Distributed and Heterogeneous Environments -- extended version. Universidade Nova de Lisboa, 2016.

Seco, João Costa, Paulo Ferreira, and Hugo Lourenço A common data manipulation language for nested data in heterogeneous environments.. 15th International Symposium on Database Programming Languages (DBPL'15). Pittsburgh, 2015.

Grácio, Bruno, João Costa Seco, and Hugo Lourenço Linguagem de manipulação de dados para NoSQL. INForum 2015 - Actas do 7º Simpósio de Informática. Covilhã, 2015.

Mateus, João, Miguel Domingues, and João Costa Seco Sistema de Runtime para uma Linguagem Web Reativa. INForum 2015 - Actas do 7º Simpósio de Informática. Covilhã, 2015.

Domingues, Miguel, and João Costa Seco Type Safe Evolution of Live Systems. Workshop on Reactive and Event-based Languages & Systems (REBLS'15). Pittsburgh, 2015.

Gonçalves, Sara, Hugo Lourenço, and Sérgio Silva  Otimização automática de aplicações web usando templates client-side. INForum 2014 - Actas do 6º Simpósio de Informática., 2014.

Caires, Luís, and João Costa Seco Working Note on a Type Checking Algorithm for Behavioral Separation Types. Universidade Nova de Lisboa, 2013.

Lourenço, Luís Miguel, João Costa Seco, and Francisco Martins Concurrent Typed Intermediate Language. Object Oriented Programming Languages and Systems at 28th Symposium On Applied Computing. Coimbra, 2013.

Ferreira, Paulo, João Costa Seco, and Carla Ferreira Fluxo de Informação em Sistemas com Políticas de Confidencialidade Dinâmicas. INForum 2013. Évora, 2013.

Grade, Nuno, Lúcio Ferrão, and João Costa Seco Optimizing Data Queries Over Heterogeneous Sources. INForum 2013. Évora, 2013.

Ferrão, Lúcio Emanuel Represas, Seco João Ricardo Viegas Da Costa, Caires Luis Manuel Marques Da Costa, Caleira Borrêga, Gonçalo Filipe Xavier, António Augusto Vieira Melo, and OutSystems-Software em Rede SA SYSTEMS, METHODS, AND APPARATUS FOR MODEL-BASED SECURITY CONTROL., 2013.

Caires, Luís, and João Costa Seco The Type Discipline of Behavioral Separation. 40th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). Rome, Italy: ACM, 2013.

Domingues, Miguel Brazão, and João Costa Seco Typeful Updates on Reactive Live Web Programming. Universidade Nova de Lisboa, 2013.

Sousa, Diogo G., João C. Martins, and João Costa Seco Paralelização de Código Puro numa Linguagem Imperativa. Simpósio de Informática, InForum. Caparica, 2012.

Dias, Ricardo, Dino Distefano, João Costa Seco, and João Lourenço Verification of Snapshot Isolation in Transactional Memory Java Programs. Proceedings of the 26th European conference on Object-oriented programming (ECOOP). Beijing, China: Springer-Verlag ( Germany ), 2012.

Caires, L., Jorge A. Perez, J. C. Seco, Hugo T. Vieira, and Lúcio Ferrão. "Type-based Access Control in Data-Centric Systems." Programming Languages and Systems, 20th European Symposium on Programming, ESOP 2011. Ed. Gilles Barthe. Lecture Notes in Computer Science. Springer-Verlag,  2011. 

Lourenço, Luís, and João Costa Seco Linguagem Intermédia Tipificada para Máquina de Pilha Concorrente com Objectos. INForum 2011. Coimbra, 2011.

Domingues, Miguel Brazão, and J. C. Seco. "LiveWeb - Core Language for Web Applications." Proceedings of InForum 2010. Universidade do Minho,  2010. 

Dias, Ricardo, J. C. Seco, and J. M. S. Lourenço. "Snapshot Isolation Anomalies Detection in Software Transactional Memory." Proceedings of InForum 2010. Universidade do Minho,  2010. 

Aguiar, Hugo Menino, J. C. Seco, and Lúcio Ferrão. "Profiling of Real-World Web Applications." Proceedings of the International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. Ed. Shmuel Ur João Lourenço, Eitan Farchi. ACM Electronic Library,  2010. 

Dias, Ricardo J., João M. Lourenço, and João Costa Seco Detection of Snapshot Isolation Anomalies in Software Transactional Memory: A Statical Analysis Approach. Departamento de Informática FCT/UNL, 2010.

Dias, Ricardo J., Dino Distefano, João M. Lourenço, and João Costa Seco StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs. Departamento de Informática FCT/UNL, 2010.

Seco, J. C., Ricardo Silva, and Margarida Piriquito. "ComponentJ: A Component-Based Programming Language with Dynamic Reconfiguration." Computer Science and Information Systems. 05 (2008): 65-86.

Seco, J. C., Ricardo Silva, and Margarida Piriquito. "ComponentJ: component programming and reconfiguration." Proceedings of CoRTA (Compilers, Related Technologies and Applications). Instituto Politécnico de Bragança - ESTG,  2008. 

Vieira, Hugo T., L. Caires, and J. C. Seco. "The Conversation Calculus: A Model of Service Oriented Computation." Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008. Ed. Sophia Drossopoulou. Lecture Notes in Computer Science. Springer-Verlag,  2008. 

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

Caires, L., J. C. Seco, and Hugo T. Vieira Automotive and Finance Case Studies in the Conversation Calculus. Departamento de Informática FCT/UNL, 2007.

Caires, L., Hugo T. Vieira, and J. C. Seco A Model of Service Oriented Computation. Departamento de Informática FCT/UNL, 2007.

Seco, João Costa Languages and Types for Component-Based Programming. Universidade Nova de Lisboa., 2006.

Seco, João Costa, and Luís Caires. "Types for Dynamic Reconfiguration." Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006. 2006. 

Seco, João Costa, and Luís Caires. "Subtyping First-Class Polymorphic Components." Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005. 2005. 

Seco, J. C., and L. Caires ComponentJ: The Reference Manual. Departamento de Informática FCT/UNL, 2002.

Seco, J. C., and L. Caires A Basic Model of Typed Components (extended version). Departamento de Informática FCT/UNL, 2000.