PhD theses undertaken at Dipartimento di Informatica, Università di Torino
XXV ciclo
AMPARORE Elvio Gilberto
States, actions and path properties in Markov chains
ANGIUS Alessio
Handling Large State Spaces in Transient Analysis of Markovian Processes.
BIOGLIO Livio
Type Disciplines for Systems Biology.
CHIABRANDO Elisa
Augmenting User Experience in the Social Web by means of Storytelling and Semantic Web Techniques.
CORRENTE Giuseppe
Opportunistic Networking in a Urban Scenario.
SCALA Enrico
XXIV ciclo
AIELLO Luca
Analysis, prediction and privacy-aware design of social media and online search
BIOGLIO Valerio
Data dissemination in distributed systems using rateless codes
VISCONTI Alessia
Systems Biology: Knowledge Discovery and Reverse Engineering
XXIII ciclo
ASCHIERI Federico
Learning, realizability and games in classical arithmetic
DI CARO Luigi
VERNERO Fabiana
GUAZZONE Marco
Power and Performance Management in Cloud Computing Systems
BOSIO Gianni
A contextual approach to activity awareness support in distributed workspaces
ZOLA Matteo
Distributed Virtual Private Disk for Cloud Computing
SPOTO Salvatore
P2P applications Performance Improvements and Network Awareness
XXII ciclo
CALEFATO Caterina
CARDILLO Daniela
On the stage: story of a movie (Supervisor Prof. L. Console)
CATALDI Mario
CEROTTI Davide
Spatially-distributed Interacting Markovian Agents (Supervisor Prof. S. Donatelli)
FURNARI Roberto
An event-based model for the management of choreographed services (Supervisor Prof. L. Ardissono)
GIACHINO Elena
IENCO Dino
Unsupervised Approaches for the Generation of Structures on Large Data (Supervisor Prof. R. Meo)
MILANESIO Marco
PICCOLO Mauro
ROGLIA Elena
TERRUGGIA Roberta
Reliability Analysis of Probabilistic Networks (Supervisor Prof. G. Franceschinis)
VILLATA Serena
XXI ciclo
BACHAR Dipankar
KOLUNDZIJA Marija
JAMALI Abdur
LOVRO Ilijasic
Computational grids as complex networks (Supervisor Prof. L. Saitta)
XX ciclo
BASSO Alessandro
BECCUTI Marco
Graphical models for the prediction of transcription factor binding sites
GABOARDI Marco
Structured Hidden Markov Model: A General Tool for Modeling Process Behavior
GALLO Arianna
Mining informative patterns in large data (Supervisor Prof. R. Meo)
XIX ciclo
CHERAN SORIN Cristian
D'APRILE Davide
Timed and Stochastic Model Checking of Petri Nets(Supervisor Prof. S. Donatelli)
Proof Methods for Conditional and Preferential Logics (Supervisor Prof. L. Giordano - N. Olivetti)
Dependency Tree Semantics (Supervisor Prof. L. Lesmo)
Reasoning on web services with choreographies and capabilities (Supervisor Prof. A. Martelli)
XVIII ciclo
Behavioral Characterization for Multimedia Documents (Supervisor Prof. M. L. Sapino)
Extended Fault Trees Analysis supported by Stochastic Petri Nets (Supervisor Prof. A. Bobbio)
Performance Evaluation of Complex Network Applications (Supervisor Prof. M. Sereno)
XVII ciclo
ThreeDness: A Framework for the Creation of Customizable 3D Interfaces (Supervisor Prof. C. Simone)
Artificial Intelligence Methods in Operational Knowledge Management (Supervisor Prof. P. Torasso)
XVI ciclo
Web Usability: Roots And Approaches(Supervisor Prof. L. Console)
A Multimodal Approach to Ubiquitous Information Management (Supervisor Prof. L. Console)
Improved Bayesian Network Classifiers using Feature Construction (Supervisor Prof. L. Portinale)
XV ciclo
Towards compositional CSL model checking (Supervisor Prof.ssa S. Donatelli, Prof.ssa Jane Hillston)
Analyzing Ensamble Learning in the Framework of Monte Carlo Theory (Supervisor Prof.ssa L. Saitta)
XIV ciclo
A grammatical relation system for treebank annotation (Supervisor Prof. V. Lombardo)
Diagnosis from System Modelling to On-Board Software (Supervisor Prof. L. Console)
Abstract machines for mobility: theory and implementation (Supervisor Prof.ssa P. Giannini)
XIII ciclo
The role of norms in intelligent reactive agents (Supervisor Prof. L.Lesmo)
Belief Revision and Conditional Logics (Supervisor Laura Giordano, Nicola Olivetti)
PANATI Andrea
Constraint Processing Techniques for Model-Based Reasoning about Dynamic Systems (Supervisor Prof. Daniele Theseider Duprè, Prof. Luca Console)
XII ciclo
XI ciclo
Agenti Intelligenti per l'Interazione Uomo-Macchina (Supervisor Prof. L.Lesmo)
X ciclo
Type Systems for the Object-Oriented Paradigm (Supervisor Prof.ssa M. Dezani)
LO BELLO Giuseppe
A highly Parallel coevolutionary approach for concept learning (Supervisor Prof. A. Giordana)
PIOLA Roberto
Refinement of Knowledge Bases in First Order Logics by means of Neural Networks Supervisor Prof. A. Giordana)
SCARPA Marco
Non Markovian Stochastic Petri Nets with Concurrent Generally Distributed Transition (Supervisor G. Balbo)
IX ciclo
BRUSONI Vittorio
Temporal reasoning in data and knowledge bases (Supervisor Prof. L. Console)
On the design of a Color Image Compression Technique based on Separable Karhunen Loeve Transform and Fuzzy Logic (Supervisor Prof. A.E.Werbrouck)
VIII ciclo
First Order Logic Concept Learning by means of a Distributed Genetic Algorithm (Supervisor Prof. L. Saitta)
PRAVATO Alberto
Categorical Models of lambda-calculi: a Monoidal Approach (Supervisor Prof. S. Ronchi della Rocca)
VII ciclo
Dynamic User Modeling and Plan Recognition in Dialogue (Supervisor Prof. L. Lesmo)
Un Logical Framework Lineare (Supervisor Prof. A. Martelli)
Inductive Logic Program Development (Supervisor F. Bergadano)
LIQUORI Luigi
Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects
Macchine di Turing limitate in spazio, inversioni ed ambiguità (Rel. A. Bertoni)
VI ciclo
A Formalism for Hierarchical Modeling of Heterogeneous Applications
Optimizing Programs Extracted from Proofs
Algorithmic Proof Theory for non-classical and modal logics
RIBAUDO Marina
On the Relationship between Stochastic Process Algebras and Stochastic Petri Nets (Supervisor Prof. G. Balbo)
V ciclo
EGIDI Lavinia
The Complexity of the Theory of p-adic Numbers
Petri Net Models for Diagnostic Knowledge Representation and Reasoning (Supervisor Prof. P.Torasso)
Characterizing and Mechanizing Abductive Reasoning
IV ciclo
Il testimone: da prove classiche attraverso sistemi di riscrittura
WHY: Uno Strumento per l'Acquisizione e il Raffinamento di una Base di Conoscenza Diagnostica (Rel. Prof. L.Saitta, Prof. A. Giordana)
Linguaggi Logici con Blocchi e Moduli (Rel. Prof. A. Martelli)
Interpretazione incrementale e deterministica del linguaggio naturale
Semantica della riduzione del lambda calcolo: Dalle macchine ad ambienti alla geometria dell'interazione
Estensioni ed applicazioni della negazione come fallimento in programmazione logica (Rel. Prof. A. Martelli)
Aspetti Computazionali delle Soluzioni di Modelli Basati su Reti di Petri Stocastiche (Rel. Prof. G.Balbo)
III ciclo
Apprendimento Automatico: un metodo generale di inferenza induttiva e le sue applicazioni (Rel. Prof. L.Saitta)
II ciclo
CARDONE Felice
Tipi Ricorsivi e Inheritance in Linguaggi Funzionali (Relatore: Prof. M. Coppo , Co-relatori: Prof. Mariangiola Dezani, Prof. G. Longo
L'uso delle reti di Petri per la valutazione e la validazione di sistemi di grandi dimensioni (Rel. Prof. G. Balbo)