A

Amadini, Roberto (2015) Portfolio Approaches in Constraint Programming, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 27 Ciclo. DOI 10.6092/unibo/amsdottorato/6933.

D

Del Bonifro, Francesca (2022) Big Code Applications and Approaches, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 34 Ciclo. DOI 10.48676/unibo/amsdottorato/10255.

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.

G

Giallorenzo, Saverio (2016) Real-World Choreographies, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 28 Ciclo. DOI 10.6092/unibo/amsdottorato/7512.

L

Liu, Tong (2019) Innovative Applications of Constraint Programming, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 31 Ciclo. DOI 10.6092/unibo/amsdottorato/9068.

M

Martini, Giulia (2016) CAD Aspects on Isogeometric Analysis and Hybrid Domains, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 28 Ciclo. DOI 10.6092/unibo/amsdottorato/7340.

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.

T

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.

Z

Zingaro, Stefano Pio (2020) Interoperability Challenges in Internet of Things Systems: a Service-Oriented Computing Approach, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 32 Ciclo. DOI 10.48676/unibo/amsdottorato/9088.