Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

Luca Padovani
Personal Home Page      Type-Hierarchical Overview
 
Chronological Overview 

2017
Severi, Padovani, Tuosto and Dezani-Ciancaglini"On Sessions and Infinite Data"
Article.

2016
Coppo, Dezani-Ciancaglini, Yoshida and Padovani"Global Progress for Dynamically Interleaved Multiparty Sessions"
Article.
Severi, Padovani, Tuosto and Dezani-Ciancaglini"On Sessions and Infinite Data"
In proceedings.

2015
Coppo, Dezani-Ciancaglini, Padovani and Yoshida"A Gentle Introduction to Multiparty Asynchronous Session Types"
In proceedings.
Laneve and Padovani"An Algebraic Theory for Web Service Contracts"
Article.
Padovani"Fair Subtyping for Multi-Party Session Types"
Article.
Padovani, Chen and Tosatto"Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear pi-Calculi"
In proceedings.
Padovani and Novara"Types for Deadlock-Free Higher-Order Programs"
In proceedings.

2014
Castagna, Nguyen, Xu, Im, Lenglet and Padovani"Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation"
In proceedings.
Dezani-Ciancaglini, Padovani and Pantovic"Session Type Isomorphisms"
In proceedings.
Jakšic and Padovani"Exception Handling for Copyless Messaging"
Article.
Padovani"Deadlock and Lock Freedom in the Linear pi-Calculus"
In proceedings.
Padovani"Type Reconstruction for the Linear pi-Calculus with Composite and Equi-Recursive Types"
In proceedings.
Padovani, Vasconcelos and Vieira"Typing Liveness in Multiparty Communicating Systems"
In proceedings.

2013
Bono, Padovani and Tosatto"Polymorphic Types for Leak Detection in a Session-Oriented Functional Language"
In proceedings.
Coppo, Dezani-Ciancaglini, Padovani and Yoshida"Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions"
In proceedings.
Laneve and Padovani"An Algebraic Theory for Web Service Contracts"
In proceedings.
Padovani"Fair Subtyping for Open Session Types"
In proceedings.
Padovani"From Lock Freedom to Progress Using Session Types"
In proceedings.

2012
Bono and Padovani"Typing Copyless Message Passing"
Article.
Castagna, Dezani-Ciancaglini and Padovani"On Global Types and Multi-Party Sessions"
Article.
Damiani, Padovani and Schaefer"A Formal Foundation for Dynamic Delta-Oriented Software Product Lines"
In proceedings.
Jakšic and Padovani"Exception Handling for Copyless Messaging"
In proceedings.
Padovani"On Projecting Processes into Session Types"
Article.

2011
Bono and Padovani"Polymorphic Endpoint Types for Copyless Message Passing"
In proceedings.
Bono, Messa and Padovani"Typing Copyless Message Passing"
In proceedings.
Castagna, Dezani-Ciancaglini and Padovani"On Global Types and Multi-Party Sessions"
In proceedings.
Padovani"Fair Subtyping for Multi-Party Session Types"
In proceedings.
Padovani"Session Types = Intersection Types + Union Types"
In proceedings.

2010
Baldoni, Baroglio, Bergenti, Boccalatte, Marengo, Martelli, Mascardi, Padovani, Patti, Ricci, Rossi and Santi"MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems"
In proceedings.
Padovani"Contract-Based Discovery of Web Services Modulo Simple Orchestrators"
Article.

2009
Bernardo, Padovani and Zavattaro"Formal Methods for Web Services, International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM'09), Advanced Lectures"
Conference proceedings.
Carpineti, Laneve and Padovani"PiDuce - A Project for Experimenting Web Services Technologies"
Article.
Castagna, Gesbert and Padovani"A Theory of Contracts for Web Services"
Article.
Castagna and Padovani"Contracts for Mobile Processes"
In proceedings.
Castagna, Dezani-Ciancaglini, Giachino and Padovani"Foundations of Session Types"
In proceedings.
Padovani"Contract-based Discovery and Adaptation of Web Services"
Book part.
Padovani"Session Types at the Mirror"
In proceedings.

2008
Castagna, Gesbert and Padovani"A Theory of Contracts for Web Services"
In proceedings.
Laneve and Padovani"The Pairing of Contracts and Session Types"
In proceedings.
Padovani"Contract-Directed Synthesis of Simple Orchestrators"
In proceedings.

2007
Bernardo and Padovani"Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders"
In proceedings.
Castagna, Gesbert and Padovani"A Theory of Contracts for Web Services"
In proceedings.
Laneve and Padovani"The Must Preorder Revisited - An Algebraic Theory for Web Services Contracts"
In proceedings.

2006
Carpineti, Castagna, Laneve and Padovani"A Formal Account of Contracts for Web Services"
In proceedings.
Laneve and Padovani"Smooth Orchestrators"
In proceedings.
Padovani and Zacchiroli"From Notation to Semantics: There and Back Again"
In proceedings.

2005
Busi and Padovani"A Distributed Implementation of Mobile Nets as Mobile Agents"
In proceedings.
Padovani"Compilation of Generic Regular Path Expressions Using C++ Class Templates"
In proceedings.

2004
Padovani, Coen and Zacchiroli"A Generative Approach to the Implementation of Language Bindings for the Document Object Model"
In proceedings.
Padovani"A Math Canvas for the GNOME Desktop"
In proceedings.
Padovani and Solmi"An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics"
In proceedings.
Padovani"Interactive Editing of MathML Markup Using TeX Syntax"
In proceedings.

2003
Asperti, Padovani, Coen, Guidi and Schena"Mathematical Knowledge Management in HELM"
Article.
Padovani"MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality"
Article.
Padovani"On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions"
In proceedings.

2002
Casarini and Padovani"The GNOME DOM Engine"
Article.
Padovani"A Standalone Rendering Engine for MathML"
In proceedings.
Xie, Watt and Padovani"A Lisp Subset Based on MathML"
In proceedings.

2001
Asperti, Padovani, Coen and Schena"Formal Mathematics on the Web"
In proceedings.
Asperti, Padovani, Coen and Schena"HELM and the Semantic Math-Web"
In proceedings.
Asperti, Padovani, Coen and Schena"XML, Stylesheets and the Re-mathematization of Formal Content"
In proceedings.
Casarini and Padovani"The GNOME DOM Engine"
In proceedings.

 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!