• F. Pavão Martins. On trapdoor Kolmogorov one-way functions and elliptic curves cryptography. Master's thesis, IST, Universidade Técnica de Lisboa, 2014. Supervised by P. Mateus and A. Souto.
  Get a preprint: 14-M-MScThesis.pdf 
• F. Casal. On Nelson-Oppen techniques. Master's thesis, IST, Universidade Técnica de Lisboa, 2013. Supervised by J. Rasga.
  Get a preprint: 13-C-MScThesis.pdf 
• P. Faria. An artificial bidimensional model for bursting behaviour in neurons. Master's thesis, IST, Universidade Técnica de Lisboa, 2013. Supervised by C. Louren\,co (FCUL) and J. Ramos.
  Get a preprint: 13-F-MScThesis.pdf 
• G. Ramos. Structural hybrid systems. Master's thesis, IST, Universidade Técnica de Lisboa, 2013. Supervised by A. P. Aguiar (FEUP) and J. Ramos.
  Get a preprint: 13-R-MScThesis.pdf 
• T. Matos. Sequent calculi labelled with worlds for modal logics. Master's thesis, IST, Universidade Técnica de Lisboa, 2012. Supervised by J. Rasga.
  Get a preprint: 12-M-MScThesis.pdf 
• J. Abreu. Tableaux for distributed temporal logic - applications to security protocols. Master's thesis, IST, Universidade Técnica de Lisboa, 2011. Supervised by C . Caleiro and J. Ramos.
  Get a preprint: 11-A-MScThesis.pdf 
• L. Mor ao. Probabilistic distributed temporal logic. Master's thesis, IST, Universidade Técnica de Lisboa, 2011. Supervised by J. Ramos.
  Get a preprint: 11-M-MScThesis.pdf 
• P. Nabais. Tagsnp selection using maximum satisfiability. Master's thesis, IST, Universidade Técnica de Lisboa, 2011. Supervised by I. Lynce and J. Ramos.
  Get a preprint: 11-N-MScThesis.pdf 
• A. Pereira. Kolmogorov generic bases. Master's thesis, IST, Universidade Técnica de Lisboa, 2011. Supervised by J. Rasga.
  Get a preprint: 11-P-MScThesis.pdf 
• M. Biscaia. Supervisory control of petri nets using linear temporal logic. Master's thesis, IST, Universidade Técnica de Lisboa, 2010. Supervised by P. Lima and P. Mateus.
  Get a preprint: 10-B-MScThesis.pdf 
• D. Henriques. Model checking probabilistic systems. Master's thesis, IST, Universidade Técnica de Lisboa, 2009. Supervised by P. Mateus.
  Get a preprint: 09-H-MScThesis.pdf 
• B. Conchinha. Modelling an attacker with cryptanalytical capbilities. Master's thesis, IST, Universidade Técnica de Lisboa, 2008. Supervised by C. Caleiro.
  Get a preprint: 08-M-MScThesis.pdf 
• T. Carvalho. Spatial types for concurrency: A spatial logic to specify and verify distributed systems. Master's thesis, IST, Universidade TÈcnica de Lisboa, 2007. Supervised by A. Ravara.
  Get a preprint: 07-C-MScThesis.pdf 
• I. Patino. A proof theory of interpolation. Master's thesis, Universidade Nova de Lisboa / Technische Universität Wien, 2007. Supervised by J. Rasga.
• P. Baltazar. Variedades M-sólidas de linguagens. Master's thesis, FCUL, Universidade de Lisboa, 2005. Supervised by M. Ramalho.
  Get a preprint: 05-B-MScThesis.pdf 
• K. G. Roggia. Categoria de grafos parciais com homomorfismos totais: Teoria e aplicações. Master's thesis, Programa de Pós-Graduação em Computação -- UFRGS, Porto Alegre, Brasil, 2005. Supervised by Paulo Blauth Menezes.
  Get a preprint: 05-R-MScThesis.pdf 
• J. Bueno-Soler. Semântica algébrica de traduções possíveis (Possible-translations algebraic semantics). Master's thesis, IFCH, Universidade Estadual de Campinas, 2004. Supervised by M. E. Coniglio and C. Caleiro.
  Get a preprint: 04-B-MScThesis.pdf 
• A. Francisco. Algoritmos para a predição da estrutura terciária de proteínas (Algorithms for the prediction of the tertiary structure of proteins). Master's thesis, IST, Universidade Técnica de Lisboa, 2004. Supervised by A. Oliveira and A. Sernadas.
• J. Martinho. The pi-calculus with polyadic synchronization. Master's thesis, Department of Computer Science, University of Aalborg, Denmark, 2004. Supervised by L. Aceto and A. Ravara.
  Get a preprint: 04-M-MScThesis.pdf 
• D. S. Graça. The general purpose analog computer and recursive functions over the reals. Master's thesis, IST, Universidade Técnica de Lisboa, 2002. Supervised by J. F. Costa.
  Get a preprint: 02-G-MScThesis.pdf 
• J. Marcos. Semânticas de Traduções possíveis. Master's thesis, IFCH, Universidade Estadual de Campinas, 1999. Supervised by W. A. Carnielli.
  Get a preprint: 99-M-mastersthesis.pdf 
• S. Martins. Estruturas lógicas proposicionais monótonas e não monótonas (Monotonic and non monotonic propositional logic structures). Master's thesis, IST, Universidade Técnica de Lisboa, 1999. Supervised by F. M. Dionísio.
• A. L. Nunes. Temporalização de lógicas (Temporalisation of logics). Master's thesis, IST, Universidade Técnica de Lisboa, 1998. Supervised by C. Sernadas.
• M. J. Coutinho. Estudo categorial do relacionamento entre lógicas (A categorial study of relationships between logics). Master's thesis, IST, Universidade Técnica de Lisboa, 1997. Supervised by C. Sernadas.
  Get a preprint: 97-C-MScThesis.ps 
• J. Espírito-Santo. Chu e Galois: Polaridade, conexão e adjunção (Chu and Galois: Polarity, connection and adjunction). Master's thesis, IST, Universidade Técnica de Lisboa, 1997. Supervised by C. Sernadas.
• C. Caleiro. Comunidades distribuídas de objectos (Distributed object communities). Master's thesis, IST, Universidade Técnica de Lisboa, 1996. Supervised by A. Sernadas.
• J. Carvalho. Completude em lógicas modais e temporais (Completeness in modal and temporal logics). Master's thesis, IST, Universidade Técnica de Lisboa, 1996. Supervised by C. Sernadas.
• J. Gomes. Lógica temporal de objectos com tempo explícito (Temporal object logic with explicit time). Master's thesis, IST, Universidade Técnica de Lisboa, 1996. Supervised by C. Sernadas.
  Get a preprint: 96-G-MScThesis.ps 
• A. Ravara. Semântica da linguagem Gnome em TyCO (Semantics of Gnome over TyCO). Master's thesis, IST, Universidade Técnica de Lisboa, 1996. Supervised by A. Sernadas.
  Get a preprint: 96-R-MScThesis.ps 
• J. Ramos. Lógica de certificação Gnome (Gnome certification logic). Master's thesis, IST, Universidade Técnica de Lisboa, 1994. Supervised by A. Sernadas.
  Get a preprint: chap0.ps  chap1.ps  chap2.ps  chap3.ps  chap4.ps  chap5.ps  chap6.ps  chap7.ps  chap8.ps 
• P. Gouveia. Tableaux para raciocínio local sobre objectos (Tableaux for local reasoning about objects). Master's thesis, IST, Universidade Técnica de Lisboa, 1993. Supervised by C. Sernadas.
• M. L. Campagnolo. Proposta de um método para a integração de conhecimento em classificação (Proposal of a method for integrating knowledge in classification). Master's thesis, ISEG, Universidade Técnica de Lisboa, 1992. Supervised by H. Coelho.
• F. M. Dionísio. Um modelo e submodelos categoriais de processos concorrentes (A categorial model and submodels of concurrent processes). Master's thesis, IST, Universidade Técnica de Lisboa, 1991. Supervised by A. Sernadas.
• P. Resende. Tableaux para lógica dinâmica proposicional (Tableaux for propositional dynamic logic). Master's thesis, IST, Universidade Técnica de Lisboa, 1991. Supervised by A. Sernadas.
• A. R. Silva. Serialização e paralelização (Serializability and parallelization). Master's thesis, IST, Universidade Técnica de Lisboa, 1991. Supervised by C. Sernadas.
• J. F. Costa. Teoria algébrica dos processos animados (Algebraic theory of active processes). Master's thesis, IST, Universidade Técnica de Lisboa, 1990. Supervised by A. Sernadas.