27

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.

Bedogni, Luca (2015) Reti Wireless Cognitive Cooperanti su TV White e Grey Spaces, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 27 Ciclo. DOI 10.6092/unibo/amsdottorato/7053.

Bertini, Flavio (2015) A new 3D modelling paradigm for discrete model, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 27 Ciclo. DOI 10.6092/unibo/amsdottorato/7020.

Calderoni, Luca (2015) Distributed Smart City Services for Urban Ecosystems, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 27 Ciclo. DOI 10.6092/unibo/amsdottorato/6858.

Poggi, Francesco (2015) Structural patterns for document engineering: from an empirical bottom-up analysis to an ontological theory, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 27 Ciclo. DOI 10.6092/unibo/amsdottorato/7123.

Profiti, Giuseppe (2015) Graph algorithms for bioinformatics, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 27 Ciclo. DOI 10.6092/unibo/amsdottorato/6914.

Rioli, Alessandro (2016) Coinductive Techniques on a Linear Quantum λ-Calculus, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 27 Ciclo. DOI 10.6092/unibo/amsdottorato/7341.

Strappaveccia, Francesco (2015) Many-core Algorithms for Combinatorial Optimization, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 27 Ciclo. DOI 10.6092/unibo/amsdottorato/6949.

28

Buoncompagni, Simone (2016) Computer Vision Techniques for Ambient Intelligence Applications, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 28 Ciclo. DOI 10.6092/unibo/amsdottorato/7327.

Cappai, Alberto (2016) On Equivalences, Metrics, and Computational Indistinguishability, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 28 Ciclo. DOI 10.6092/unibo/amsdottorato/7389.

Domeniconi, Giacomo (2016) Data and Text Mining Techniques for In-Domain and Cross-Domain Applications, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 28 Ciclo. DOI 10.6092/unibo/amsdottorato/7494.

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.

Loreti, Daniela (2016) Autonomic Management of Cloud Virtual Infrastructures, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 28 Ciclo. DOI 10.6092/unibo/amsdottorato/7424.

Mariani, Stefano (2016) Coordination Issues in Complex Socio-technical Systems: Self-organisation of Knowledge in MoK, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 28 Ciclo. DOI 10.6092/unibo/amsdottorato/7553.

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.

Petrelli, Alioscia (2016) Creating and Recognizing 3D Objects, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 28 Ciclo. DOI 10.6092/unibo/amsdottorato/7410.

Prandi, Catia (2016) Participatory Sensing and Crowdsourcing in Urban Environment, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 28 Ciclo. DOI 10.6092/unibo/amsdottorato/7490.

Rocchi, Elena (2016) Model-Based Heuristics for Combinatorial Optimization, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 28 Ciclo. DOI 10.6092/unibo/amsdottorato/7301.

29

Borghesi, Andrea (2017) Power-Aware Job Dispatching in High Performance Computing Systems, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 29 Ciclo. DOI 10.6092/unibo/amsdottorato/7982.

Cavallari, Tommaso (2017) Semantic Slam: A New Paradigm for Object Recognition and Scene Reconstruction, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 29 Ciclo. DOI 10.6092/unibo/amsdottorato/7954.

Gallinucci, Enrico (2017) Business Intelligence on Non-Conventional Data, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 29 Ciclo. DOI 10.6092/unibo/amsdottorato/7863.

Garcia Celestrin, Abel (2017) Static Analysis of Concurrent Programs Based on Behavioral Type Systems, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 29 Ciclo. DOI 10.6092/unibo/amsdottorato/8046.

Linares Zaila, Yisleidy (2017) GEIR: a Full-Fledged Geographically Enhanced Information Retrieval Solution, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 29 Ciclo. DOI 10.6092/unibo/amsdottorato/8051.

Rizzo, Stefano Giovanni (2017) Temporal Dimension of Text: Quantification, Metrics and Features, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 29 Ciclo. DOI 10.6092/unibo/amsdottorato/8004.

Trotta, Angelo (2017) Next-Generation Public Safety Systems Based on Autonomous Vehicles and Opportunistic Communications, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 29 Ciclo. DOI 10.6092/unibo/amsdottorato/8065.

Vignudelli, Valeria (2017) Behavioral Equivalences for Higher-Order Languages with Probabilities, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 29 Ciclo. DOI 10.6092/unibo/amsdottorato/7968.

30

Bergami, Giacomo (2018) A new Nested Graph Model for Data Integration, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 30 Ciclo. DOI 10.6092/unibo/amsdottorato/8348.

Bridi, Thomas (2018) Scalable optimization-based Scheduling approaches for HPC facilities, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 30 Ciclo. DOI 10.6092/unibo/amsdottorato/8436.

Calegari, Roberta (2018) Micro-intelligence for the IoT: logic-based models and technologies, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 30 Ciclo. DOI 10.6092/unibo/amsdottorato/8521.

Graziani, Simone (2018) Enabling Ubiquitous OLAP Analyses, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 30 Ciclo. DOI 10.6092/unibo/amsdottorato/8593.

Poggi, Matteo (2018) Machine Learning techniques applied to stereo vision, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 30 Ciclo. DOI 10.6092/unibo/amsdottorato/8444.

Zanni, Alessandro (2018) Middleware Solutions for Effective Cloud-CPS Integration in Pervasive Environment, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 30 Ciclo. DOI 10.48676/unibo/amsdottorato/8527.

31

Asprino, Luigi (2019) Engineering Background Knowledge for Social Robots, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 31 Ciclo. DOI 10.6092/unibo/amsdottorato/9020.

Croatti, Angelo (2019) Augmented Worlds: a proposal for modelling and engineering pervasive mixed reality smart environments, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 31 Ciclo. DOI 10.6092/unibo/amsdottorato/8768.

Gavazzo, Francesco (2019) Coinductive Equivalences and Metrics for Higher-order Languages with Algebraic Effects, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 31 Ciclo. DOI 10.6092/unibo/amsdottorato/9075.

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.

Lomonaco, Vincenzo (2019) Continual Learning with Deep Architectures, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 31 Ciclo. DOI 10.6092/unibo/amsdottorato/9073.

Montori, Federico (2019) Delivering IoT Services in Smart Cities and Environmental Monitoring through Collective Awareness, Mobile Crowdsensing and Open Data, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 31 Ciclo. DOI 10.6092/unibo/amsdottorato/8957.

Pagliarani, Andrea (2019) Big Data mining and machine learning techniques applied to real world scenarios, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 31 Ciclo. DOI 10.6092/unibo/amsdottorato/8904.

Russo, Daniel (2019) Socio–Technical Software Engineering: a Quality–Architecture–Process Perspective, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 31 Ciclo. DOI 10.6092/unibo/amsdottorato/8782.

Salvaro, Mattia (2019) A fully-wearable non-invasive SSVEP-based BCI system enabled by AR techniques for daily use in real environment., [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 31 Ciclo. DOI 10.6092/unibo/amsdottorato/8945.

Tonioni, Alessio (2019) Computer Vision and Deep Learning for retail store management, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 31 Ciclo. DOI 10.6092/unibo/amsdottorato/8970.

Viola, Fabio (2019) Semantic Web and the Web of Things: concept, platform and applications, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 31 Ciclo. DOI 10.6092/unibo/amsdottorato/9029.