The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Cosimo Laneve: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  50. lambda-calculus, multiplicities, and the pi-calculus. [Citation Graph (, )][DBLP]


  51. The Pairing of Contracts and Session Types. [Citation Graph (, )][DBLP]


  52. The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. [Citation Graph (, )][DBLP]


  53. The Expressive Power of Synchronizations. [Citation Graph (, )][DBLP]


  54. Expressivity in the kappa Family. [Citation Graph (, )][DBLP]


  55. From Biochemistry to Stochastic Processes. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002