Ph.D. theses since 1988 until 1998

1/88

Paolo Ciancarini, Specifica e Realizzazione di Ambienti di Sviluppo Software

2/88

Moreno Falaschi, Semantica del non-determinismo nei linguaggi logici concorrenti

3/88

Paolo Mancarella, La Negazione Intensionale di Programmi Logici

4/88

Simone Martini, Modelli non Estensionali del Polimorfismo in Programmazione

5/88

Catuscia Palamidessi, Strutture ed Ordinamenti Parziali nella Semantica Dichiarativa dei Linguaggi Logici

6/88

Dino Pedreschi, Programmazione Logica: Semantica Composizionale, Strutture Algebriche e Programmi Completi

7/88

Gianna Reggio, Una 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. Pinna, Petri Nets and Their Composition Problems

3/90

Laura Ricci, Compilation of Logic Programs for Massively Parallel Systems

4/90

Gian Luigi Ferrari, Unifying Models of Concurrency

5/90

Marco Danelutto, A Massively Parallel Architecture Using VLIW for Fine Grain Parallelism Exploitation

6/90

Giorgio Ghelli, Proof Theoretic Studies About a Minimal Type System Integrating Inclusion and Parametric Polymorphism

7/90

Andrea G. Asperti, Categorical Topics in Computer Science

8/90

Andrea Corradini, An Algebraic Semantics for Transition Systems and Logic Programming

1/91

Roberto M. Amadio, Recursion and Subtyping in Lambda Calculi

2/91

Roberto Gorrieri, Refinement, Atomicity and Transactions for Process Description Languages

3/91

Salvatore Orlando, Exploiting Synchronous Models for Distributed Memory Multiprocessor Architectures

4/91

Song Xiaoyu, VLSI Routing Algorithms in Diagonal Models

1/93

Bruno Bertolino, Fault Diagnosis and Abductive Logic Programming, March 1993

2/93

Antonio Brogi, Program Construction in Computational Logic, March 1993

3/93

Antonio Bucciarelli, Sequential Models of PCF: Some Contributions to the Domain-Theoretic Approach to Full Abstraction, March 1993

4/93

Maura Cerioli, Relationships between Logical Formalisms, March 1993

5/93

Roberto Di Cosmo, Isomorphisms of Types, March 1993

6/93

Pietro Di Gianantonio, A Functional Approach to Computability on Real Numbers, March 1993

7/93

Claudia Fassino, Computation of Matrix Functions, March 1993

8/93

Cosimo Laneve, Optimality and Concurrency in Interaction Systems, March 1993

9/93

Federico Malucelli, Quadratic Assignment Problems: Solution Methods and Applications, March 1993

10/93

Andrea Masini, A Proof Theory of Modalities for Computer Science, March 1993

11/93

Susanna Pelagatti, A Methodology for the Development and the Support of Massively Parallel Programs, March 1993

12/93

Daniele Pretolani, Satisfiability and Hypergraphs, March 1993

13/93

Geppino Pucci, Parallel Computational Models and Data Structures, March 1993

14/93

Francesca Rossi, Constraints and Concurrency, March 1993

15/93

Piero Bonatti, Three-valued Beliefs and Provability and the Semantics of Logic Programs, March 1993

16/93

Antonio Cerone, A Net-based Approach for Specifying Real- Time Systems, March 1993

17/93

Maurizio Gabbrielli, The Semantics of Logic Programming as a Programming Language, March 1993

18/93

Roberto Giacobazzi, Semantic Aspects of Logic Program Analysis, March 1993

19/93

Roberto Grossi, On Suffix Trees and Related Pattern Matching Problems, March 1993

20/93

Danilo Montesi, A Model for Updates and Transactions in Deductive Databases, March 1993

21/93

Adriano Peron, Synchronous and Asynchronous Models for Statecharts, March 1993

22/93

Alessandro Sperduti, Optimization and Functional Reduced Descriptors in Neural Networks, March 1993

23/93

Daniel Norberto Yankelevich, Parametric Views of Process Description Languages, March 1993

1/94

Enrico Bozzo, Matrix Algebras and Discrete Transforms, March 1994

2/94

Roberto Di Meglio, Dynamic Computations in Massively Parallel Programming Models, March 1994

3/94

Alessandra Di Pierro, Negation and Infinite Computations in Logic Programming, March 1994

4/94

Gabriella Rago, Optimization, Hypergraphs and Logical Inference, March 1994

5/94

Gioia Ristori, Modelling Systems with Shared Resources via Petri Nets, March 1994

6/94

Vladimiro Sassone, On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations, March 1994

1/95

Alessandro Roncato, On Some Models of Computation: Relations Feasibility, and Computational Bounds, March 1995

2/95

Luca Roversi, Semantics of lambda-calculi designed from Intuitionistic Linear Logic, March 1995

1/96

Agostino Dovier, Computable Set Theory and Logic Programming, March 1996

2/96

Fabio Gadducci, On the Algebraic Approach to Concurrent Term Rewriting, March 1996

3/96

Stefano Guerrini, Theoretical and Practical Iusses of Optimal Implementations of Functional Languages, March 1996

4/96

Alessio Guglielmi, Abstract Logic Programming in Linear Logic Independence and Causality in a First Order Calculus, March 1996

5/96

Luciano Margara, Cellular Automata and Chaos, March 1996

6/96

Maria-Chiara Meo, A framework for Reasoning about Semantics of Logic Programs, March 1996

7/96

Angelo Monti, Parallel Computation and Systolic Binary Tree Automata, March 1996

8/96

Corrado Priami, Enhanced Operational Semantics for Concurrency, March 1996

9/96

Paola Quaglia, The pi-calculus with Explicit Substitutions, March 1996

10/96

Laura Semini, Refinement in Tuple Space Languages, March 1996

1/97

Roberto Bagnara, Data-Flow Analysis for Constraint Logic-Based Languages, March 1997

2/97

Giorgio Delzanno, Logic & Object-Oriented Programming in Linear Logic, March 1997

3/97

Paolo Ferragina, Dynaminc Data Structures for String Matching Problems, March 1997

4/97

Giuseppe Fiorentino, Tau Matrices and Generating Functions for Solving Toeplitz Systems, March 1997

5/97

Antonio Frangioni, Dual-Ascent Methods and Multicommodity Flow, March 1997

6/97

Francesca Levi, Verification of Temporal and Real-Time Properties of Statecharts, March 1997

7/97

Marino Miculan, Encoding Logical Theories of Programs, March 1997

8/97

Fabrizio Petrini, Communication Performance of Wormhole Interconnection Networks, March 1997

1/98

Davide Ancona, Modular Formal Frameworks for Module Systems, March 1998

2/98

Anna Bernasconi, Mathematical Techniques for the Analysis for Boolean Functions, March 1998

3/98

Paolo Cignoni, Scientific Visualization Based on Simplicial Complexes, March 1998

4/98

M. Claudia Clo', Scheduling of Hard Real Time Messages in Single-hop Communication Networks, March 1998

5/98

Marco Comini, An Abstract Interpretation  Framework of Semantics and Diagnosis of Logic Programs, March 1998

6/98

Marina Lenisa, Themes in Final Semantics, March 1998

7/98

Chiara Renso, Mechanism for Semantic Integration for Deductive databases, March 1998