Items where Subject is "Area 01 - Scienze matematiche e informatiche > MAT/01 LOGICA MATEMATICA"

Group by: Creators | Defended on
Jump to: D | G | J | M | T | V
Number of items at this level: 11.

D

Della Stella, Maria Emilia (2013) Extended-order algebras and some applications. 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.

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.

This list was generated on Sun Sep 25 01:31:00 2016 CEST.