24

Puech, Matthias (2013) Certificates for Incremental Type Checking , [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 24 Ciclo. DOI 10.6092/unibo/amsdottorato/5870.

25

Adamou, Alessandro (2013) An architecture for scaling ontology networks, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 25 Ciclo. DOI 10.6092/unibo/amsdottorato/5528.

Barabucci, Gioele (2013) Un modello universale di delta, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 25 Ciclo. DOI 10.6092/unibo/amsdottorato/5761.

Burattin, Andrea (2013) Applicability of Process Mining Techniques in Business Environments, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 25 Ciclo. DOI 10.6092/unibo/amsdottorato/5446.

De Padova, Maria Doriana (2013) Leopoli-Cencelle beyond virtual reality Documentazione, interpretazione e comprensione di una città medievale , [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Storia: indirizzo "Storia ed Informatica", 25 Ciclo. DOI 10.6092/unibo/amsdottorato/5969.

Parisen Toldin, Paolo (2013) Implicit computational complexity and probabilistic classes, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 25 Ciclo. DOI 10.6092/unibo/amsdottorato/5573.

Possamai, Lino (2013) Multidimensional analysis of complex networks, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 25 Ciclo. DOI 10.6092/unibo/amsdottorato/5389.

Savojardo, Castrense (2013) Machine-learning methods for structure prediction of β-barrel membrane proteins, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 25 Ciclo. DOI 10.6092/unibo/amsdottorato/5429.