R. Gozzi. Analog Characterization of Complexity Classes. PhD in Information Security, IST, U. Lisboa, 2022. Adviser: D. Graça. Co-adviser: J. Rasga.

F. Casal. Combining Satisfiability Procedures and Probabilistic Satisfiability. PhD in Information Security, IST, U. Lisboa, 2018. Adviser: J. Rasga.

K. G. Roggia. Fusion of General Modal Logics Labelled with Truth Values. PhD in Mathematics, IST, U. T. Lisboa, 2012. Adviser: C. Sernadas. Co-adviser: J. Rasga.