 | 2009 |
|---|
| 58 |       | Giorgio Delzanno,
Cinzia Di Giusto,
Maurizio Gabbrielli,
Cosimo Laneve,
Gianluigi Zavattaro:
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages.
CMSB 2009: 158-172 |
| 57 | | Cosimo Laneve,
Sylvain Pradalier,
Gianluigi Zavattaro:
From Biochemistry to Stochastic Processes.
Electr. Notes Theor. Comput. Sci. 253(3): 167-185 (2009) |
| 56 | | Samuele Carpineti,
Cosimo Laneve,
Luca Padovani:
PiDuce - A project for experimenting Web services technologies.
Sci. Comput. Program. 74(10): 777-811 (2009) |
| 2008 |
|---|
| 55 | | Cosimo Laneve,
Luca Padovani:
The Pairing of Contracts and Session Types.
Concurrency, Graphs and Models 2008: 681-700 |
| 54 | | Cosimo Laneve,
Antonio Vitale:
Expressivity in the kappa Family.
Electr. Notes Theor. Comput. Sci. 218: 97-109 (2008) |
| 53 | | Cosimo Laneve,
Fabien Tarissan:
A simple calculus for proteins and cells.
Theor. Comput. Sci. 404(1-2): 127-141 (2008) |
| 52 | | Alberto Credi,
Marco Garavelli,
Cosimo Laneve,
Sylvain Pradalier,
Serena Silvi,
Gianluigi Zavattaro:
nanoK: A calculus for the modeling and simulation of nano devices.
Theor. Comput. Sci. 408(1): 17-30 (2008) |
| 2007 |
|---|
| 51 | | Alberto Credi,
Marco Garavelli,
Cosimo Laneve,
Sylvain Pradalier,
Serena Silvi,
Gianluigi Zavattaro:
Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus.
CMSB 2007: 168-183 |
| 50 | | Cosimo Laneve,
Luca Padovani:
The Must Preorder Revisited.
CONCUR 2007: 212-225 |
| 49 | | Cosimo Laneve,
Fabien Tarissan:
A Simple Calculus for Proteins and Cells.
Electr. Notes Theor. Comput. Sci. 171(2): 139-154 (2007) |
| 48 | | Vincent Danos,
Cosimo Laneve:
Preface.
Electr. Notes Theor. Comput. Sci. 180(3): 1-2 (2007) |
| 47 | | Philippa Gardner,
Cosimo Laneve,
Lucian Wischik:
Linear forwarders.
Inf. Comput. 205(10): 1526-1550 (2007) |
| 2006 |
|---|
| 46 | | Samuele Carpineti,
Cosimo Laneve:
A Basic Contract Language for Web Services.
ESOP 2006: 197-213 |
| 45 | | Cosimo Laneve,
Luca Padovani:
Smooth Orchestrators.
FoSSaCS 2006: 32-46 |
| 44 | | Samuele Carpineti,
Giuseppe Castagna,
Cosimo Laneve,
Luca Padovani:
A Formal Account of Contracts for Web Services.
WS-FM 2006: 148-162 |
| 43 | | Samuele Carpineti,
Cosimo Laneve:
A Rude Contract Language for Web Services.
Electr. Notes Theor. Comput. Sci. 162: 147-152 (2006) |
| 2005 |
|---|
| 42 | | Samuele Carpineti,
Cosimo Laneve,
Paolo Milazzo:
BoPi - A Distributed Machine for Experimenting Web Services Technologies.
ACSD 2005: 202-211 |
| 41 | | Allen L. Brown Jr.,
Cosimo Laneve,
L. Gregory Meredith:
PiDuce: A Process Calculus with Native XML Datatypes.
EPEW/WS-FM 2005: 18-34 |
| 40 | | Cosimo Laneve,
Gianluigi Zavattaro:
Foundations of Web Transactions.
FoSSaCS 2005: 282-298 |
| 39 | | Cosimo Laneve,
Gianluigi Zavattaro:
web-pi at Work.
TGC 2005: 182-194 |
| 2004 |
|---|
| 38 | | Vincent Danos,
Cosimo Laneve:
Formal molecular biology.
Theor. Comput. Sci. 325(1): 69-110 (2004) |
| 2003 |
|---|
| 37 |  | Carlo Blundo,
Cosimo Laneve:
Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings
Springer 2003 |
| 36 | | Vincent Danos,
Cosimo Laneve:
Graphs for Core Molecular Biology.
CMSB 2003: 34-46 |
| 35 | | Philippa Gardner,
Cosimo Laneve,
Lucian Wischik:
Linear Forwarders.
CONCUR 2003: 408-422 |
| 34 | | Vincent Danos,
Cosimo Laneve:
Core Formal Molecular Biology.
ESOP 2003: 302-318 |
| 33 | | Laura Bocchi,
Cosimo Laneve,
Gianluigi Zavattaro:
A Calculus for Long-Running Transactions.
FMOODS 2003: 124-138 |
| 32 | | Cédric Fournet,
Cosimo Laneve,
Luc Maranget,
Didier Rémy:
Inheritance in the join calculus.
J. Log. Algebr. Program. 57(1-2): 23-69 (2003) |
| 31 | | Cosimo Laneve,
Björn Victor:
Solos In Concert.
Mathematical Structures in Computer Science 13(5): 657-683 (2003) |
| 30 | | Cosimo Laneve:
A type system for JVM threads.
Theor. Comput. Sci. 290(1): 741-778 (2003) |
| 2002 |
|---|
| 29 | | Roberto Bruni,
Cosimo Laneve,
Ugo Montanari:
Orchestrating Transactions in Join Calculus.
CONCUR 2002: 321-337 |
| 28 | | Philippa Gardner,
Cosimo Laneve,
Lucian Wischik:
The Fusion Machine.
CONCUR 2002: 418-433 |
| 2001 |
|---|
| 27 | | Cosimo Laneve,
Joachim Parrow,
Björn Victor:
Solo Diagrams.
TACS 2001: 127-144 |
| 26 | | Cédric Fournet,
Cosimo Laneve:
Bisimulations in the join-calculus.
Theor. Comput. Sci. 266(1-2): 569-603 (2001) |
| 2000 |
|---|
| 25 | | Cédric Fournet,
Cosimo Laneve,
Luc Maranget,
Didier Rémy:
Inheritance in the Join Calculus.
FSTTCS 2000: 397-408 |
| 24 | | Gérard Boudol,
Cosimo Laneve:
lambda-calculus, multiplicities, and the pi-calculus.
Proof, Language, and Interaction 2000: 659-690 |
| 1999 |
|---|
| 23 | | Cosimo Laneve:
Calculi for Concurrent Objects (Tutorial).
FMOODS 1999 |
| 22 | | Cosimo Laneve,
Björn Victor:
Solos in Concert.
ICALP 1999: 513-523 |
| 1998 |
|---|
| 21 | | Michele Boreale,
Cédric Fournet,
Cosimo Laneve:
Bisimulations in the join-calculus.
PROCOMET 1998: 68-86 |
| 1997 |
|---|
| 20 | | Cédric Fournet,
Cosimo Laneve,
Luc Maranget,
Didier Rémy:
Implicit Typing à la ML for the Join-Calculus.
CONCUR 1997: 196-212 |
| 19 | | Andrea Asperti,
Cosimo Laneve:
On the Dynamics of Sharing Graphs.
ICALP 1997: 259-269 |
| 1996 |
|---|
| 18 | | Gérard Boudol,
Cosimo Laneve:
The Discriminating Power of Multiplicities in the Lambda-Calculus.
Inf. Comput. 126(1): 83-102 (1996) |
| 17 | | Cosimo Laneve,
Ugo Montanari:
Axiomatizing Permutation Equivalence.
Mathematical Structures in Computer Science 6(3): 219-249 (1996) |
| 16 | | Andrea Asperti,
Cosimo Laneve:
Interaction Systems II: The Practice of Optimal Reductions.
Theor. Comput. Sci. 159(2): 191-244 (1996) |
| 1995 |
|---|
| 15 | | Andrea Asperti,
Cosimo Laneve:
Comparing Lambda-calculus translations in Sharing Graphs.
TLCA 1995: 1-15 |
| 14 | | Gérard Boudol,
Cosimo Laneve:
Termination, deadlock and divergence in the lambda-calculus with multiplicities.
Electr. Notes Theor. Comput. Sci. 1: (1995) |
| 13 | | Roberto Gorrieri,
Cosimo Laneve:
Split and ST Bisimulation Semantics
Inf. Comput. 118(2): 272-288 (1995) |
| 12 | | Andrea Asperti,
Cosimo Laneve:
Paths, Computations and Labels in the lambda-Calculus.
Theor. Comput. Sci. 142(2): 277-297 (1995) |
| 1994 |
|---|
| 11 | | Andrea Asperti,
Vincent Danos,
Cosimo Laneve,
Laurent Regnier:
Paths in the lambda-calculus
LICS 1994: 426-436 |
| 10 | | Andrea Asperti,
Cosimo Laneve:
The Family Relation in Interaction Systems.
TACS 1994: 366-384 |
| 9 | | Cosimo Laneve:
Distributive Evaluations of lambda-calculus.
Fundam. Inform. 20(4): 333-352 (1994) |
| 8 | | Andrea Asperti,
Cosimo Laneve:
Interaction Systems I: The Theory of Optimal Reductions.
Mathematical Structures in Computer Science 4(4): 457-504 (1994) |
| 1993 |
|---|
| 7 | | Andrea Asperti,
Cosimo Laneve:
Interaction Systems.
HOA 1993: 1-19 |
| 6 | | Andrea Asperti,
Cosimo Laneve:
Paths, Computations and Labels in the Lambda-Calculus.
RTA 1993: 152-167 |
| 5 | | Andrea Asperti,
Cosimo Laneve:
Optimal Reductions in Interaction Systems.
TAPSOFT 1993: 485-500 |
| 1992 |
|---|
| 4 | | Cosimo Laneve,
Ugo Montanari:
Axiomatizing Permutation Equivalence in the Lambda-Calculus.
ALP 1992: 350-363 |
| 3 | | Cosimo Laneve,
Ugo Montanari:
Mobility in the CC-Paradigm.
MFCS 1992: 336-345 |
| 1991 |
|---|
| 2 | | Roberto Gorrieri,
Cosimo Laneve:
The Limit of Split_n-Bisimulations for CCS Agents.
MFCS 1991: 170-180 |
| 1989 |
|---|
| 1 | | Alessandro Fantechi,
Stefania Gnesi,
Cosimo Laneve:
An Expressive Temporal Logic for Basic LOTOS.
FORTE 1989: 261-276 |
