19

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.

21

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.

22

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.

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.

23

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.

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.

25

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.