PhD Theses
[being] prepared or supervised by current members of the LCG (Logic and Computation Group) that became the CLC (Center for Logic and Computation) where updated information from February 14, 2001 onwards can be found.
- J. Rasga. PhD thesis in
preparation. Topic: Transference results in combination
of logics. Supervised by A.
Sernadas.
- C. Caleiro. Combining Logics.
PhD thesis, Universidade Técnica de Lisboa, 2000.
Supervised by A. Sernadas.
- J. Ramos. The Situation and
State Calculus: Specification and Verification. PhD
thesis, Universidade Técnica de Lisboa, 2000. Supervised
by A. Sernadas.
- A. S. Guerra. Defaults in the Specification of Reactive
Systems. PhD thesis, Universidade Técnica de Lisboa,
1999. Supervised by M. Ryan and A. Sernadas.
- P. Gouveia. Abductive Reasoning
over Temporal Object Specifications (in Portuguese). PhD
thesis, Universidade Técnica de Lisboa, 1998. Supervised
by C. Sernadas.
- P. Resende. Tropological
Systems and Observational Logic in Concurrency and
Specification. PhD thesis, Universidade Técnica de
Lisboa, 1998. Supervised by A.
Sernadas.
- F. M. Dionísio. Composition of
Hierarchic Default Specifications, PhD thesis, University
of Hannover, 1997. Supervised by U.
Lipeck.
- P.
Menezes. Reification of Concurrent Objects (in
Portuguese). PhD thesis, Universidade Técnica de Lisboa,
1997. Supervised by A. Sernadas.
- J. F. Costa.
Mathematical Foundations of Concurrency (in Portuguese).
PhD thesis, Universidade Técnica de Lisboa, 1992.
Supervised by A. Sernadas.
- J. Fiadeiro.
A Calculus for Reasoning with Objects and Events (in
Portuguese). PhD thesis, Universidade Técnica de Lisboa,
1989. Supervised by A. Sernadas.
- R. Carapuça. Database Implementation of Knowledge Bases
(in Portuguese). PhD thesis, Universidade Técnica de
Lisboa, 1988. Supervised by A.
Sernadas.
- J. Carmo. Temporal Logics for
System Specification and Verification (in Portuguese).
PhD thesis, Universidade Técnica de Lisboa, 1988.
Supervised by A. Sernadas.
Last update: January 12, 2001.