Cosimo Laneve

发表

Cosimo Laneve, Andrea Asperti, C. Laneve, 1993, Theor. Comput. Sci..
Cosimo Laneve, Vincent Danos, C. Laneve, 2003, CMSB.
Cosimo Laneve, Andrea Asperti, 1994, TACS.
Cosimo Laneve, Elena Giachino, Elena Giachino, 2011, FMOODS/FORTE.
Cosimo Laneve, Vincent Danos, 2003, ESOP.
Cosimo Laneve, Davide Sangiorgi, Michael Lienhardt, 2015 .
Cosimo Laneve, Luca Padovani, 2013, IFM.
Cosimo Laneve, Maurizio Gabbrielli, Giorgio Delzanno, 2009, CMSB.
Cosimo Laneve, Gérard Boudol, C. Laneve, 2000, Proof, Language, and Interaction.
Magne Haveraaen, Cosimo Laneve, Marco Poletti, 2012 .
Cosimo Laneve, Tudor A. Lascu, Vania Sordoni, 2010, Electron. Notes Theor. Comput. Sci..
Cosimo Laneve, Elena Giachino, Elena Giachino, 2014, ISoLA.
Cosimo Laneve, Gianluigi Zavattaro, G. Zavattaro, 2005, TGC.
Cosimo Laneve, Björn Victor, Joachim Parrow, 2001, TACS.
Paolo Milazzo, Cosimo Laneve, Samuele Carpineti, 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
Roberto Bruni, Cosimo Laneve, Ugo Montanari, 2002, CONCUR.
Cosimo Laneve, Andrea Asperti, 1997, ICALP.
Cosimo Laneve, Gianluigi Zavattaro, G. Zavattaro, 2005, FoSSaCS.
Cosimo Laneve, Luca Padovani, 2019, The Art of Modelling Computational Systems.
Cosimo Laneve, Samuele Carpineti, C. Laneve, 2006, ESOP.
Cosimo Laneve, Einar Broch Johnsen, Ka I Pun, 2015, FACS.
Cosimo Laneve, Antonio Vitale, 2008, MFPS.
Cosimo Laneve, Michael Lienhardt, Abel Garcia, 2015, PPDP.
Cosimo Laneve, Michael Lienhardt, Elena Giachino, 2015, Software & Systems Modeling.
Cosimo Laneve, Philippa Gardner, Lucian Wischik, 2007, Inf. Comput..
Cosimo Laneve, Andrea Asperti, 1993, HOA.
Cosimo Laneve, Gianluigi Zavattaro, Marco Garavelli, 2008, Theor. Comput. Sci..
Cosimo Laneve, Antonio Vitale, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
Cosimo Laneve, 1999, FMOODS.
Cosimo Laneve, Michael Lienhardt, Ka I Pun, 2019, J. Log. Algebraic Methods Program..
Cosimo Laneve, Luca Cardelli, L. Cardelli, 2011, CMSB.
Cosimo Laneve, Andrea Asperti, 1995, TLCA.
Cosimo Laneve, Ludovic Henrio, Vincenzo Mastandrea, 2017, IFM.
Cosimo Laneve, Elena Giachino, 2014, SFM.
Cosimo Laneve, Ludovic Henrio, Vincenzo Mastandrea, 2017 .
Cosimo Laneve, Luca Padovani, 2008, Concurrency, Graphs and Models.
Cosimo Laneve, Abel Garcia, 2017, LOPSTR.
Cosimo Laneve, Naoki Kobayashi, C. Laneve, 2014, Inf. Comput..
Cosimo Laneve, Didier Rémy, Cédric Fournet, 2003, J. Log. Algebraic Methods Program..
Cosimo Laneve, Fabien Tarissan, 2007, Electron. Notes Theor. Comput. Sci..
Cosimo Laneve, Naoki Kobayashi, Elena Giachino, 2014, CONCUR.
Cosimo Laneve, Gianluigi Zavattaro, Sylvain Pradalier, 2009, Electron. Notes Theor. Comput. Sci..
Cosimo Laneve, Björn Victor, 1999, ICALP.
Cosimo Laneve, Luca Padovani, 2007, CONCUR.
Cosimo Laneve, Björn Victor, 2003, Math. Struct. Comput. Sci..
Cosimo Laneve, Ludovic Henrio, Elena Giachino, 2016, PPDP.
Cosimo Laneve, Ugo Montanari, U. Montanari, 1992, International Symposium on Mathematical Foundations of Computer Science.
Cosimo Laneve, Frank S. de Boer, Mohammad Mahdi Jaghoori, 2012, CONCUR.
Cosimo Laneve, Roberto Gorrieri, C. Laneve, 1995, Inf. Comput..
Cosimo Laneve, Frank S. de Boer, Reiner Hähnle, 2019, VORTEX@ECOOP/ISSTA.
Cosimo Laneve, Fabien Tarissan, C. Laneve, 2007, Electron. Notes Theor. Comput. Sci..
Cosimo Laneve, Elena Giachino, 2013 .
Cosimo Laneve, Roberto Gorrieri, C. Laneve, 1991, International Symposium on Mathematical Foundations of Computer Science.
Cosimo Laneve, Ugo Montanari, U. Montanari, 1992, ALP.
Cosimo Laneve, Allen L. Brown, L. Gregory Meredith, 2005, EPEW/WS-FM.
Cosimo Laneve, Andrea Asperti, 1993, TAPSOFT.
Cosimo Laneve, Gérard Boudol, 1996, Inf. Comput..
Cosimo Laneve, Vincent Danos, 2007, Electron. Notes Theor. Comput. Sci..
Cosimo Laneve, Gianluigi Zavattaro, Jacopo Mauro, 2015 .
Cosimo Laneve, Cédric Fournet, C. Fournet, 1998, Theor. Comput. Sci..
Cosimo Laneve, Elena Giachino, Stijn de Gouw, 2016 .
Cosimo Laneve, Abel García Celestrin, 2017 .
Cosimo Laneve, Gianluigi Zavattaro, Marco Garavelli, 2007, CMSB.
Cosimo Laneve, Vincent Danos, C. Laneve, 2004, Theor. Comput. Sci..
Cosimo Laneve, Didier Rémy, Cédric Fournet, 1997, CONCUR.
Cosimo Laneve, Frédéric Boussinot, C. Laneve, 1995 .
Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti, 2019, From Software Engineering to Formal Methods and Tools, and Back.
Cosimo Laneve, Andrea Asperti, 1993, RTA.
Cosimo Laneve, C. Laneve, 2001, FME 2001.
Cosimo Laneve, Michael Lienhardt, Abel Garcia, 2017, Sci. Comput. Program..
Cosimo Laneve, Philippa Gardner, Lucian Wischik, 2002, CONCUR.
Cosimo Laneve, Elena Giachino, 2012, TGC.
Cosimo Laneve, Didier Rémy, Cédric Fournet, 2000, J. Log. Algebraic Methods Program..
Cosimo Laneve, Philippa Gardner, Lucian Wischik, 2007, Inf. Comput..
Ivan Lanese, Cosimo Laneve, Mario Bravetti, 2015 .
Cosimo Laneve, Luca Padovani, Samuele Carpineti, 2009, Sci. Comput. Program..
Ivan Lanese, Cosimo Laneve, Maurizio Gabbrielli, 2010 .
Cosimo Laneve, Luca Padovani, C. Laneve, 2006, FoSSaCS.
Cosimo Laneve, C. Laneve, 2003, Theor. Comput. Sci..
Cosimo Laneve, Frank S. de Boer, Reiner Hähnle, 2016, ESOCC 2016.
Cosimo Laneve, Samuele Carpineti, 2006, Electron. Notes Theor. Comput. Sci..
Cosimo Laneve, Andrea Asperti, 1994, Math. Struct. Comput. Sci..
Cosimo Laneve, Frank S. de Boer, Reiner Hähnle, 2013, NordiCloud '13.
Cosimo Laneve, Philippa Gardner, Lucian Wischik, 2002 .
Cosimo Laneve, Frank S. de Boer, Mohammad Mahdi Jaghoori, 2012, CONCUR.
J. van Leeuwen, Cosimo Laneve, Jan van Leeuwen, 2003, Lecture Notes in Computer Science.
Cosimo Laneve, Elena Giachino, Stijn de Gouw, 2016, Theory and Practice of Formal Methods.
Cosimo Laneve, Luca Cardelli, L. Cardelli, 2011, Sci. Ann. Comput. Sci..
Cosimo Laneve, Ugo Montanari, U. Montanari, 1996, Mathematical Structures in Computer Science.
Cosimo Laneve, Vincent Danos, Andrea Asperti, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong, 2013, IFM.
Cosimo Laneve, C. Laneve, 1999 .
Cosimo Laneve, Luca Padovani, Giuseppe Castagna, 2006, WS-FM.
Cosimo Laneve, Laura Agrati, Vincenzo Cafagna, 2016 .
Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro, 2003, FMOODS.
Cosimo Laneve, Stefania Gnesi, Alessandro Fantechi, 1989, FORTE.
Cosimo Laneve, Gianluigi Zavattaro, Marco Garavelli, 2007 .
Cosimo Laneve, Silvia Crafa, Giovanni Sartor, 2021, Sci. Comput. Program..
Cosimo Laneve, Claudio Sacerdoti Coen, 2021, Blockchain: Research and Applications.
Cosimo Laneve, Gianluigi Zavattaro, Frank S. de Boer, 2012, CONCUR 2012.
Cosimo Laneve, Cédric Fournet, M. Moreale, 1998 .
Cosimo Laneve, Andrea Asperti, 1995 .
Cosimo Laneve, C. Laneve, 1995 .
Cosimo Laneve, Maurizio Gabbrielli, Giorgio Delzanno, 2009 .
Cosimo Laneve, Gaetano Bigliardi, 2000 .
Cosimo Laneve, Roberto Gorrieri, C. Laneve, 1993 .