Theses

Below is the list of Ph.D. theses in Mathematics awarded by the University of Pisa, grouped by the year of defense.

2023

Name Surname Title of the Thesis Supervisor(s)
Konstantinos Bessas Nonlocal Models in Calculus of Variations Matteo Novaga
Luca Briani Medeiros Dos Santo Shape optimization problems with competing terms Giuseppe Buttazzo
Irene Cavallari Patched dynamics and perturbation theory in some problems of Celestial Mechanics Giulio Baù and Giovanni Federico Gronchi
Domenico Marasco Efficient cycles for $H^2 \times H^2$ and products in bounded cohomology Roberto Frigerio
Andrea Parma Horizontal decompositions and smooth embeddings of rational homology balls Paolo Lisca
Moreno Pierobon Nonstandard and boolean valued models, and interactions with combinatorics, dynamics, and sheaf theory Mauro Di Nasso

2022

Name Surname Title of the Thesis Supervisor(s)
Ludovico Battista Hyperbolic 4-manifolds, perfect circle-valued Morse functions and infinitesimal rigidity Bruno Martelli
Michele Carmassi The B-orbits on a Hermitian symmetric variety: the characteristic 2 case and the Bruhat G-order Andrea Maffei

2021

Name Surname Title of the Thesis Supervisor(s)
Leonardo Henrique Caldeira Pires Ferrari Hyperbolic manifolds and coloured polytopes Bruno Martelli
Federico Cesare Giorgio Conti Surfaces close to the Severi lines Rita Pardini
Obinna Kennedy Idu Higher order rectifiability criteria and a model for soap films Giovanni Alberti
Luigi Marangio Rigorous computational methods for understanding the statistical behavior of random dynamical systems. Stefano Galatolo and Christophe Guyeux
Riccardo Piovani Differential operators on complex manifolds Adriano Tomassini
Chiara Spagnoli The eventual map for irregular varieties Rita Pardini
Matteo Verzobio Primitive divisors of elliptic divisibility sequences Roberto Dvornicich

2020

Name Surname Title of the Thesis Supervisor(s)
Marco Fenucci Variational methods and Hamiltonian perturbation theory applied to the N-body problem: a theoretical and computational approach Giovanni Federico Gronchi
Alessio Moscariello Lacunary polynomials and compositions Roberto Dvornicich and Umberto Zannier
Marco Pozzetta Willmore-type energies of curves and surfaces Matteo Novaga
Karim Rakhimov Dynamics of geodesics for meromorphic connections on Riemann surfaces Marco Abate

2019

Name Surname Title of the Thesis Supervisor(s)
Francesco Bartaloni Infinite horizon optimal control problems with non-compact control space. Existence results and dynamic programming Fausto Gozzi and Paolo Acquistapace
Giacomo Del Nin Some asymptotic results on the global shape of planar clusters Giovanni Alberti
Alessandro Iraci Macdonald polynomials and the Delta conjecture Michele D'Adderio and Giovanni Gaiffi
Marta Leocata Some perspectives on mathematical modeling for aggregation phenomena Franco Flandoli
Valerio Pagliari Asymptotic behaviour of rescaled nonlocal functionals and evolutions Matteo Novaga
Andrea Vaccaro $\mathbb{C}^\ast$-algebras and the Uncountable: a systematic study of the combinatorics of the uncountable in the noncommutative framework Alessandro Berarducci and Ilijas Farah

2018

Name Surname Title of the Thesis Supervisor(s)
Alessio Del Vigna On Impact Monitoring of Near-Earth Asteroids Andrea Milani Comparetti
Kirill Kuzmin Quasi-isometric rigidity for universal covers of manifolds with a geometric decomposition Roberto Frigerio
Giacomo Lari The Galilean satellites' dynamics and the estimation of the Jovian system's dissipation from JUICE data Andrea Milani Comparetti
Hélène Ma On the determination of preliminary orbits and detection of possible conjunctions for space debris Giovanni Federico Gronchi and Andrea Milani Comparetti
Marco Moraschini On Gromov’s theory of multicomplexes: the original approach to bounded cohomology and simplicial volume Roberto Frigerio
Oscar Papini Computational Aspects of Line and Toric Arrangements Giovanni Gaiffi and Mario Salvetti
Harish Shrivastava Shape optimisation problems for integral functionals and regularity properties of optimal domain Giuseppe Buttazzo
Sara Ugolini Varieties of residuated lattices with an MV-retract and an investigation into state theory Andrea Sorbi and Tommaso Flaminio

2017

Name Surname Title of the Thesis Supervisor(s)
Valeria De Mattei New approaches to Mean Field Game Theory Franco Flandoli
Anna Rita Giammetta Perturbed Hamiltonians in one dimension: analysis for linear and nonlinear Schrödinger problems Vladimir Simeonov Gueorguiev
Francesca Malagoli Continued fractions in function fields: polynomial analogues of McMullen's and Zaremba's conjectures Umberto Zannier
Stefano Riolo Cone-manifolds and hyperbolic surgeries Bruno Martelli
Melaine Saillenfest Secular theories and orbital dynamics beyond Neptune Giacomo Tommei
Giulia Signorini Le convinzioni e le emozioni degli insegnanti sulle prove INVALSI di matematica. La ricerca qualitativa di profili attraverso un approccio "grounded" Pietro Di Martino
Nicoletta Tardini Cohomological aspects on complex and symplectic manifolds Adriano Tomassini

2016

Name Surname Title of the Thesis Supervisor(s)
Fabrizio Bianchi Motions of Julia sets and dynamical stability in several complex variables Marco Abate and François Berteloot
Alessio Carrega Shadows and quantum invariants Bruno Martelli
Tommaso Colozza Risk premia and European debt crisis: CDS-hedging, Ponzi public finance and a dynamic approach to sovereign default Stefano Marmi
Federico Franceschini Simplicial volume and relative bounded cohomology Roberto Frigerio
Augusto Gerolin Multi-marginal optimal transport and potential optimization problems for Schrodinger operators Giuseppe Buttazzo
Andrea Margheri A Formal Approach to Specification, Analysis and Implementation of Policy-based Systems Rosario Pugliese
Alessandra Pluda Minimal and evolving networks Matteo Novaga and Carlo Mantegazza
Daniele Serra Satellite Geodesy of other planets Andrea Milani Comparetti
Francesco Strazzanti A family of quotients of the Rees algebra and rigidity properties of local cohomology modules Enrico Sbarra

2015

Name Surname Title of the Thesis Supervisor(s)
Marco Caroccia On the isoperimetric properties of planar N-clusters Giovanni Alberti and Francesco Maggi
Matteo Serventi Combinatorial and geometric invariants of configuration spaces Giovanni Gaiffi and Mario Salvetti
Giovanni Alessandro Zanco Infinite-dimensional methods for path-dependent stochastic differential equations Franco Flandoli

2014

Name Surname Title of the Thesis Supervisor(s)
Serena Guarino Lo Bianco Some optimization problems in mass transport theory Giuseppe Buttazzo
David Petrecca On some problems in Sasakian and Kaehler geometry Fabio Podestà

2013

Name Surname Title of the Thesis Supervisor(s)
Daniele Angella Cohomological aspects of non-Kähler manifolds Adriano Tomassini
Andrea Marchese Two applications of the Theory of Currents Giovanni Alberti
Matteo Scienza Differentiability properties and characterization of H-convex functions Valentino Magnani
Giovanni Viglietta Guarding and Searching Polyhedra Linda Pagli

2012

Name Surname Title of the Thesis Supervisor(s)
Stefano Cicalò On theoretical and experimental aspects of the rotation of celestial bodies Andrea Milani Comparetti
Michele Coscia Multidimensional network analysis Dino Pedreschi
Davide Farnocchia Population orbit determination: Algorithms and Simulations Andrea Milani Comparetti
Nguyet Minh Mach Weak solution to rate-independent systems: Existence and Regularity Giovanni Alberti
Vanni Noferini Polynomial Eigenproblems: a Root-Finding Approach Luca Gemignani and Dario Andrea Bini
Cristina Pagliantini Relative (continuous) bounded cohomology and simplicial volume of hyperbolic manifolds with geodesic boundary Roberto Frigerio
Claudio Vairo Dynamic Detection and Tracking of Composite Events in Wireless Sensor Networks Stefano Chessa and Giuseppe Amato

2011

Name Surname Title of the Thesis Supervisor(s)
Sara Checcoli On fields of algebraic numbers with bounded local degrees Umberto Zannier
Selena Marinelli Zeros and degrees of characters of finite groups Silvio Dolfi and Gabriel Navarro Ortega
Al- hassem Nayam Shape optimization problems of higher codimension Giuseppe Buttazzo
Isaia Nisoli A general approach to Lehmann-Suwa-Khanedani index theorems: partial holomorphic connections and extensions of foliations Marco Abate
Fionntan Roukema Dehn surgery on the minimally twisted five-chain link Bruno Martelli and Carlo Petronio

2010

Name Surname Title of the Thesis Supervisor(s)
Lorenzo Brasco Geodesics and PDE methods in transport models Giuseppe Buttazzo and Guillaume Carlier and Filippo Santambrogio
Tiziano Casavecchia Rigidity of holomorphic generators of one-parameter semigroups and a non-autonomous Denjoy-Wolff theorem Marco Abate
Nevio Dubbini Left invertibility of I/O quantized systems: IFS, number theory, cryptography, algorithms Benedetto Piccoli
Ana Garcia Lecuona On the slice-ribbon conjecture for Montesinos knots Paolo Lisca
Jmmy Alfonso Mauro Some analytic questions in mathematical physic problems Vladimir Simeonov Gueorguiev and Paolo Maremonti
Francesca Mori Minimality of hyperplane arrangements and configuration spaces: a combinatorial approach Mario Salvetti
Jasmin Raissy Geometrical methods in the normalization of germs of biholomorphisms Marco Abate

2009

Name Surname Title of the Thesis Supervisor(s)
Luca Caputo On the structure of étale wild kernels of number fields Roberto Dvornicich and Jean-François Jaulent
Giovanni Catino Some Integral Pinching Results in Riemannian Geometry Carlo Mantegazza and Zindine Djadli
Kartoué Mady Demdah Théorèmes de h-cobordisme et de s-cobordisme semi-algébriques Fabrizio Broglia and Michel Coste
Marco Mazzucchelli Periodic Orbits of Tonelli Lagrangian Systems Alberto Abbondandolo
Marco Strambi Effective estimates for coverings of curves over number fields Roberto Dvornicich and Yuri F. Bilu

2008

Name Surname Title of the Thesis Supervisor(s)
Carlo Bertolli Fault Tolerance for High-Performance Applications Using Structured Parallelism Models Marco Vanneschi
Filippo Bonchi Abstract Semantics by Observable Contexts Ugo Giovanni Erasmo Montanari
Annalisa Castellucci $\phi$-Subgaussian random processes: properties and their applications Rita Giuliano
Davide Catania Linear and nonlinear perturbed wave equations Vladimir Simeonov Gueorguiev
Andreea Moldovan On Regularity for Constrained Extremum Problems Franco Giannessi
Laura Paladino Local-global divisibility problems for elliptic curves Roberto Dvornicich
Giulio Peruginelli Integer values of polynomials Umberto Zannier
Carlo Sias Control of matter wave tunneling in an optical lattice Ennio Arimondo
Sebastiano Silla Valuing guaranteed annuity options using the principle of equivalent utility Matheus R. Grasselli
Francesco Tantussi Surface nano-structuring with neutral cold cesium atoms Ennio Arimondo
Qinghua Zhang Outer Approximation Algorithms for DC Programs and Beyond Giancarlo Bigi and Antonio Frangioni

2007

Name Surname Title of the Thesis Supervisor(s)
Marina Cosentino Connectance and Stability in Systems with a Large Number of Degrees of Freedom Claude Froeschlé
Francesco Degli Innocenti On the relations between discrete and continuous dynamics in C2 Filippo Bracci
Bruno Iannazzo Numerical Solution of Certain Nonlinear Matrix Equations Dario Andrea Bini
Gabriele Ranieri Rang de l'image du groupe des unites; conjecture de Bremner Roberto Dvornicich and Francesco Amoroso
Luigi Vezzoni The Geometry of Some Special $\mathsf{SU}(n)$-structures Paolo De Bartolomeis

2006

Name Surname Title of the Thesis Supervisor(s)
Angel Ivanov Nonlinear evolution equations in mathematical physics Vladimir Simeonov Gueorguiev
Vittoria Pierfelice Dispersive Equations on Manifolds Vladimir Simeonov Gueorguiev and Piero Antonio D'Ancona
Mirko Tarulli Di Giallonardo Smoothing-Strichartz estimates for dispersive equations perturbed by a first-order differential operator Vladimir Simeonov Gueorguiev
Roberta Tognari Some Elliptic Equations with Irregular and Unbounded Coefficients Giuseppe Da Prato
Giacomo Tommei Impact monitoring of Near-Earth Objects: theoretical and computational results Andrea Milani Comparetti
Giuseppe Zurlo Material and Geometric Phase Transitions in Biological Membranes Luca Deseri and Roberto Paroni

2005

Name Surname Title of the Thesis Supervisor(s)
Fabrizio Baccetti Origine e destino dei "Conicorum Elementorum Quintus et Sextus" Pier Daniele Napolitani
Francesca Boccalini Metodi numerici per il calcolo di punti di intersezione di curve razionali piane di Bézier Luca Gemignani
Luca Granieri Mass transportation problems and minimal measures Giuseppe Buttazzo

2004

Name Surname Title of the Thesis Supervisor(s)
Gennaro Amendola Minimal spines and skeleta of non-orientable 3-manifolds and bricks Carlo Petronio
Manuela Bagnasco Il metodo QR per matrici semiseparabili: aspetti teorici e computazionali Dario Andrea Bini
Jacopo Bellazzini Mathematical methods to characterize complexity in turbulent processes Guido Buresti
Mario Cifelli NMR in an inhomogeneous B₀ field: application to MR imaging and diffusometry Carlo Alberto Veracini
Dario Colazzo Path Correctness for XML Queries: Characterization and Static Type Checking Giorgio Ghelli
Andrea Davini Finsler metrics in optimization problems and Hamilton-Jacobi equations Giuseppe Buttazzo
Valentina Domenici Orientational order and dynamics by means of 2H-NMR on rod-like and banana-shaped liquid crystals: new developments Carlo Alberto Veracini
Marco Gipo Ghimenti Geodesics in conical manifolds Vieri Benci
Michele Gori Lower semicontinuity and relaxation for integral and supremal functionals Giuseppe Buttazzo and Paolo Marcellini
Raffaele Marcovecchio Carlo Viola and Francesco Amoroso
Ilia Toli On Some Algebraic Methods in Cryptography Carlo Traverso

2003

Name Surname Title of the Thesis Supervisor(s)
Giancarlo Bigi Optimality and Lagrangian Regularity in Vector Optimization Massimo Pappalardo
Claudio Bonanno Applicazione dei metodi di teoria dell'informazione a sistemi dinamici Vieri Benci and Stefano Isola
Francesco Bonchi Fosca Giannotti
Massimiliano Gubinelli Finite-size scaling in non-equilibrium critical phenomena Sergio Caracciolo
Giulia Menconi Nonlinear dynamics and information with applications to biological and physical systems Vieri Benci
Luca Mugnai Relaxation and variational approximation of curvature-dependent functionals in two dimensions, Giovanni Bellettini
Francesca Agnese Prinari Calculus of variations for supremal functionals Giuseppe Buttazzo
Carlo Sartiani Efficient Management of Semistructered XML Data Giorgio Ghelli
Simona Settepanella Cohomologies of generalized pure braid groups and Milnor fibre of reflection arrangements Mario Salvetti
Fabrizio Silvestri High Performance Efficiency Issues in Web Search Engines Raffaele Perego
Roberto Stasi Kolmogorov Equations in $\mathbb{R}^d$ Giuseppe Da Prato

2002

Name Surname Title of the Thesis Supervisor(s)
Antonio Bellezza Integral Duality and the Structure of Tate Cohomology Rings René Schoof
Leonardo Chiezzi Chirality in liquid crystals Carlo Alberto Veracini
Pietro Di Martino
Domenico Fiorenza Feynman Diagrams, Moduli Spaces and the KdV Hierarchy Enrico Arbarello
Stefano Galatolo Information, complexity and weak chaos in dynamical systems. Theory and measurement methods Vieri Benci
Giovanni Federico Gronchi Theoretical and computational aspects of collision singularities in the N–body problem Andrea Milani Comparetti
Tommaso Pacini Flows and deformations of Lagrangian submanifolds in Kaehler­-Einstein Geometry. Gang Tian

2001

Name Surname Title of the Thesis Supervisor(s)
Gianluca Amato Sequent Calculi and Indexed Categories as a Foundation for Logic Programming Giorgio Levi and James Lipton
Stefano Bistarelli Soft Constraint Solving and Programming: a general framework Ugo Giovanni Erasmo Montanari
Luigi De Pascale The Morse-Sard theorem in Sobolev spaces, optimal transport problems and applications Giovanni Alberti and Giuseppe Buttazzo
Silvia Faggian First order Hamilton-Jacobi-Bellman equations in Hilbert spaces, boundary optimal control and applications to economics Fausto Gozzi and Paolo Acquistapace
Paolo Manghi Extracting Typed Values from Semistructured Data Giorgio Ghelli
Dimitri Mugnai Reversed variational inequalities and asymptotically critical points Antonio Marino
Maurizio Parton Hermitian and special structures on products of spheres Paolo Piccinni
Silvia Pizzanelli Dynamics of anisotropic systems by means of NMR Carlo Alberto Veracini and Edward T. Samulski
Giuseppe Prencipe Distributed Coordination of a Set of Autonomous Mobile Robots Linda Pagli and Nicola Santoro
Marco Romito Partial Regularity Theory for a Stochastic Navier-Stokes System Franco Flandoli

2000

Name Surname Title of the Thesis Supervisor(s)
Paolo Baldan Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars Ugo Giovanni Erasmo Montanari
David Barbato Asymptotic behavior of large clusters for percolation of size 3. Franco Flandoli
Luigi Carlo Berselli Some topics in fluid mechanics Hugo Beirao da Veiga and Alberto Valli
Chiara Bodei Security Issues in Process Calculi Pierpaolo Degano
Barbara Busnello A Probabilistic Approach to the 2D and 3D Navier Stokes Equations Franco Flandoli
Ilaria Fragalà Tangential calculus and variational integrals with respect to a measure Giuseppe Buttazzo
Claudia Landi Cohomology rings of Artin groups Mario Salvetti
Sandra Lucente Nonlinear Wave Equations Sergio Spagnolo and Vladimir Simeonov Gueorguiev
Roberto Pignatelli Low Genus Fibrations and Numerical Godeaux Surfaces Fabrizio M. E. Catanese

1999

Name Surname Title of the Thesis Supervisor(s)
Giovanni Becchere Valuation and hedging of American options in incomplete markets: minimum risk strategies Maurizio Pratelli
Silvia Benvenuti Hops algebras and invariants of combed and framed 3-manifolds Riccardo Benedetti
Ariela Briani Hamilton-Jacobi-Bellman equations and Gamma-Convergence for optimal control problems Giuseppe Buttazzo and Paolo Acquistapace
Stefano Chessa Self-Diagnosis of Grid-Interconnected Systems, with Application to Self-Test of VLSI Wafers Piero Maestrini
Giuseppe De Donno Gevrey hypoellipticity for partial differential equations with characteristics of higher multiplicity Luigi Rodino
Francois Ebobisse Bille Fine properties of functions with bounded deformation and applications Luigi Ambrosio
Alessandro Groli Jumping problems for semilinear and quasilinear variational inequalities Claudio Saccon and Antonio Marino

1998

Name Surname Title of the Thesis Supervisor(s)
Elisabetta Beltrami Arc Index of Links Riccardo Benedetti and Hugh Reynolds Morton
Massimo Caboara Optimization of Basic Algorithms in Commutative Algebra Carlo Traverso
Lucia Calucci Studi di struttura e dinamica molecolare in sistemi ordinati e parzialmente ordinati Zeev Luz
Nicoletta Cantarini Representation Theory of Quantized Enveloping Algebras at the Roots of Unity Corrado De Concini
Marco Castellani An Abstract Approach For Optimality Conditions In Nondifferentiable Programming Massimo Pappalardo
Marco Comini An Abstract Interpretation Framework for Semantics and Diagnosis of Logic Programs Giorgio Levi
Pietro Cornacchia Ideal Class Groups of Cyclotomic Fields René Schoof
Marco Fantozzi Poincaré Inequality and Spectral Hap in Ornstein-Uhlenbeck Processes Giuseppe Da Prato
Paola Frediani Real Algebraic Functions Real Algebraic Curves and Their Moduli Spaces Fabrizio M. E. Catanese
Guido Germano Quantum, classical and combined computer simulations of molecular systems Carlo Alberto Veracini and Peter Andrew Kollman
Beatrice Meini Fast Algorithms For The Numerical Solution of Structured Markov Chains Dario Andrea Bini
Francesco Morandin Branching Processes, Nonlinear ODE And Navier-Stokes Equations Franco Flandoli
Paola Trebeschi Esistenza di soluzioni in problemi di ottimizzazione di forma e ostacoli Giuseppe Buttazzo

1997

Name Surname Title of the Thesis Supervisor(s)
Roberto Bagnara Data-Flow Analysis for Constraint Logic-Based Languages Giorgio Levi
Marino Belloni Relaxation of variational problems with Lavrentiev Phenomenon Giuseppe Buttazzo
Chiara Boiti Evoluzione per sistemi differenziali sovradeterminati Mauro Nacinovich
Giampiero Chiaselotti Alcune presentazioni dei gruppi lineari speciali su campi finiti Roberto Dvornicich
Giuseppe Fiorentino Tau Matrices and Generating Functions for Solving Toeplitz Systems Dario Andrea Bini
Giuseppe Melfi Some Problems in Elementary Number Theory and Modular Forms Carlo Viola
Marino Miculan Encoding logical theories of programs Furio Honsell
Edgardo Molina Salazar Alcune applicazioni della teoria di Morse a varieta' di Lorentz Vieri Benci
Monica Musso Esistenza e molteplicita` di soluzioni per equazioni ellittiche nonlineari Donato Passaseo
Giuseppina Vannella Alcune applicazioni della teoria di Morse a problemi di tipo ellittico Vieri Benci

1996

Name Surname Title of the Thesis Supervisor(s)
Alessandra Buonanno Quantum vacuum fluctuations in gravity and string cosmology Michele Maggiore
Anna Candela Molteplicità di soluzioni positive di problemi ellittici non lineari e proprietà topologiche del dominio Donato Fortunato
Agostino Dovier Computable Set Theory and Logic Programming Alberto Policriti
Fabio Gadducci On the algebraic approach to concurrent term rewriting Ugo Giovanni Erasmo Montanari
Cataldo Grammatico Unicità forte per operatori ellittici Ferruccio Colombini
Stefano Guerrini Theoretical and Practical Aspects of Optimal Implementations of Functional Languages Simone Martini and Corrado Böhm
Giovanni La Penna Applicazioni di modelli molecolari semi-dettagliati nella simulazione numerica di materiali parzialmente ordinati Carlo Alberto Veracini and James W. Emsley
Angela Pistoia Un problema ellittico semilineare asintoticamente omogeneo e non simmetrico Antonio Marino
Corrado Priami Enhanced Operational Semantics for Concurrency Pierpaolo Degano
Ivonne Sgura Boundary Value Methods (BVMs) for the numerical approximation of ODEs: properties, applications and comparisons Donato Trigiante

1995

Name Surname Title of the Thesis Supervisor(s)
Domenico Martelli Local Algebras Roberto Longo
Andrea Previtali Structure and character degrees of sylow p-subgroups of finite groups of Lie type Marco Forti and Bertram Huppert
Cecilia Trifogli Luoghi focali di ipersuperfici algebriche The geometry of focal loci Fabrizio M. E. Catanese
Francesco Zucconi Su alcune questioni relative alla applicazione canonica composta con un fascio di grado 3 Fabrizio M. E. Catanese

1994

Name Surname Title of the Thesis Supervisor(s)
Enrico Bozzo Matrix Algebras and Discrete Transforms Dario Andrea Bini
Lorenzo Freddi Rilassamento e convergenza di problemi di controllo ottimo Giuseppe Buttazzo
Paolo Papi Ordinamenti compatibili nei sistemi di radici Claudio Procesi
Oreste Tommasi Emissione stimolata Raman anti-Stokes nell'estremo ultravioletto Franco Strumia

1993

Name Surname Title of the Thesis Supervisor(s)
Francesca Bucci Alcuni risultati sul controllo di Equazioni a Derivate Parziali (Some results on control of Partial Differential Equations) Giuseppe Da Prato
Antonio Bucciarelli Sequential Models of PCF: Some Contributions to the Domain-Theoretic Approach to Full Abstraction Giuseppe Longo
Stefano Caldarelli Studio di moti interni di molecole flessibili in matrici anisotrope Alexander Pines and Carlo Alberto Veracini
Gianfranco Casnati Rivestimenti ramificati di Gorenstein Fabrizio M. E. Catanese
Luca Deseri A Priori Restrictions on the Relaxation Function in Linear Viscoelasticity Gianpietro Del Piero
Roberto Di Cosmo Isomorphisms of Types Giuseppe Longo
Marco Franciosi Immersioni di superficie razionali Fabrizio M. E. Catanese
Roberto Grossi On Suffix Trees and Related Pattern Matching Problems Fabrizio Luccio
Maria Gabriella Paoli Problemi iperbolici non lineari del quarto ordine e applicazioni Alberto Arosio and Roberto Natalini
Geppino Pucci Parallel Computational Models and Data Structures Fabrizio Luccio
Francesca Tovena Alcune applicazioni geometriche della teoria dei fibrati stabili Fabrizio M. E. Catanese
Michela Varagnolo I polinomi armonici e la rappresentazione di Springer nel caso $\mathsf{SL}(n)$ Corrado De Concini

1992

Name Surname Title of the Thesis Supervisor(s)
Domenico Luminati Immersions of surfaces and apparent contours Riccardo Benedetti
Antonio Masiello Metodi variazionali in geometria lorentziana Vieri Benci
Nicola Orrù Problema di Cauchy per equazioni iperboliche lineari Ferruccio Colombini

1991

Name Surname Title of the Thesis Supervisor(s)
Roberto Amadio Recursion and Subtyping in Lambda Calculi Giuseppe Longo
Sandro Manfredini Geometria delle applicazioni polinomiali complesse in una variabile Fabrizio M. E. Catanese
Francesco Serra Cassano Sergio Spagnolo
Xiaoyu Song VLSI Routing Algorithms in Diagonal Models Fabrizio Luccio

1990

Name Surname Title of the Thesis Supervisor(s)
Giorgio Ghelli Proof Theoretic Studies about a Minimal Type System Integrating Inclusion and Parametric Polymorphism Giuseppe Longo
Bruno Rubino Pierangelo Marcati and Venkatesha M. K. Murthy

1989

Name Surname Title of the Thesis Supervisor(s)
Andrea Asperti Categorical topics in computer science Giuseppe Longo

1988

Name Surname Title of the Thesis Supervisor(s)
Paolo Ciancarini Specifying and Prototyping Software Engineering Environments Ugo Giovanni Erasmo Montanari
Claudia Forte Studio di sistemi liquido cristallini e di soluti disciolti mediante la risonanza magnetica nucleare Carlo Alberto Veracini
Simone Martini Modelli non estensionali del polimorfismo in programmazione funzionale Giuseppe Longo
Catuscia Palamidessi Giorgio Levi
Donato Passaseo Molteplicita di soluzioni per diseguaglianze variazionali Antonio Marino
Dino Pedreschi Franco Turini
Daniela Sforza Equazioni integrodifferenziali in spazi di Banach Giuseppe Da Prato
Back to top