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, 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.
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.
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 Miguel, João Costa Seco, and Francisco MartinsConcurrent Typed Intermediate Language. Object Oriented Programming Languages and Systems at 28th Symposium On Applied Computing. Coimbra, 2013.