| Formal molecular biology V Danos, C Laneve Theoretical Computer Science 325 (1), 69-110, 2004 | 631 | 2004 |
| 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 | 215 | 2003 |
| Foundations of web transactions C Laneve, G Zavattaro Foundations of Software Science and Computational Structures: 8th …, 2005 | 180 | 2005 |
| The Must Preorder Revisited C Laneve, L Padovani International conference on concurrency theory, 212-225, 2007 | 123 | 2007 |
| 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 | 123 | 2006 |
| 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 | 100 | 1997 |
| 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 | 98 | 1994 |
| Interaction systems I: The theory of optimal reductions A Asperti, C Laneve Mathematical Structures in Computer Science 4 (4), 457-504, 1994 | 89 | 1994 |
| Core formal molecular biology V Danos, C Laneve European Symposium on Programming, 302-318, 2003 | 85 | 2003 |
| Paths, computations and labels in the λ-calculus A Asperti, C Laneve Theoretical Computer Science 142 (2), 277-297, 1995 | 73 | 1995 |
| Orchestrating Transactions in Join Calculus* R Bruni, C Laneve, U Montanari CONCUR 2002—Concurrency Theory: 13th International Conference Brno, Czech …, 2002 | 66 | 2002 |
| Graphs for core molecular biology V Danos, C Laneve International Conference on Computational Methods in Systems Biology, 34-46, 2003 | 64 | 2003 |
| A framework for deadlock detection in core ABS E Giachino, C Laneve, M Lienhardt Software & Systems Modeling 15 (4), 1013-1048, 2016 | 60 | 2016 |
| Reversible structures L Cardelli, C Laneve Proceedings of the 9th International Conference on Computational Methods in …, 2011 | 56 | 2011 |
| A simple calculus for proteins and cells C Laneve, F Tarissan Electronic Notes in Theoretical Computer Science 171 (2), 139-154, 2007 | 53 | 2007 |
| A basic contract language for web services S Carpineti, C Laneve European Symposium on Programming, 197-213, 2006 | 51 | 2006 |
| PiDuce: A Process Calculus with Native XML Datatypes AL Brown Jr, C Laneve, LG Meredith European Workshop on Performance Engineering, 18-34, 2005 | 48 | 2005 |
| Deadlock analysis of unbounded process networks N Kobayashi, C Laneve Information and Computation 252, 48-70, 2017 | 46 | 2017 |
| Deadlock analysis of unbounded process networks E Giachino, N Kobayashi, C Laneve CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014 | 46 | 2014 |
| The pairing of contracts and session types C Laneve, L Padovani Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008 | 42 | 2008 |