Scorri la lista: Coordinatore

Su di un livello
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Autore | Data di discussione | Ciclo | Nessun raggruppamento
Vai a: 2012 | 2013 | 2014
Numero di documenti: 20.

2012

Maccagnan, Alessandro (2012) Enabling a direct path from end-user specifications to executable protocols in a biology laboratory environment, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 23 Ciclo. DOI 10.6092/unibo/amsdottorato/4620.

Mauro, Jacopo (2012) Constraints meet concurrency, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 24 Ciclo. DOI 10.6092/unibo/amsdottorato/4341.

Mezzetti, Enrico (2012) Cache-aware development of high integrity real-time systems, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 24 Ciclo. DOI 10.6092/unibo/amsdottorato/4591.

Peroni, Silvio (2012) Semantic Publishing: issues, solutions and new trends in scholarly publishing within the Semantic Web era, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 24 Ciclo. DOI 10.6092/unibo/amsdottorato/4766.

Turroni, Francesco (2012) Fingerprint Recognition: Enhancement, Feature Extraction and Automatic Evaluation of Algorithms, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 24 Ciclo. DOI 10.6092/unibo/amsdottorato/4378.

2013

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.

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.

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.

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.

2014

Baldovin, Andrea (2014) Operating System Contribution to Composable Timing Behaviour in High-Integrity Real-Time Systems, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6597.

Bujari, Armir (2014) Opportunistic Data Gathering and Dissemination in Urban Scenarios , [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6512.

Dardha, Ornela (2014) Type Systems for Distributed Programs: Components and Sessions, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6441.

Lascu, Tudor Alexandru (2014) Automatic Deployment of Applications in the Cloud, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6408.

Navarin, Nicolò (2014) Learning with Kernels on Graphs: DAG-based kernels, data streams and RNA function prediction., [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6578.

Nuzzolese, Andrea Giovanni (2014) Knowledge Patterns for the Web: extraction, tranformation and reuse, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6562.

Pellitta, Giulio (2014) Extending Implicit Computational Complexity and Abstract Machines to Languages with Control, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6558.

Zuppiroli, Sara (2014) Probabilistic Recursion Theory and Implicit Computational Complexity, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 25 Ciclo. DOI 10.6092/unibo/amsdottorato/6723.

Questa lista e' stata generata il Wed Mar 27 20:43:10 2024 CET.
^