6 — Albero di navigazione del sito 2 — Salta al contenuto

Università  degli Studi di Udine

Dipartimento di Matematica e Informatica - Università  degli studi di Udine
A | A | A   
Tu sei qui: Portale Ricerca Dottorati di ricerca Informatica Tesi
Azioni sul documento

Tesi

Da questa pagina è possibile scaricare i file PhD delle tesi di dottorato, nonché gli stili LaTeX ufficiali del dipartimento necessari per scrivere la propria tesi.

 

Nome Titolo della Tesi Ciclo
Casagrande Alberto "Hybrid Systems: A First-Order Approach to Verification and Approximation Techniques" XVIII
Dal Palù Alessandro "Constraint Programming Approaches to the Protein Structure Prediction Problem" XVIII
Forti Alberto "DAG Scheduling for Grid Computing Systems" XVIII
Gugliotta Alessio "Knowledge Modelling for Service-oriented Applications in the e-Government Domain" XVIII
Ieronutti Lucio "Integrating Virtual Humans and Evaluating the Navigational Behavior of Users in 3D Virtual Environments" XVIII
Micheloni Christian Thesis is not available because author denied permission XVIII
Puppis Gabriele "Automata for Branching and Layered Temporal Structures" XVIII
Snidaro Lauro Thesis is not available because author denied permission XVIII
 
Nicola Vitacolonna "Intervals: Logics, Algorithms, and Games" XVII
Demis Ballis "Rule-Based Software Verification and Correction" XVII
Raffaella Gentilini "Graph Algorithms for Massive Data-Sets" XVII
Marco Frailis "Data Management and Mining in Astrophysical Databases" XVII
Praveen Boinee "Insights into the Machine Learning: Data Clustering and Classification Algorithms for Astrophysiscal Experiments " XVII
 
Yoko Motohama "Intersection Types and Lambda Models" XVI
Guido Sciavicco "Adventures in Propositional Interval Temporal Logics" XVI
Lorenzo Turicchia Thesis is not available because author denied permission XVI
 
Stefania Gentili "Retrieving Visual Concepts in Image Databases" XV
Walter Vanzella   XV
Alicia Villanueva "Model Checking for the Concurrent Constraint Paradigm" XV
 
Daniela Cancila "Investigations in the Categorical Foundations and Applications of Coalgebras and Hypersets" XIV
Alberto Ciaffaglione "Certified Reasoning on Real Numbers and Objects in Co-inductive Type Theory" XIV
Luca Di Gaspero "Local Search Techniques for Scheduling Problems: Algorithms and Software Tools" XIV
 
Paolo Coppola "On the Complexity of Optimal Reduction of Functional Programming Languages" XIII
Massimo Franceschet "Dividing and Conquering the Layered Land" XIII
Carla Piazza "Computing in Non Standard Set Theories" XIII
Ivan Scagnetto "Reasoning about names in Higher-Order Abstract Syntax" XIII
 
Gianluca Franco "Some Intensional Models of Lambda Calculus" XII
Roberto Ranon "Theories and Techniques of Structural Abstraction for Hierarchical Model-Based Diagnosis" XII

 

  

 Classe LaTeX per scrivere la tesi di dottorato (formato del Dipartimento di Informatica)
 

E' possibile scaricare l'ultima versione del template Latex  del Dipartimento di Matematica ed Informatica, scritto dal professor Marco Comini. Può essere utilizzato per generare una versione A4 normale ed una versione definitiva conforme alle specifiche del Dipartimento.

In questa sezione


Dipartimento di Matematica e Informatica
via delle Scienze 206 - 33100 UDINE
Tel +39-0432-558400 - Fax +39-0432-558499
email: info chiocciola dimi punto uniud punto it
pec: dimi@postacert.uniud.it