2009

Bartolini, Enrico (2009) Algorithms for network design and routing problems, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 21 Ciclo. DOI 10.6092/unibo/amsdottorato/2107.

Concer, Nicola (2009) Design and Performance Evaluation of Network-on-Chip Communication Protocols and Architectures, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 21 Ciclo. DOI 10.6092/unibo/amsdottorato/1235.

Da San Martino, Giovanni (2009) Kernel Methods for Tree Structured Data, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 21 Ciclo. DOI 10.6092/unibo/amsdottorato/1400.

Di Giusto, Cinzia (2009) Expressiveness of Concurrent Languages, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 20 Ciclo. DOI 10.6092/unibo/amsdottorato/1433.

Ferrini, Rodolfo (2009) EXAM-S: an Analysis tool for Multi-Domain Policy Sets, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 21 Ciclo. DOI 10.6092/unibo/amsdottorato/1368.

Marcozzi, Andrea (2009) Self-Organizing Mechanisms for Task Allocation in a Knowledge-Based Economy , [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 21 Ciclo. DOI 10.6092/unibo/amsdottorato/1338.

Medri, Filippo (2009) 3-Dimensional Protein Reconstruction from Contact Maps: Complexity and Experimental Results, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 20 Ciclo. DOI 10.6092/unibo/amsdottorato/1812.

Versari, Cristian (2009) A core calculus for the analysis and implementation of biologically inspired languages, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 21 Ciclo. DOI 10.6092/unibo/amsdottorato/1442.

2010

Favini, Gian - Piero (2010) The dark side of the board: advances in chess Kriegspiel, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 22 Ciclo. DOI 10.6092/unibo/amsdottorato/2403.

Perez - Parra, Jorge Andres (2010) Higher-Order Concurrency: Expressiveness and Decidability Results , [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 22 Ciclo. DOI 10.6092/unibo/amsdottorato/2285.

Shukla, Priyank (2010) Machine learning methods for prediction of disulphide bonding states of cysteine residues in proteins, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 22 Ciclo. DOI 10.6092/unibo/amsdottorato/2588.

Vitale, Antonio (2010) Expressiveness in biologically inspired languages, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 22 Ciclo. DOI 10.6092/unibo/amsdottorato/2665.

2011

Gelain, Mirco (2011) Reasoning with incomplete and imprecise preferences, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 23 Ciclo. DOI 10.6092/unibo/amsdottorato/3657.

Panunzio, Marco (2011) Definition, realization and evaluation of a software reference architecture for use in space applications , [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 23 Ciclo. DOI 10.6092/unibo/amsdottorato/3847.

Ricciotti, Wilmer (2011) Theoretical and implementation aspects in the mechanization of the metatheory of programming languages, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 23 Ciclo. DOI 10.6092/unibo/amsdottorato/3754.

Tiwari, Shalinee (2011) Investigating the role of single point mutations in the human proteome: a computational study, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 23 Ciclo. DOI 10.6092/unibo/amsdottorato/3363.