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
6272004
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
2132003
Foundations of web transactions
C Laneve, G Zavattaro
Foundations of Software Science and Computational Structures: 8th …, 2005
1792005
The Must Preorder Revisited
C Laneve, L Padovani
International conference on concurrency theory, 212-225, 2007
1232007
A formal account of contracts for web services
S Carpineti, G Castagna, C Laneve, L Padovani
Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006
1222006
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
1001997
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
981994
Interaction systems I: The theory of optimal reductions
A Asperti, C Laneve
Mathematical Structures in Computer Science 4 (4), 457-504, 1994
891994
Core formal molecular biology
V Danos, C Laneve
European Symposium on Programming, 302-318, 2003
852003
Paths, computations and labels in the λ-calculus
A Asperti, C Laneve
Theoretical Computer Science 142 (2), 277-297, 1995
731995
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
International Conference on Computational Methods in Systems Biology, 34-46, 2003
632003
A framework for deadlock detection in core ABS
E Giachino, C Laneve, M Lienhardt
Software & Systems Modeling 15 (4), 1013-1048, 2016
602016
Reversible structures
L Cardelli, C Laneve
Proceedings of the 9th International Conference on Computational Methods in …, 2011
552011
A simple calculus for proteins and cells
C Laneve, F Tarissan
Electronic Notes in Theoretical Computer Science 171 (2), 139-154, 2007
522007
A basic contract language for web services
S Carpineti, C Laneve
European Symposium on Programming, 197-213, 2006
502006
PiDuce: A Process Calculus with Native XML Datatypes
AL Brown Jr, C Laneve, LG Meredith
European Workshop on Performance Engineering, 18-34, 2005
482005
Deadlock analysis of unbounded process networks
E Giachino, N Kobayashi, C Laneve
CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014
462014
Deadlock analysis of unbounded process networks
N Kobayashi, C Laneve
Information and Computation 252, 48-70, 2017
452017
The pairing of contracts and session types
C Laneve, L Padovani
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008
422008
The system can't perform the operation now. Try again later.
Articles 1–20