Home

Alumni and thesis

Ciclo: XXIV
Name Thesis title Supervisor(s)
Dott. Giovanni Bacci, Ph.D. An Abstract Interpretation Framework for Semantics and Diagnosis of Functional Logic Programs Prof. Marco Comini
Ciclo: XXIII
Name Thesis title Supervisor(s)
Dott. Luca Vassena, Ph.D. Context-aware retrieval for mobile devices: a tale of three systems Prof. Stefano Mizzaro
Dott. Asha Rani, Ph.D. New Aspects of Neural Tree Based Classifiers for Pattern Recognition
Prof. Pietro di Gianantonio
Prof. Christian Micheloni
Dott. Dario Della Monica, Ph.D. Expressiveness, decidability, and undecidability of Interval Temporal Logic Prof. Angelo Montanari
Ciclo: XXII
Name Thesis title Supervisor(s)
Dott. S.R.C.Prasad Challapalli, PhD An Intelligent Service Oriented e-Knowledge Portal Architecture for Accessing Information in Cultural Heritage Digital Libraries Prof. Paolo Coppola
Dott. Pietro Sala, PhD . Prof. Angelo Montanari
Dott. Davide Grohmann, PhD . Prof. Marino Miculan
Dott. Paolo Casoto Sentiment Analysis for the Italian Language Prof. Carlo Tasso
Dott. Raffaele Cipriano, Ph.D. On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools Prof. Agostino Dovier
Ciclo: XXI
Name Thesis title Supervisor(s)
Dott. Nirmala Pudota, PhD New Techniques for Information Access, Classification and Management: Information Extraction, Keyphrase Extraction, Tagging, Ontology Mining and Adaptive Personalization Prof. Carlo Tasso
Dott. Fabio Buttussi PhD Context-aware and User-adaptive Systems for Physical and Motor Task Training Prof. Luca Chittaro
Dott. Elisabetta De Maria PhD Computer Science Logic for Structure Prediction, String Comparison, and Biological Pathway Analysis Prof. Angelo Montanari
Dott. Cristian Del Fabbro, PhD Repeated sequences in bioinformatics: assembly, annotation and alignments Prof. Alberto Policriti
Ciclo: XX
Name Thesis title Supervisor(s)
Dott. Andrea Baruzzo PhD A Unified Framework for Automated UML Model Analysis
Prof. Marco Comini
Prof. Carlo Tasso
Ciclo: XVIII
Name Thesis title Supervisor(s)
Dott. Alessandro Dal Palù, PhD Constraint Programming Approaches to the Protein Structure Prediction Problem .
Dott. Alberto Casagrande, PhD Hybrid Systems: A First-Order Approach to Verification and Approximation Techniques
Prof. Alberto Policriti
Prof. Tiziano Villa
Dott. Forti Alberto, PhD DAG Scheduling for Grid Computing Systems Prof. Alessandro De Angelis
Dott. Gugliotta Alessio, PhD Knowledge Modelling for Service-oriented Applications in the e-Government Domain Prof. Vito Roberto
Dott. Ieronutti Lucio, PhD Integrating Virtual Humans and Evaluating the Navigational Behavior of Users in 3D Virtual Environments .
Dott. Micheloni Christian, PhD A New Active Vision Paradigm: From the Camera Motion to the Video Quality Prof. Gian Luca Foresti
Dott. Puppis Gabriele, PhD Automata for Branching and Layered Temporal Structures Prof. Angelo Montanari
Dott. Snidaro Lauro, PhD . .
Ciclo: XIX
Name Thesis title Supervisor(s)
Dott. Davide Bresolin PhD Proof Methods for Interval Temporal Logics Prof. Angelo Montanari
Dott. Stefano Burigat PhD Map-based Geographic Data on Mobile Devices: Visualization, Exploration and Query Issues Prof. Luca Chittaro
Dott. Marco Zantoni PhD Bioinformatics Support in a DNA Sequence Process Prof. Alberto Policriti
Dott. Luca Bortolussi PhD Constraint-based Approaches to Stochastic Dynamics of Biological Systems Prof. Agostino Dovier