- C. Caleiro.
Combining Logics.
PhD thesis, IST, Universidade Técnica de Lisboa, 2000.
Supervised by A. Sernadas.
Get a preprint: 00-C-PhDthesis.ps
00-C-PhDthesis.dvi
- P. Mateus.
Interconnection of Probabilistic Systems.
PhD thesis, IST, Universidade Técnica de Lisboa, 2000.
Supervised by A. Sernadas and C. Sernadas.
Get a preprint: 00-M-PhDthesis.ps
00-M-PhDthesis.dvi
- J. Ramos.
The Situation and State Calculus: Specification and Verification.
PhD thesis, IST, Universidade Técnica de Lisboa, 2000.
Supervised by A. Sernadas.
Get a preprint: 00-R-PhDthesis.ps
00-R-PhDthesis.dvi
- A. Ravara.
Typing Non-Uniform Concurrent Objects.
PhD thesis, IST, Universidade Técnica de Lisboa, 2000.
Supervised by V. Vasconcelos and A. Sernadas.
Get a preprint: 00-R-PhDthesis.ps
00-R-PhDthesis.dvi
- S. Guerra.
Defaults in the Specification of Reactive Systems.
PhD thesis, IST, Universidade Técnica de Lisboa, 1999.
Supervised by M. Ryan and A. Sernadas.
- P. Resende.
Tropological Systems and Observational Logic in Concurrency and
Specification.
PhD thesis, IST, Universidade Técnica de Lisboa, 1998.
Supervised by A. Sernadas.
Get a preprint: 97-R-PhDThesis.ps
- P. B. Menezes.
Reificação de Objectos Concorrentes (Reification of Concurrent
Objects).
PhD thesis, IST, Universidade Técnica de Lisboa, 1997.
Supervised by A. Sernadas.
- D. Santos.
Tense and Aspect in English and Portuguese: A Contrastive Semantical
Study.
PhD thesis, IST, Universidade Técnica de Lisboa, 1996.
Supervised by L. Carlson and A. Sernadas.
- J. F. Costa.
Fundamentos Matemáticos da Concorrência (Mathematical
Foundations of Concurrency).
PhD thesis, IST, Universidade Técnica de Lisboa, 1992.
Supervised by A. Sernadas.
- J. Fiadeiro.
Cálculo de Objectos e Eventos (A Calculus for Reasoning with Objects
and Events).
PhD thesis, IST, Universidade Técnica de Lisboa, 1989.
Supervised by A. Sernadas.
- R. Carapuça.
Representação em Bases de Dados de Bases de Conhecimento
(Database Implementation of Knowledge Bases).
PhD thesis, IST, Universidade Técnica de Lisboa, 1988.
Supervised by A. Sernadas.
- J. Carmo.
Lógicas Temporais para a Especificação e Verificação
de Sistemas de Informação (Temporal Logics for Systems
Specification and Verification).
PhD thesis, IST, Universidade Técnica de Lisboa, 1988.
Supervised by A. Sernadas.