Tesi di
Dottorato svolte presso il dipartimento di Informatica dell'Università
di Torino
XXIII ciclo
DI CARO Luigi
Data
Mining-driven Visualizations to support Exploration of Multi-Dimensional Data
Collections (Supervisor Prof. L. Sapino)
VERNERO Fabiana
Double-Sided Recommendations: a
novel framework for exploiting social networking in recommender systems
(Supervisor Prof. L. Console)
XXII ciclo
CALEFATO Caterina
Designing the Trustiness: Driving
and Driver Models for the Design of a Cognitive Framework Supporting Adaptive
Safety-Critical Applications (Supervisor Prof. L. Console)
CARDILLO Daniela
On the stage: story of a movie
(Supervisor Prof. L. Console)
CATALDI Mario
Adaptation of Hierarchical Meta-Data
for Efficient Large Data Set Exploration (Supervisor Prof. L. Sapino)
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
Session Types: Semantic Foundations
and Object-Oriented Applications (Supervisors Prof. G. Castagna, Prof. M.
Dezani-Ciancaglini)
IENCO Dino
Unsupervised Approaches for the
Generation of Structures on Large Data (Supervisor Prof. R. Meo)
MILANESIO Marco
Layering Multi-Purpose Applications
over Structured and Dependable P2P Systems (Supervisor Prof. G. Ruffo)
PICCOLO Mauro
Linearity and Beyond in Denotational
Semantics (Supervisors Prof. L. Curien, Prof. S. Ronchi della Rocca)
ROGLIA Elena
Geographical map annotation with
social metadata in a surveillance environment(Supervisor Prof. R. Meo)
TERRUGGIA Roberta
Reliability Analysis of
Probabilistic Networks (Supervisor Prof. G. Franceschinis)
VILLATA Serena
Meta-Argumentation for MAS:
Coalition Formation, Merging Views, Subsumption Relations and Dependence
Networks (Supervisors Prof. G. Boella, Prof. L. van der Torre)
XXI ciclo
BACHAR Dipankar
Learning by proximity based
classifiers with ensemble of class descriptive patterns(Supervisor Prof. R.
Meo)
KOLUNDZIJA Marija
Type Systems for Access Control and
Information Flow in Programming Languages(Supervisors Prof. M. Dezani, Prof. G.
Boudol)
JAMALI Abdur
Heuristic
approaches for maximin distance and packing problems (Supervisors Prof. Marco
Locatelli, Prof. Andrea Grosso)
LOVRO
Ilijasic
Computational grids as complex networks
(Supervisor Prof. L. Saitta)
XX ciclo
BASSO Alessandro
Multimedia content protection from
massive automated access and unauthorized distribution (Supervisor Prof. F.
Bergadano)
BECCUTI Marco
Modeling and analysis of
probabilistic systems: formalisms and efficient algorithms (Supervisor Prof. G.
Franceschinis, Prof. S. Haddad)
CORDERO Francesca
Graphical models for the prediction
of transcription factor binding sites
GABOARDI Marco
Linearity: an Analytic Tool in the
Study of Complexity and Semantics of Programming Languages (Supervisors: Prof.
S. Ronchi della Rocca, Prof.JY Marion)
GALASSI Ugo
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
BOTTRIGHI Alessio
Extending computer guideline system with
advanced AI and DB facilities (Supervisor Prof. P. Terenziani)
CHERAN SORIN Cristian
Artificial life models in 3D Worlds: Virtual
Ant Colonies for the Reconstruction of the Bronchial and Vascular Trees and the
Pleura in Lung CTs (Supervisor Prof. N. Balossino)
D'APRILE Davide
Timed and Stochastic Model Checking of Petri
Nets(Supervisor Prof. S. Donatelli)
MICALIZIO
Roberto
On-line Monitoring and Diagnosis of a
Multi-Agent System: a Model-Based Approach (Supervisor Prof. P. Torasso)
POZZATO Gian
Luca
Proof Methods for Conditional and Preferential
Logics (Supervisor Prof. L. Giordano - N. Olivetti)
ROBALDO
Livio
Dependency Tree Semantics (Supervisor Prof. L.
Lesmo)
SCHIFANELLA
Claudio
Reasoning on web services with
choreographies and capabilities (Supervisor Prof. A. Martelli)
SCHIFANELLA
Rossano
A Legal and Efficient Peer-to-Peer Market
Place: Exploiting Fairness and Social Relationships (Supervisor Prof. F. Bergadano)
XVIII ciclo
ANSELMA Luca
Representing and reasoning with
classes and instances of possibly periodic events Theory, algorithms and applications
(Supervisor Prof. P. Terenziani)
BERTOLOTTI Paola
Behavioral Characterization
for Multimedia Documents (Supervisor Prof. M. L. Sapino)
CANONICO Massimo
Scheduling Algorithms for Bag-of-Tasks
Applications on Fault-Prone Desktop Grids (Supervisor Prof. C. Anglano)
CODETTA-RAITERI Daniele
Extended Fault Trees Analysis supported by
Stochastic Petri Nets (Supervisor Prof. A. Bobbio)
DAL CHECCO Paolo
Security, Privacy and Authentication in Shared
Access to Restricted Data (Supervisor Prof. F. Bergadano)
MANINI
Daniele
Performance Evaluation of Complex
Network Applications (Supervisor Prof. M. Sereno)
SAURO Luigi
Formalizing Admissibility Criteria in Coalition
Formation among Goal-directed Agents (Supervisor Prof. G. Boella)
XVII ciclo
CORRENDO Gianluca
Using Contextualization Techniques
for Enhancing Clinical Guidelines Dissemination to Heterogeneous Hospital
Information Systems (Supervisor Prof. P. Terenziani)
LIKAVEC Silvia
Types for Object-Oriented and
Functional Programming Languages (Supervisor Prof. V. Bono, Prof. P. Lescanne)
MAZZEI
Alessandro
Formal and Empirical Issues of
Applying Dynamics to Tree Adjoining Grammars (Supervisor Prof. V. Lombardo)
NUNNARI Fabrizio
ThreeDness: A Framework for the
Creation of Customizable 3D Interfaces (Supervisor Prof. C. Simone)
REMONDINO
Marco
Analysis of Agent Based Paradigms for Complex Social
Systems Simulation (Supervisor Prof. A. Di Leva, P. Giolito)
TORTA
Gianluca
Compact Representation of Diagnoses
for Improving Efficiency in Model Based Diagnosis (Supervisor Prof. P. Torasso)
VALENTE Giulio
Artificial Intelligence Methods in
Operational Knowledge Management (Supervisor Prof. P. Torasso)
XVI ciclo
BARAVALLE Andres
Web Usability: Roots And Approaches(Supervisor
Prof. L. Console)
LANFRANCHI Vitaveska
A Multimodal Approach to Ubiquitous Information
Management (Supervisor Prof. L. Console)
SERRA Alessandro
Improved Bayesian Network
Classifiers using Feature Construction (Supervisor Prof. L. Portinale)
XV ciclo
BALLARINI Paolo
Towards
compositional CSL model checking (Supervisor Prof.ssa S. Donatelli, Prof.ssa
Jane Hillston)
BERNARDI Simona
Building Stochastic Petri Net models
for the verification of complex software systems (Supervisor Prof.ssa S.
Donatelli)
ESPOSITO
Roberto
Analyzing Ensamble Learning in the
Framework of Monte Carlo Theory (Supervisor Prof.ssa L. Saitta)
DEPIERRO
Massimiliano
Structural analysis of conflicts and causality
in GSPN and SWN: theory and applications. (Supervisor Prof.ssa G.
Franceschinis)
XIV ciclo
BOSCO
Cristina
A grammatical relation system for
treebank annotation (Supervisor Prof. V. Lombardo)
PALANO Beatrice
Synthesis
of Unary Quantum Automata from Periodic Events (Supervisor Prof. A. Bertoni,
Prof.ssa M. Dezani)
PICARDI Claudia
Diagnosis from System Modelling to
On-Board Software (Supervisor Prof. L. Console)
SARINI
Marcello
Alignment of meanings and of
protocols as a form of articulation work in cooperation (Supervisor Prof.ssa C.
Simone)
VALENTE Andrea
Abstract machines for mobility:
theory and implementation (Supervisor Prof.ssa P. Giannini)
XIII ciclo
DAMIANO Rossana
The role of norms in intelligent reactive
agents (Supervisor Prof. L.Lesmo)
GLIOZZI Valentina
Belief
Revision and Conditional Logics (Supervisor Laura Giordano, Nicola Olivetti)
GRIBAUDO Marco
Hybrid Formalisms for Performance Evaluation:
Theory and Application (Supervisor Prof. Gianfranco Balbo)
PANATI Andrea
Constraint
Processing Techniques for Model-Based Reasoning about Dynamic Systems
(Supervisor Prof. Daniele Theseider Duprè, Prof. Luca Console)
XII ciclo
PATTI
Viviana
Programming Rational Agents: a Modal
Approach in a Logic Programming Setting (Supervisor Prof. A. Martelli)
XI ciclo
BOELLA Guido
Agenti
Intelligenti per l'Interazione Uomo-Macchina (Supervisor Prof. L.Lesmo)
RUFFO
Giancarlo
Learning Single and Multiple
Instance Decision Trees for Computer Security Applications (Supervisor prof.
F.Bergadano)
CAPRA Lorenzo
TROMBETTA Alberto
Representing
and querying imprecise data (Supervisors: Prof. A.Di Leva, Prof. E. Bertino,
Prof. D. Montesi)
X ciclo
BONO Viviana
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
BALDONI
Matteo
Normal Multimodal Logics: Automatic Deduction
and Logic Programming Extension (Supervisor Prof. A.Martelli; co-rel. dr. L.Giordano)
BRUSONI Vittorio
Temporal
reasoning in data and knowledge bases (Supervisor Prof. L. Console)
DAMIANI
Ferruccio
Non-standard type inference for functional
programs (Supervisor Prof. M.Coppo; co-rel. Prof. P.Giannini)
CAVAGNINO
Davide
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
GAETA
Rossano
Performance Analysis of ATM Communication
Networks by Timed Petri Nets: Methodological Advances and New Simulation
Algorithms (Supervisor prof. G. Balbo; co-rel. M.A. Marsan e Prof. G. Chiola)
NERI Filippo
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
ARDISSONO Liliana
Dynamic
User Modeling and Plan Recognition in Dialogue (Supervisor Prof. L. Lesmo)
CERVESATO Iliano
Un Logical
Framework Lineare (Supervisor Prof. A. Martelli)
GUNETTI
Daniele
Inductive Logic
Program Development (Supervisor F. Bergadano)
LIQUORI Luigi
Type Assigment
Systems for Lambda Calculi and for the Lambda Calculus of Objects
MEREGHETTI Carlo
Macchine di Turing limitate in spazio,
inversioni ed ambiguità (Rel. A. Bertoni)
VI ciclo
ANGLANO
Cosimo
A Formalism for
Hierarchical Modeling of Heterogeneous Applications
BOERIO Luca
Optimizing
Programs Extracted from Proofs
OLIVETTI
Nicola
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
PORTINALE
Luigi
Petri Net Models
for Diagnostic Knowledge Representation and Reasoning (Supervisor Prof.
P.Torasso)
THESEIDER
DUPRÉ Daniele
Characterizing and Mechanizing Abductive
Reasoning
IV ciclo
BARBANERA Franco
Il testimone: da prove classiche attraverso
sistemi di riscrittura
BOTTA Marco
WHY: Uno Strumento per l'Acquisizione e il
Raffinamento di una Base di Conoscenza Diagnostica (Rel. Prof. L.Saitta, Prof.
A. Giordana)
FRANCESCHINIS Giuliana
GIORDANO Laura
Linguaggi Logici con Blocchi e Moduli (Rel.
Prof. A. Martelli)
LOMBARDO Vincenzo
Interpretazione incrementale e deterministica
del linguaggio naturale
MALACARIA Pasquale
Semantica della riduzione del lambda calcolo:
Dalle macchine ad ambienti alla geometria dell'interazione
SAPINO Maria Luisa
Estensioni ed applicazioni della negazione
come fallimento in programmazione logica (Rel. Prof. A. Martelli)
SERENO Matteo
Aspetti Computazionali delle Soluzioni di
Modelli Basati su Reti di Petri Stocastiche (Rel. Prof. G.Balbo)
TERENZIANI Paolo
III ciclo
BERGADANO Francesco
Apprendimento Automatico: un metodo generale di
inferenza induttiva e le sue applicazioni (Rel. Prof. L.Saitta)
CONSOLE Luca
II ciclo
CARDONE Felice
Tipi Ricorsivi e Inheritance in Linguaggi
Funzionali (Relatore: Prof. M. Coppo , Co-relatori: Prof. Mariangiola Dezani,
Prof. G. Longo
DONATELLI Susanna
L'uso delle reti di Petri per la valutazione e
la validazione di sistemi di grandi dimensioni (Rel. Prof. G. Balbo)