- A. Mordido.
A probabilistic logic over equations and domain restrictions.
PhD thesis, IST, Universidade de Lisboa, 2017.
Supervised by C. Caleiro.
Get a preprint: 17-M-PhDthesis.pdf
- M. Biscaia.
Interplay between Probabilistic and Temporal Reasoning.
PhD thesis, IST, Universidade de Lisboa, 2015.
Supervised by P. Mateus.
Get a preprint: 15-B-PhDthesis.pdf
- J. Rodrigues.
Quantum Oblivious Transfer.
PhD thesis, IST, Universidade de Lisboa, 2017.
Supervised by P. Mateus and N. Paunkovic.
Get a preprint: 15-R-PhDthesis.pdf
- D. Henriques.
Formal Reasoning About Temporal Properties in Dynamic Stochastic
Systems.
PhD thesis, IST, Universidade de Lisboa, 2016.
Supervised by P. Mateus.
Get a preprint: 15-H-PhDThesis.pdf
- B. Montalto.
Probabilistic Reasoning in Information Security.
PhD thesis, ETH Zurich, 2014.
Supervised by D. Basin and C. Caleiro.
Get a preprint: 14-M-PhDThesis.pdf
- K. G. Roggia.
Fusion of General Modal Logics Labelled with Truth Values.
PhD thesis, IST, Universidade Técnica de Lisboa, 2012.
Supervised by C. Sernadas and J. Rasga.
Get a preprint: 12-R-PhDthesis.pdf
- A. Teixeira.
Characterization of cryptographic primitives based on Kolmogorov
complexity.
PhD thesis, Faculdade de Ciêcias da Universidade do Porto, 2012.
Supervised by L. Antunes and A. Matos.
- André Souto.
Individual Information Measure: Applications to Computational
Complexity.
PhD thesis, Faculdade de Ciêcias da Universidade do Porto, 2011.
Supervised by L. Antunes.
Get a preprint: 11-S-PhDthesis.pdf
- P. Baltazar.
Probabilization of Logic Systems.
PhD thesis, IST, Universidade Técnica de Lisboa, 2010.
Supervised by P. Mateus and C. Sernadas.
Get a preprint: 10-B-PhDthesis.pdf
- M. Gamboni.
Statically Proving Behavioural Properties in the pi-calculus via Dependency
Analysis.
PhD thesis, IST, Universidade Técnica de Lisboa, 2010.
Supervised by A. Ravara and C. Caleiro.
Get a preprint: 10-M-PhDthesis.pdf
- R. Gonçalves.
Behavioral algebraization of logics.
PhD thesis, IST, Universidade Técnica de Lisboa, 2008.
Supervised by C. Caleiro.
Get a preprint: 08-G-PhDthesis.pdf
- D. S. Graça.
Computability with Polynomial Differential Equations.
PhD thesis, IST, Universidade Técnica de Lisboa, 2007.
Supervised by M. Campagnolo and J. Buescu.
Get a preprint: 07-G-PhDthesis.pdf
- P. Adão.
Formal Methods for the Analysis of Security Protocols.
PhD thesis, IST, Universidade Técnica de Lisboa, 2006.
Supervised by P. Mateus and A. Scedrov.
Get a preprint: 06-A-PhDthesis.pdf
- A. Almeida Matos.
Typing secure information flow: declassification and mobility.
PhD thesis, \ldotscole Nationale SupÈrieure des Mines de Paris, 2006.
Supervised by G. Boudol and I. Castellani.
Get a preprint: 06-A-types+iflow-thesis.pdf
- J. Marcos.
Logics of Formal Inconsistency.
PhD thesis, IFCH, Universidade Estadual de Campinas and IST, Universidade
Técnica de Lisboa, 2005.
Supervised by W. A. Carnielli and C. Caleiro.
Get a preprint: 05-M-PhDthesis.pdf
- L. Cruz-Filipe.
Constructive Real Analysis: a Type-Theoretical Formalization and
Applications.
PhD thesis, University of Nijmegen, 2004.
Supervised by H. Barendregt.
Get a preprint: 04-C-PhDthesis.ps
04-C-PhDthesis.pdf
- K. Ojakian.
Combinatorics in Bounded Arithmetic.
PhD thesis, Carnegie Mellon University, 2004.
Supervised by J. Avigad.
Get a preprint: 04-O-PhDthesis.pdf
- N. Paunkovic.
The Role of Indistinguishability of Identical Particles in Quantum
Information Processing.
PhD thesis, Centre for Quantum Computation, Clarendon Laboratory, University of
Oxford, 2004.
Supervised by V. Vedral and A. Ekert.
Get a preprint: 04-P-phdthesis.pdf
- J. Rasga.
Fibring Labelled First-order Based Logics.
PhD thesis, IST, Universidade Técnica de Lisboa, 2003.
Supervised by C. Sernadas.
Get a preprint: 03-R-PhDthesis.ps
03-R-PhDthesis.pdf
- M. L. Campagnolo.
Computational Complexity of Real Valued Recursive Functions and Analog
Circuits.
PhD thesis, IST, Universidade Técnica de Lisboa, 2001.
Supervised by J. F. Costa and C. Moore.
Get a preprint: 01-C-PhDThesis.ps
- 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. Gouveia.
Raciocínio Abdutivo sobre Especificações Temporais de Objectos
(Abductive Reasoning over Temporal Specifications of Objects).
PhD thesis, IST, Universidade Técnica de Lisboa, 1998.
Supervised by C. Sernadas.
Get a preprint: resumo.ps
capa.ps
corpo.ps
- 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
- J. Cederquist.
A Pointfree Approach to Constructive Analysis in Type Theory.
PhD thesis, Chalmers University of Technology and University of Göteborg,
Sweden, 1997.
Supervised by J. Smith.
Get a preprint: 97-C-PhDthesis.ps
97-C-PhDthesis.pdf
- F. M. Dionísio.
Composition of Hierarchic Default Specifications.
PhD thesis, University of Hannover, Germany, 1997.
Supervised by U. Lipeck.
Get a preprint: 97-D-phd.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.
- C. Lourenço.
Control of Chaos and Information Processing in Neuronal Networks.
PhD thesis, Université Libre de Bruxelles, 1996.
Supervised by A. Babloyantz.
- 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.
- C. Hermida.
Fibrations, logical predicates and related topics.
PhD thesis, University of Edinburgh, 1993.
Tech. Report ECS-LFCS-93-277. Also available as Aarhus Univ. DAIMI Tech. Report
PB-462.
- 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.
- A. Sernadas.
Logical Procedure Definition for Information Systems Specification.
PhD thesis, London School of Economics, University of London, 1980.
Supervised by S. Waters.
- C. Sernadas.
Multivariate Branching Processes.
PhD thesis, London School of Economics, University of London, 1980.
Supervised by D. Bartholomew.