B

Bottazzi, Emanuele (2017) Nonstandard Models in Measure Theory and in functional Analysis. PhD thesis, University of Trento.

D

Della Stella, Maria Emilia (2013) Extended-order algebras and some applications. PhD thesis, University of Trento.

Donadello, Ivan (2018) Semantic Image Interpretation - Integration of Numerical Data and Logical Knowledge for Cognitive Vision. PhD thesis, University of Trento.

F

Fumagalli, Mattia (2017) A two-layered Knowledge Architecture for perceptual and linguistic Knowledge. PhD thesis, University of Trento.

G

Gario, Marco (2016) A Formal Foundation of FDI Design via Temporal Epistemic Logic. PhD thesis, University of Trento.

Griggio, Alberto (2009) An Effective SMT Engine for Formal Verification. PhD thesis, University of Trento.

I

Irfan, Ahmed (2018) Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. PhD thesis, University of Trento.

J

Joseph, Mathew (2015) Query Answering over Contextualized RDF/OWL Knowledge with Expressive Bridge Rules: Decidable classes. PhD thesis, University of Trento.

M

Maltese, Vincenzo (2012) Dealing with Semantic Heterogeneity in Classifications. PhD thesis, University of Trento.

Mattarei, Cristian (2016) Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications. PhD thesis, University of Trento.

Micheli, Andrea (2016) Planning and Scheduling in Temporally Uncertain Domains. PhD thesis, University of Trento.

Morshed, Ahsan (2010) Aligning Controlled vocabularies for enabling semantic matching in a distributed knowledge management system. PhD thesis, University of Trento.

Mover, Sergio (2014) Verification of Hybrid Systems using Satisfiability Modulo Theories. PhD thesis, University of Trento, Fondazione Bruno Kessler.

T

Ture Savadkoohi, Bita (2010) Analysis of 3D scanning data for optimal custom footwear manufacture. PhD thesis, University of Trento.

V

Vescovi, Michele (2011) Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics. PhD thesis, University of Trento.

W

Wessel, Daniel (2018) Choice, extension, conservation. From transfinite to finite proof methods in abstract algebra. PhD thesis, University of Trento, University of Verona.