Edit Profile (opens in new tab) Laneve, Cosimo Co-Author Distance Author ID: laneve.cosimo Published as: Laneve, Cosimo; Laneve, C. Documents Indexed: 55 Publications since 1991 2 Contributions as Editor Co-Authors: 36 Co-Authors with 51 Joint Publications 719 Co-Co-Authors all top 5 Co-Authors 6 single-authored 8 Asperti, Andrea 6 Zavattaro, Gianluigi 5 Padovani, Luca 4 Fournet, Cédric 3 Carpineti, Samuele 3 Danos, Vincent 3 Gardner, Philippa Anne 3 Giachino, Elena 3 Maranget, Luc 3 Montanari, Ugo G. 3 Rémy, Didier 3 Wischik, Lucian 2 Boudol, Gérard 2 de Boer, Frank S. 2 Gorrieri, Roberto 2 Jaghoori, Mahdi M. 2 Kobayashi, Naoki 2 Tarissan, Fabien 1 Blundo, Carlo 1 Bocchi, Laura 1 Bruni, Roberto 1 Cardelli, Luca 1 Credi, A. 1 De Gouw, Stijn 1 Garavelli, Marco 1 Garcia, Abel 1 Lienhardt, Michael 1 Nobakht, Behrooz 1 Parrow, Joachim 1 Pradalier, Sylvain 1 Pun, Ka I. 1 Román-Díez, Guillermo 1 Silvi, S. 1 Su, Jianwen 1 Victor, Björn 1 Vitale, Antonio all top 5 Serials 7 Theoretical Computer Science 4 Information and Computation 2 MSCS. Mathematical Structures in Computer Science 2 Lecture Notes in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Annales Societatis Mathematicae Polonae. Series IV 1 Science of Computer Programming 1 Formal Aspects of Computing 1 The Journal of Logic and Algebraic Programming 1 Logical Methods in Computer Science 1 Scientific Annals of Computer Science Fields 55 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 7 Biology and other natural sciences (92-XX) 2 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 49 Publications have been cited 381 times in 293 Documents Cited by ▼ Year ▼ Formal molecular biology. Zbl 1071.68041 Danos, Vincent; Laneve, Cosimo 103 2004 Foundations of web transactions. Zbl 1118.68335 Laneve, Cosimo; Zavattaro, Gianluigi 19 2005 The must preorder revisited. An algebraic theory for web services contracts. Zbl 1151.68319 Laneve, Cosimo; Padovani, Luca 18 2007 Graphs for core molecular biology. Zbl 1053.92021 Danos, Vincent; Laneve, Cosimo 17 2003 A calculus for long-running transactions. Zbl 1253.68056 Bocchi, Laura; Laneve, Cosimo; Zavattaro, Gianluigi 15 2003 Core formal molecular biology. Zbl 1033.92013 Danos, Vincent; Laneve, Cosimo 15 2003 The pairing of contracts and session types. Zbl 1143.68330 Laneve, Cosimo; Padovani, Luca 14 2008 Interaction systems I: The theory of optimal reductions. Zbl 0871.03006 Asperti, Andrea; Laneve, Cosimo 10 1994 A simple calculus for proteins and cells. Zbl 1277.68195 Laneve, Cosimo; Tarissan, Fabien 10 2007 The fusion machine (Extended abstract). Zbl 1012.68527 Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian 10 2002 Termination, deadlock and divergence in the lambda-calculus with multiplicities. Zbl 0910.68131 Boudol, Gerard; Laneve, Cosimo 9 1995 PiDuce- A project for experimenting web services technologies. Zbl 1194.68077 Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca 9 2009 The discriminating power of multiplicities in the \(\lambda\)-calculus. Zbl 0853.68128 Boudol, Gérard; Laneve, Cosimo 8 1996 Paths, computations and labels in the \(\lambda\)-calculus. Zbl 0873.03012 Asperti, Andrea; Laneve, Cosimo 8 1995 Inheritance in the join calculus. Zbl 1035.03011 Fournet, Cédric; Laneve, Cosimo; Maranget, Luc; Rémy, Didier 7 2003 Axiomatizing permutation equivalence. Zbl 0884.68070 Laneve, Cosimo; Montanari, Ugo 6 1996 Solo diagrams. Zbl 1087.68607 Laneve, Cosimo; Parrow, Joachim; Victor, Björn 6 2001 Split and ST bisimulation semantics. Zbl 0826.68077 Gorrieri, Roberto; Laneve, Cosimo 6 1995 An algebraic theory for web service contracts. Zbl 1338.68016 Laneve, Cosimo; Padovani, Luca 5 2015 Bisimulations in the join-calculus. Zbl 0989.68098 Fournet, C.; Laneve, C. 5 2001 Reversibility in massive concurrent systems. Zbl 1424.92028 Cardelli, Luca; Laneve, Cosimo 5 2011 Deadlock analysis of unbounded process networks. Zbl 1417.68128 Giachino, Elena; Kobayashi, Naoki; Laneve, Cosimo 5 2014 Optimal reductions in interaction systems. Zbl 1497.68236 Asperti, Andrea; Laneve, Cosimo 5 1993 The limit of split\(_ n\)-bisimulations for CCS agents. Zbl 0777.68063 Gorrieri, Roberto; Laneve, Cosimo 5 1991 nano\(\kappa\): A calculus for the modeling and simulation of nano devices. Zbl 1160.68677 Credi, A.; Garavelli, M.; Laneve, C.; Pradalier, S.; Silvi, S.; Zavattaro, G. 5 2008 Distributive evaluations of \(\lambda\)-calculus. Zbl 0810.03011 Laneve, Cosimo 4 1994 Interaction systems II: The practice of optimal reductions. Zbl 0873.03015 Asperti, Andrea; Laneve, Cosimo 4 1996 Linear forwarders. Zbl 1274.68233 Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian 4 2003 A simple calculus for proteins and cells. Zbl 1151.68039 Laneve, Cosimo; Tarissan, Fabien 4 2008 A basic contract language for web services. Zbl 1178.68122 Carpineti, Samuele; Laneve, Cosimo 4 2006 Smooth orchestrators. Zbl 1180.68195 Laneve, Cosimo; Padovani, Luca 4 2006 Orchestrating transactions in join calculus. Zbl 1012.68524 Bruni, Roberto; Laneve, Cosimo; Montanari, Ugo 4 2002 A type system for JVM threads. Zbl 1019.68013 Laneve, Cosimo 3 2003 Deadlock analysis of unbounded process networks. Zbl 1355.68193 Kobayashi, Naoki; Laneve, Cosimo 3 2017 Implicit typing à la ML for the join-calculus. Zbl 1512.68057 Fournet, Cédric; Maranget, Luc; Laneve, Cosimo; Rémy, Didier 3 1997 Linear forwarders. Zbl 1129.68047 Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian 3 2007 Deadlock detection in linear recursive programs. Zbl 1445.68052 Giachino, Elena; Laneve, Cosimo 2 2014 web\(\pi\) at work. Zbl 1151.68539 Laneve, Cosimo; Zavattaro, Gianluigi 2 2005 Mobility in the cc-paradigm. Zbl 1493.68249 Laneve, Cosimo; Montanari, Ugo 2 1992 On the dynamics of sharing graphs. Zbl 1401.68029 Asperti, Andrea; Laneve, Cosimo 1 1997 The family relation in interaction systems. Zbl 0942.68534 Asperti, Andrea; Laneve, Cosimo 1 1994 Deadlock detection of Java bytecode. Zbl 1508.68043 Laneve, Cosimo; Garcia, Abel 1 2018 Time analysis of actor programs. Zbl 1423.68090 Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I.; Román-Díez, Guillermo 1 2019 Expressivity in the \(\kappa\) family. Zbl 1286.92024 Laneve, Cosimo; Vitale, Antonio 1 2008 Comparing \(\lambda\)-calculus translations in sharing graphs. Zbl 1063.03507 Asperti, Andrea; Laneve, Cosimo 1 1995 Inheritance in the join calculus (extended abstract). Zbl 1044.68684 Fournet, Cédric; Laneve, Cosimo; Maranget, Luc; Rémy, Didier 1 2000 Inheritance in concurrent objects. Reprint of the 2001 hardback ed. Zbl 1256.68036 Laneve, Cosimo 1 2010 Paths, computations and labels in the \(\lambda\)-calculus. Zbl 1514.03040 Asperti, Andrea; Laneve, Cosimo 1 1993 Decidability problems for actor systems. Zbl 1364.68299 de Boer, Frank S.; Jaghoori, Mahdi M.; Laneve, Cosimo; Zavattaro, Gianluigi 1 2012 Time analysis of actor programs. Zbl 1423.68090 Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I.; Román-Díez, Guillermo 1 2019 Deadlock detection of Java bytecode. Zbl 1508.68043 Laneve, Cosimo; Garcia, Abel 1 2018 Deadlock analysis of unbounded process networks. Zbl 1355.68193 Kobayashi, Naoki; Laneve, Cosimo 3 2017 An algebraic theory for web service contracts. Zbl 1338.68016 Laneve, Cosimo; Padovani, Luca 5 2015 Deadlock analysis of unbounded process networks. Zbl 1417.68128 Giachino, Elena; Kobayashi, Naoki; Laneve, Cosimo 5 2014 Deadlock detection in linear recursive programs. Zbl 1445.68052 Giachino, Elena; Laneve, Cosimo 2 2014 Decidability problems for actor systems. Zbl 1364.68299 de Boer, Frank S.; Jaghoori, Mahdi M.; Laneve, Cosimo; Zavattaro, Gianluigi 1 2012 Reversibility in massive concurrent systems. Zbl 1424.92028 Cardelli, Luca; Laneve, Cosimo 5 2011 Inheritance in concurrent objects. Reprint of the 2001 hardback ed. Zbl 1256.68036 Laneve, Cosimo 1 2010 PiDuce- A project for experimenting web services technologies. Zbl 1194.68077 Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca 9 2009 The pairing of contracts and session types. Zbl 1143.68330 Laneve, Cosimo; Padovani, Luca 14 2008 nano\(\kappa\): A calculus for the modeling and simulation of nano devices. Zbl 1160.68677 Credi, A.; Garavelli, M.; Laneve, C.; Pradalier, S.; Silvi, S.; Zavattaro, G. 5 2008 A simple calculus for proteins and cells. Zbl 1151.68039 Laneve, Cosimo; Tarissan, Fabien 4 2008 Expressivity in the \(\kappa\) family. Zbl 1286.92024 Laneve, Cosimo; Vitale, Antonio 1 2008 The must preorder revisited. An algebraic theory for web services contracts. Zbl 1151.68319 Laneve, Cosimo; Padovani, Luca 18 2007 A simple calculus for proteins and cells. Zbl 1277.68195 Laneve, Cosimo; Tarissan, Fabien 10 2007 Linear forwarders. Zbl 1129.68047 Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian 3 2007 A basic contract language for web services. Zbl 1178.68122 Carpineti, Samuele; Laneve, Cosimo 4 2006 Smooth orchestrators. Zbl 1180.68195 Laneve, Cosimo; Padovani, Luca 4 2006 Foundations of web transactions. Zbl 1118.68335 Laneve, Cosimo; Zavattaro, Gianluigi 19 2005 web\(\pi\) at work. Zbl 1151.68539 Laneve, Cosimo; Zavattaro, Gianluigi 2 2005 Formal molecular biology. Zbl 1071.68041 Danos, Vincent; Laneve, Cosimo 103 2004 Graphs for core molecular biology. Zbl 1053.92021 Danos, Vincent; Laneve, Cosimo 17 2003 A calculus for long-running transactions. Zbl 1253.68056 Bocchi, Laura; Laneve, Cosimo; Zavattaro, Gianluigi 15 2003 Core formal molecular biology. Zbl 1033.92013 Danos, Vincent; Laneve, Cosimo 15 2003 Inheritance in the join calculus. Zbl 1035.03011 Fournet, Cédric; Laneve, Cosimo; Maranget, Luc; Rémy, Didier 7 2003 Linear forwarders. Zbl 1274.68233 Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian 4 2003 A type system for JVM threads. Zbl 1019.68013 Laneve, Cosimo 3 2003 The fusion machine (Extended abstract). Zbl 1012.68527 Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian 10 2002 Orchestrating transactions in join calculus. Zbl 1012.68524 Bruni, Roberto; Laneve, Cosimo; Montanari, Ugo 4 2002 Solo diagrams. Zbl 1087.68607 Laneve, Cosimo; Parrow, Joachim; Victor, Björn 6 2001 Bisimulations in the join-calculus. Zbl 0989.68098 Fournet, C.; Laneve, C. 5 2001 Inheritance in the join calculus (extended abstract). Zbl 1044.68684 Fournet, Cédric; Laneve, Cosimo; Maranget, Luc; Rémy, Didier 1 2000 Implicit typing à la ML for the join-calculus. Zbl 1512.68057 Fournet, Cédric; Maranget, Luc; Laneve, Cosimo; Rémy, Didier 3 1997 On the dynamics of sharing graphs. Zbl 1401.68029 Asperti, Andrea; Laneve, Cosimo 1 1997 The discriminating power of multiplicities in the \(\lambda\)-calculus. Zbl 0853.68128 Boudol, Gérard; Laneve, Cosimo 8 1996 Axiomatizing permutation equivalence. Zbl 0884.68070 Laneve, Cosimo; Montanari, Ugo 6 1996 Interaction systems II: The practice of optimal reductions. Zbl 0873.03015 Asperti, Andrea; Laneve, Cosimo 4 1996 Termination, deadlock and divergence in the lambda-calculus with multiplicities. Zbl 0910.68131 Boudol, Gerard; Laneve, Cosimo 9 1995 Paths, computations and labels in the \(\lambda\)-calculus. Zbl 0873.03012 Asperti, Andrea; Laneve, Cosimo 8 1995 Split and ST bisimulation semantics. Zbl 0826.68077 Gorrieri, Roberto; Laneve, Cosimo 6 1995 Comparing \(\lambda\)-calculus translations in sharing graphs. Zbl 1063.03507 Asperti, Andrea; Laneve, Cosimo 1 1995 Interaction systems I: The theory of optimal reductions. Zbl 0871.03006 Asperti, Andrea; Laneve, Cosimo 10 1994 Distributive evaluations of \(\lambda\)-calculus. Zbl 0810.03011 Laneve, Cosimo 4 1994 The family relation in interaction systems. Zbl 0942.68534 Asperti, Andrea; Laneve, Cosimo 1 1994 Optimal reductions in interaction systems. Zbl 1497.68236 Asperti, Andrea; Laneve, Cosimo 5 1993 Paths, computations and labels in the \(\lambda\)-calculus. Zbl 1514.03040 Asperti, Andrea; Laneve, Cosimo 1 1993 Mobility in the cc-paradigm. Zbl 1493.68249 Laneve, Cosimo; Montanari, Ugo 2 1992 The limit of split\(_ n\)-bisimulations for CCS agents. Zbl 0777.68063 Gorrieri, Roberto; Laneve, Cosimo 5 1991 all cited Publications top 5 cited Publications all top 5 Cited by 427 Authors 17 Laneve, Cosimo 11 Danos, Vincent 9 Cardelli, Luca 9 Feret, Jérôme 9 Milazzo, Paolo 8 Dezani-Ciancaglini, Mariangiola 8 Maggiolo-Schettini, Andrea 8 Zavattaro, Gianluigi 7 Bodei, Chiara 7 Krivine, Jean 7 Padovani, Luca 7 Pérez, Jorge A. 7 Petrov, Tatjana 7 Pugliese, Rosario 6 Asperti, Andrea 6 Barbuti, Roberto 6 Behr, Nicolas 6 De Nicola, Rocco 6 Hirschkoff, Daniel 6 Troina, Angelo 5 Barbanera, Franco 5 Ferrari, Gian Luigi 5 Galpin, Vashti 5 Koeppl, Heinz 5 Sangiorgi, Davide 5 Tribastone, Mirco 4 Aman, Bogdan 4 Brim, Luboš 4 Bruni, Roberto 4 Degano, Pierpaolo 4 de’Liguoro, Ugo 4 Gardner, Philippa Anne 4 Honda, Kohei 4 Johnsen, Einar Broch 4 Kirchner, Hélène 4 Martini, Simone 4 Meseguer Guaita, José 4 Montanari, Ugo G. 4 Owe, Olaf 4 Priami, Corrado 4 Šafránek, David 4 Steffen, Martin 4 Tarissan, Fabien 4 Tiezzi, Francesco 4 Tschaikowski, Max 4 Ulidowski, Irek 4 Vandin, Andrea 4 Yoshida, Nobuko 3 Andrei, Oana 3 Arrighi, Pablo 3 Bocchi, Laura 3 Bravetti, Mario 3 Busi, Nadia 3 Ciobanu, Gabriel 3 Fages, François 3 Guerrini, Stefano 3 Hennessy, Matthew C. B. 3 Hillston, Jane 3 Kühn, Stefan 3 Lanese, Ivan 3 Madiot, Jean-Marie 3 Masini, Andrea 3 Melgratti, Hernán 3 Mezzina, Claudio Antares 3 Pantović, Jovanka 3 Pardini, Giovanni 3 Phillips, Andrew 3 Simonsen, Jakob Grue 3 Tuosto, Emilio 3 Uhrmacher, Adelinde M. 3 van Bakel, Steffen 3 van Oostrom, Vincent 3 Versari, Cristian 3 Vogler, Walter 2 Alves, Sandra 2 Ariola, Zena M. 2 Bartoletti, Massimo 2 Basile, Davide 2 Bidinger, Philippe 2 Bioglio, Livio 2 Boreale, Michele 2 Boudol, Gérard 2 Brodo, Linda 2 Camporesi, Ferdinanda 2 Caravagna, Giulio 2 Carpineti, Samuele 2 Castagna, Giuseppe 2 Chiarugi, Davide 2 Cimoli, Tiziana 2 Ciocchetta, Federica 2 Cockett, J. Robin B. 2 Compagnoni, Adriana B. 2 Dardha, Ornela 2 de Vries, Fer-Jan J. 2 Dedeić, Jovana 2 Demangeon, Romain 2 Dovland, Johan 2 Gadducci, Fabio 2 Ganguly, Arnab 2 Gori, Roberta ...and 327 more Authors all top 5 Cited in 29 Serials 65 Theoretical Computer Science 16 Information and Computation 16 Journal of Logical and Algebraic Methods in Programming 15 MSCS. Mathematical Structures in Computer Science 15 The Journal of Logic and Algebraic Programming 6 Formal Aspects of Computing 6 Logical Methods in Computer Science 5 Natural Computing 3 Acta Informatica 3 Science of Computer Programming 2 Formal Methods in System Design 2 Constraints 1 Journal of Mathematical Biology 1 Bulletin of Mathematical Biology 1 Information Sciences 1 Annals of Pure and Applied Logic 1 Journal of Symbolic Computation 1 New Generation Computing 1 Journal of Automated Reasoning 1 Distributed Computing 1 ACM Transactions on Modeling and Computer Simulation 1 Chaos 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Applied Logic 1 RAIRO. Theoretical Informatics and Applications 1 European Journal for Philosophy of Science 1 Journal of Theoretical Biology 1 Journal of Membrane Computing all top 5 Cited in 15 Fields 259 Computer science (68-XX) 97 Biology and other natural sciences (92-XX) 43 Mathematical logic and foundations (03-XX) 8 Category theory; homological algebra (18-XX) 6 Probability theory and stochastic processes (60-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 Operations research, mathematical programming (90-XX) 3 Systems theory; control (93-XX) 2 Combinatorics (05-XX) 2 Quantum theory (81-XX) 2 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Numerical analysis (65-XX) Citations by Year