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

Group by: Creators | Defended on
Number of items at this level: 7.

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.

This list was generated on Thu Jul 31 01:31:10 2014 CEST.