Sign In

Ph.D. theses since 1988 until 1998

1/88 Paolo CiancariniSpecifica e Realizzazione di Ambienti di Sviluppo Software
2/88 Moreno FalaschiSemantica del non-determinismo nei linguaggi logici concorrenti
3/88 Paolo MancarellaLa Negazione Intensionale di Programmi Logici
4/88 Simone MartiniModelli non Estensionali del Polimorfismo in Programmazione
5/88 Catuscia PalamidessiStrutture ed Ordinamenti Parziali nella Semantica Dichiarativa dei Linguaggi Logici
6/88 Dino Pedreschi, Programmazione Logica: Semantica ComposizionaleStrutture Algebriche e Programmi Completi
7/88 Gianna ReggioUna Metodologia per la Specifica di Sistemi e Linguaggi Concorrenti
1/90 Maria Grazia ScutellàA Unified Algorithmic Framework for Max-Flow Computations
2/90 Giovanni M. PinnaPetri Nets and Their Composition Problems
3/90 Laura RicciCompilation of Logic Programs for Massively Parallel Systems
4/90 Gian Luigi FerrariUnifying Models of Concurrency
5/90 Marco DaneluttoA Massively Parallel Architecture Using VLIW for Fine Grain Parallelism Exploitation
6/90 Giorgio GhelliProof Theoretic Studies About a Minimal Type System Integrating Inclusion and Parametric Polymorphism
7/90 Andrea G. AspertiCategorical Topics in Computer Science
8/90 Andrea CorradiniAn Algebraic Semantics for Transition Systems and Logic Programming
1/91 Roberto M. AmadioRecursion and Subtyping in Lambda Calculi
2/91 Roberto Gorrieri, RefinementAtomicity and Transactions for Process Description Languages
3/91 Salvatore OrlandoExploiting Synchronous Models for Distributed Memory Multiprocessor Architectures
4/91 Song XiaoyuVLSI Routing Algorithms in Diagonal Models
1/93 Bruno BertolinoFault Diagnosis and Abductive Logic Programming
2/93 Antonio BrogiProgram Construction in Computational Logic
3/93 Antonio BucciarelliSequential Models of PCF: Some Contributions to the Domain-Theoretic Approach to Full Abstraction
4/93 Maura CerioliRelationships between Logical Formalisms
5/93 Roberto Di CosmoIsomorphisms of Types
6/93 Pietro Di GianantonioA Functional Approach to Computability on Real Numbers
7/93 Claudia FassinoComputation of Matrix Functions
8/93 Cosimo LaneveOptimality and Concurrency in Interaction Systems
9/93 Federico MalucelliQuadratic Assignment Problems: Solution Methods and Applications
10/93 Andrea MasiniA Proof Theory of Modalities for Computer Science
11/93 Susanna PelagattiA Methodology for the Development and the Support of Massively Parallel Programs
12/93 Daniele PretolaniSatisfiability and Hypergraphs
13/93 Geppino PucciParallel Computational Models and Data Structures
14/93 Francesca RossiConstraints and Concurrency
15/93 Piero BonattiThree-valued Beliefs and Provability and the Semantics of Logic Programs
16/93 Antonio CeroneA Net-based Approach for Specifying Real- Time Systems
17/93 Maurizio GabbrielliThe Semantics of Logic Programming as a Programming Language
18/93 Roberto GiacobazziSemantic Aspects of Logic Program Analysis
19/93 Roberto GrossiOn Suffix Trees and Related Pattern Matching Problems
20/93 Danilo MontesiA Model for Updates and Transactions in Deductive Databases
21/93 Adriano PeronSynchronous and Asynchronous Models for Statecharts
22/93 Alessandro SperdutiOptimization and Functional Reduced Descriptors in Neural Networks
23/93 Daniel Norberto YankelevichParametric Views of Process Description Languages
1/94 Enrico BozzoMatrix Algebras and Discrete Transforms
2/94 Roberto Di MeglioDynamic Computations in Massively Parallel Programming Models
3/94 Alessandra Di PierroNegation and Infinite Computations in Logic Programming
4/94 Gabriella Rago, OptimizationHypergraphs and Logical Inference
5/94 Gioia RistoriModelling Systems with Shared Resources via Petri Nets
6/94 Vladimiro Sassone, On the Semantics of Petri Nets: ProcessesUnfoldings and Infinite Computations
1/95 Alessandro Roncato, On Some Models of Computation: Relations Feasibilityand Computational Bounds
2/95 Luca RoversiSemantics of lambda-calculi designed from Intuitionistic Linear Logic
1/96 Agostino DovierComputable Set Theory and Logic Programming
2/96 Fabio GadducciOn the Algebraic Approach to Concurrent Term Rewriting
3/96 Stefano GuerriniTheoretical and Practical Iusses of Optimal Implementations of Functional Languages
4/96 Alessio GuglielmiAbstract Logic Programming in Linear Logic Independence and Causality in a First Order Calculus
5/96 Luciano MargaraCellular Automata and Chaos
6/96 Maria-Chiara MeoA framework for Reasoning about Semantics of Logic Programs
7/96 Angelo MontiParallel Computation and Systolic Binary Tree Automata
8/96 Corrado PriamiEnhanced Operational Semantics for Concurrency
9/96 Paola QuagliaThe pi-calculus with Explicit Substitutions
10/96 Laura SeminiRefinement in Tuple Space Languages
1/97 Roberto BagnaraData-Flow Analysis for Constraint Logic-Based Languages
2/97 Giorgio DelzannoLogic & Object-Oriented Programming in Linear Logic
3/97 Paolo FerraginaDynaminc Data Structures for String Matching Problems
4/97 Giuseppe FiorentinoTau Matrices and Generating Functions for Solving Toeplitz Systems
5/97 Antonio FrangioniDual-Ascent Methods and Multicommodity Flow
6/97 Francesca LeviVerification of Temporal and Real-Time Properties of Statecharts
7/97 Marino MiculanEncoding Logical Theories of Programs
8/97 Fabrizio PetriniCommunication Performance of Wormhole Interconnection Networks
1/98 Davide AnconaModular Formal Frameworks for Module Systems
2/98 Anna BernasconiMathematical Techniques for the Analysis for Boolean Functions
3/98 Paolo CignoniScientific Visualization Based on Simplicial Complexes
4/98 M. Claudia ClòScheduling of Hard Real Time Messages in Single-hop Communication Networks
5/98 Marco CominiAn Abstract Interpretation Framework of Semantics and Diagnosis of Logic Programs
6/98 Marina LenisaThemes in Final Semantics
7/98 Chiara RensoMechanism for Semantic Integration for Deductive databases