B

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.

C

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.

D

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.

F

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.

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.

G

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.

M

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.

P

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.

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.

R

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.

S

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.

T

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.

V

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.

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.