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.
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.
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.