Number of items at this level: 16.
18 December 2009
Griggio, Alberto (2009) An Effective SMT Engine for Formal Verification. PhD thesis, University of Trento.
12 April 2010
Morshed, Ahsan (2010) Aligning Controlled vocabularies for enabling semantic matching in a distributed knowledge management system. PhD thesis, University of Trento.
15 December 2010
Ture Savadkoohi, Bita (2010) Analysis of 3D scanning data for optimal custom footwear manufacture. PhD thesis, University of Trento.
25 February 2011
Vescovi, Michele (2011) Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics. PhD thesis, University of Trento.
23 March 2012
Maltese, Vincenzo (2012) Dealing with Semantic Heterogeneity in Classifications. PhD thesis, University of Trento.
22 April 2013
Della Stella, Maria Emilia (2013) Extended-order algebras and some applications. PhD thesis, University of Trento.
19 March 2014
Mover, Sergio (2014) Verification of Hybrid Systems using Satisfiability Modulo Theories. PhD thesis, University of Trento, Fondazione Bruno Kessler.
29 April 2015
Joseph, Mathew (2015) Query Answering over Contextualized RDF/OWL Knowledge with Expressive Bridge Rules: Decidable classes. PhD thesis, University of Trento.
19 January 2016
Micheli, Andrea (2016) Planning and Scheduling in Temporally Uncertain Domains. PhD thesis, University of Trento.
04 February 2016
Mattarei, Cristian (2016) Scalable Safety and Reliability Analysis via Symbolic Model Checking: Theory and Applications. PhD thesis, University of Trento.
03 March 2016
Gario, Marco (2016) A Formal Foundation of FDI Design via Temporal Epistemic Logic. PhD thesis, University of Trento.
26 April 2017
Bottazzi, Emanuele (2017) Nonstandard Models in Measure Theory and in functional Analysis. PhD thesis, University of Trento.
12 December 2017
Fumagalli, Mattia (2017) A two-layered Knowledge Architecture for perceptual and linguistic Knowledge. PhD thesis, University of Trento.
24 January 2018
Wessel, Daniel (2018) Choice, extension, conservation. From transfinite to finite proof methods in abstract algebra. PhD thesis, University of Trento, University of Verona.
18 April 2018
Donadello, Ivan (2018) Semantic Image Interpretation - Integration of Numerical Data and Logical Knowledge for Cognitive Vision. PhD thesis, University of Trento.
18 May 2018
Irfan, Ahmed (2018) Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. PhD thesis, University of Trento.
This list was generated on Thu Nov 21 13:30:49 2024 CET.
