Bonfietti, Alessio (2013) Constraint based methods for allocation and scheduling of periodic applications, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Ingegneria elettronica, informatica e delle telecomunicazioni, 25 Ciclo. DOI 10.6092/unibo/amsdottorato/5503.

Bragaglia, Stefano (2013) Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Ingegneria elettronica, informatica e delle telecomunicazioni, 25 Ciclo. DOI 10.6092/unibo/amsdottorato/5753.

Chesani, Federico (2007) Specification, execution and verification of interaction protocols: an approach based on computational logic, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Ingegneria elettronica, informatica e delle telecomunicazioni, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/392.

Lombardi, Michele (2010) Hybrid Methods for Resource Allocation and Scheduling Problems in Deterministic and Stochastic Environments, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Ingegneria elettronica, informatica e delle telecomunicazioni, 22 Ciclo. DOI 10.6092/unibo/amsdottorato/2961.

Lombardini, Marta (2010) Design of Open Microwell arrays for single cell analysis, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Archeologia, 22 Ciclo.

Montagna, Sara (2011) Multi-level models and infrastructures for simulating biological system development, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Ingegneria elettronica, informatica e delle telecomunicazioni, 23 Ciclo. DOI 10.6092/unibo/amsdottorato/3415.

Montali, Marco (2009) Specification and Verification of Declarative Open Interaction Models - A Logic-based framework, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Ingegneria elettronica, informatica e delle telecomunicazioni, 21 Ciclo. DOI 10.6092/unibo/amsdottorato/1829.

Parisini, Fabio (2011) Hybrid constraint programming and metaheuristic methods for large scale optimization problems, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Ingegneria elettronica, informatica e delle telecomunicazioni, 23 Ciclo.

Sottara, Davide (2010) Integration of symbolic and connectionist AI techniques in the development of Decision Support Systems applied to biochemical processes , [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Ingegneria elettronica, informatica e delle telecomunicazioni, 22 Ciclo. DOI 10.6092/unibo/amsdottorato/2972.