Follow
Cosimo Laneve
Cosimo Laneve
Professor of Computer Science, University of Bologna
Verified email at unibo.it - Homepage
Title
Cited by
Cited by
Year
Formal molecular biology
V Danos, C Laneve
Theoretical Computer Science 325 (1), 69-110, 2004
6132004
A calculus for long-running transactions
L Bocchi, C Laneve, G Zavattaro
Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 …, 2003
2142003
Foundations of web transactions
C Laneve, G Zavattaro
Foundations of Software Science and Computational Structures: 8th …, 2005
1802005
The Must Preorder Revisited
C Laneve, L Padovani
CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007
1282007
A formal account of contracts for web services
S Carpineti, G Castagna, C Laneve, L Padovani
WS-FM 6, 148-162, 2006
1242006
Implicit typing à la ML for the join-calculus
C Fournet, L Maranget, C Laneve, D Rémy
CONCUR'97: Concurrency Theory: 8th International Conference Warsaw, Poland …, 1997
1061997
Paths in the lambda-calculus. Three years of communications without understanding
A Asperti, V Danos, C Laneve, L Regnier
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 426-436, 1994
991994
Interaction systems I: The theory of optimal reductions
A Asperti, C Laneve
Mathematical Structures in Computer Science 4 (4), 457-504, 1994
871994
Core formal molecular biology
V Danos, C Laneve
ESOP 3, 302-318, 2003
822003
Paths, computations and labels in the λ-calculus
A Asperti, C Laneve
Theoretical Computer Science 142 (2), 277-297, 1995
751995
Paths, computations and labels in the λ-calculus
A Asperti, C Laneve
Theoretical Computer Science 142 (2), 277-297, 1995
751995
A framework for deadlock detection in core ABS
E Giachino, C Laneve, M Lienhardt
Software & Systems Modeling 15 (4), 1013-1048, 2016
662016
Orchestrating Transactions in Join Calculus*
R Bruni, C Laneve, U Montanari
CONCUR 2002—Concurrency Theory: 13th International Conference Brno, Czech …, 2002
662002
Graphs for core molecular biology
V Danos, C Laneve
Computational Methods in Systems Biology: First International Workshop, CMSB …, 2003
592003
Reversible structures
L Cardelli, C Laneve
Proceedings of the 9th International Conference on Computational Methods in …, 2011
572011
A simple calculus for proteins and cells
C Laneve, F Tarissan
Electronic Notes in Theoretical Computer Science 171 (2), 139-154, 2007
502007
A basic contract language for web services
S Carpineti, C Laneve
Programming Languages and Systems: 15th European Symposium on Programming …, 2006
492006
PiDuce: a process calculus with native XML datatypes
AL Brown, C Laneve, LG Meredith
Formal Techniques for Computer Systems and Business Processes: European …, 2005
462005
Solos in concert
C Laneve, B Victor
Mathematical Structures in Computer Science 13 (5), 657-683, 2003
462003
Solos in concert
C Laneve, B Victor
Mathematical Structures in Computer Science 13 (5), 657-683, 2003
462003
The system can't perform the operation now. Try again later.
Articles 1–20