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.

Università degli Studi di Udine

Azioni sul documento

Tesi

In questa sezione