|
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 |
2019 | |
Castagna, Dezani-Ciancaglini, Giachino and Padovani | "Foundations of Session Types: 10 Years Later" In proceedings. |
2018 | |
de' Liguoro and Padovani | "Mailbox Types for Unordered Interactions" In proceedings: ECOOP 2018. |
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. |
|
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)