• Sei in:
  • Home
  • Phd theses

 

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

Reconfiguration and Replanning for Robus Execution of Plans Involving Continuous and Consumable Resources

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

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)

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

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)

Ultimo aggiornamento: 12/03/2014 12:28
Campusnet Unito
Non cliccare qui!