|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 8 keywords
|
|
|
|
|
Results
Found 37 publication records. Showing 37 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani |
On Global Types and Multi-Party Session  |
Logical Methods in Computer Science  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Luca Padovani |
Typing Copyless Message Passing |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Luca Padovani |
Polymorphic Endpoint Types for Copyless Message Passing |
ICE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani |
On Global Types and Multi-party Sessions. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani |
Fair Subtyping for Multi-party Session Types. |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Chiara Messa, Luca Padovani |
Typing Copyless Message Passing. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani |
Contract-based discovery of Web services modulo simple orchestrators. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani |
Session Types = Intersection Types + Union Types |
ITRS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi |
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. |
WOA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi |
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. |
MALLOW |
2010 |
DBLP BibTeX RDF |
|
| 1 | Samuele Carpineti, Cosimo Laneve, Luca Padovani |
PiDuce - A project for experimenting Web services technologies. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Nils Gesbert, Luca Padovani |
A theory of contracts for Web services. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
explicit coercions, must testing, Web services, contracts, subtyping, type theory, ccs, concurrency theory |
| 1 | Luca Padovani |
Session Types at the Mirror |
ICE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Luca Padovani |
Contracts for Mobile Processes. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.) |
Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani |
Contract-Based Discovery and Adaptation of Web Services. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |
Foundations of session types. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
communication centered programming, semantic subtyping, testing equivalencies, concurrency, sessions types |
| 1 | Luca Padovani |
Contract-Directed Synthesis of Simple Orchestrators. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Nils Gesbert, Luca Padovani |
A theory of contracts for web services. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
explicit coercions, must testing, web services, contracts, subtyping, type theory, CCS, concurrency theory |
| 1 | Cosimo Laneve, Luca Padovani |
The Pairing of Contracts and Session Types. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosimo Laneve, Luca Padovani |
The Must Preorder Revisited. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Luca Padovani |
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Nils Gesbert, Luca Padovani |
A Theory of Contracts for Web Services. |
PLAN-X |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luca Padovani, Stefano Zacchiroli |
From Notation to Semantics: There and Back Again. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani |
A Formal Account of Contracts for Web Services. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosimo Laneve, Luca Padovani |
Smooth Orchestrators. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Busi, Luca Padovani |
A Distributed Implementation of Mobile Nets as Mobile Agents. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani |
Compilation of Generic Regular Path Expressions Using C++ Class Templates. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani, Riccardo Solmi |
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics. |
MKM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani |
Interactive Editing of MathML Markup Using TEX Syntax. |
TEX, XML, and Digital Typography |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli |
A Generative Approach to the Implementation of Language Bindings for the Document Object Model. |
GPCE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani, Alessandro Provetti |
Qsmodels: ASP Planning in Interactive Gaming Environment. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena |
Mathematical Knowledge Management in HELM. |
Ann. Math. Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Padovani |
On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions. |
MKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena |
XML, Stylesheets and the Re-mathematization of Formal Content. |
Extreme Markup Languages® |
2001 |
DBLP BibTeX RDF |
|
| 1 | Paolo Casarini, Luca Padovani |
The Gnome DOM Engine. |
Extreme Markup Languages® |
2001 |
DBLP BibTeX RDF |
|
| 1 | Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena |
HELM and the Semantic Math-Web. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #37 of 37 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")