15

Guidi, Ferruccio (2003) Searching and retrieving in content-based repositories of formal mathematical knowledge, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 15 Ciclo. DOI 10.6092/unibo/amsdottorato/7197.

18

Gessa, Nicola (2007) An ontology-based approach to define and manage B2B interoperability, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 18 Ciclo. DOI 10.6092/unibo/amsdottorato/372.

19

Bontà, Edoardo (2008) Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/913.

Buratti, Giacomo (2007) A model and an algebra for semi-structured and full-text queries, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/366.

Carpineti, Samuele (2007) Data and behavioral contracts for web services, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/368.

Guidi, Claudio (2007) Formalizing languages for service oriented computing, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/373.

Guidi, Davide (2007) A communication infrastructure to support knowledge level agents on the web, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/374.

Jesi, Gian Paolo (2007) Secure gossiping techniques and components, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/615.

Mirri, Silvia (2007) Rich media content adaptation in e-learning systems, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/375.

Riccucci, Simone (2008) Knowledge management in intelligent tutoring systems, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/916.

Zacchiroli, Stefano (2007) User interaction widgets for interactive theorem proving, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/616.

di Iorio, Angelo (2007) Pattern-based segmentation of digital documents: model and implementation, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/370.

di Lena, Pietro (2007) Decidable and computational properties of cellular automata, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/371.

20

Arteconi, Stefano (2008) Evolutionary methods for self-organizing cooperation in peer-to-peer networks, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 20 Ciclo.

Capizzi, Sirio (2008) A tuple space implementation for large-scale infrastructures, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 20 Ciclo. DOI 10.6092/unibo/amsdottorato/914.

Di Felice, Marco (2008) Cross-layer optimizations in multi-hop ad hoc networks, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 20 Ciclo. DOI 10.6092/unibo/amsdottorato/915.

Tacchella, Paolo (2008) Constraint handling rules. Compositional semantics and program transformation, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 20 Ciclo. DOI 10.6092/unibo/amsdottorato/912.

Tassi, Enrico (2008) Interactive theorem provers: issues faced as a user and tackled as a developer, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 20 Ciclo. DOI 10.6092/unibo/amsdottorato/917.