Davide Sangiorgi

发表

Davide Sangiorgi, Yuxin Deng, 2006, Theor. Comput. Sci..
Reiner Hähnle, Davide Sangiorgi, Einar Broch Johnsen, 2011, FMCO.
Davide Sangiorgi, Arnaud Carayol, Daniel Hirschkoff, 2003, EXPRESS.
Davide Sangiorgi, Joachim Parrow, J. Parrow, 1993, Inf. Comput..
Jos C. M. Baeten, Davide Sangiorgi, J. Baeten, 2014, Computational Logic.
Davide Sangiorgi, Ilaria Castellani, Roberto M. Amadio, 1996, Theor. Comput. Sci..
Davide Sangiorgi, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Cosimo Laneve, Davide Sangiorgi, Michael Lienhardt, 2015 .
Robin Milner, Davide Sangiorgi, 1992, CONCUR.
Davide Sangiorgi, D. Sangiorgi, 1994, TACS.
Marco Pistore, Davide Sangiorgi, M. Pistore, 1996, CAV.
Marco Pistore, Ivan Lanese, Mario Bravetti, 2010 .
Davide Sangiorgi, Daniel Hirschkoff, Romain Demangeon, 2010, CONCUR.
Davide Sangiorgi, 2018, ICTCS.
Davide Sangiorgi, Benjamin C. Pierce, B. Pierce, 2000, JACM.
Davide Sangiorgi, Naoki Kobayashi, Daniel Hirschkoff, 2007, TGC.
Davide Sangiorgi, Damien Pous, Daniel Hirschkoff, 2007, J. Log. Algebraic Methods Program..
Davide Sangiorgi, D. Sangiorgi, 2001, POPL '01.
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii, 2007, FSEN'07.
Davide Sangiorgi, Daniel Hirschkoff, Romain Demangeon, 2008, IFIP TCS.
Davide Sangiorgi, Naoki Kobayashi, 2008, CAV.
Davide Sangiorgi, Thomas T. Hildebrandt, Ebbe Elsborg, 2009, TGC.
Davide Sangiorgi, Eugenio Moggi, Marcelo P. Fiore, 1996, Inf. Comput..
Davide Sangiorgi, D. Sangiorgi, 1995, TAPSOFT.
Davide Sangiorgi, 2019, The Art of Modelling Computational Systems.
Davide Sangiorgi, D. Sangiorgi, 2002, CONCUR.
Davide Sangiorgi, 1995, ICALP.
Davide Sangiorgi, Claudio Sacerdoti Coen, Matteo Cimini, 2010, TGC.
Davide Sangiorgi, 1996, Theor. Comput. Sci..
Ivan Lanese, Davide Sangiorgi, D. Sangiorgi, 2010, Theor. Comput. Sci..
Davide Sangiorgi, Andrea Valente, 2001, ICALP.
Davide Sangiorgi, 2005, FMCO.
Davide Sangiorgi, Francesca Levi, D. Sangiorgi, 2000, POPL '00.
Davide Sangiorgi, D. Sangiorgi, 1998, Mathematical Structures in Computer Science.
Roberto Bruni, Ivan Lanese, Rocco De Nicola, 2006, WS-FM.
Davide Sangiorgi, D. Sangiorgi, 1994, Inf. Comput..
Davide Sangiorgi, Marco Bernardo, Valeria Vignudelli, 2014, CSL-LICS.
Davide Sangiorgi, Christine Röckl, 1999, FoSSaCS.
Davide Sangiorgi, Daniel Hirschkoff, Romain Demangeon, 2009, FSEN.
Robin Milner, Davide Sangiorgi, R. Milner, 1992, ICALP.
Robert de Simone, Davide Sangiorgi, R. Simone, 1998, Lecture Notes in Computer Science.
Davide Sangiorgi, Daniel Hirschkoff, Étienne Lozes, 2008, Log. Methods Comput. Sci..
Ivan Lanese, Davide Sangiorgi, Massimo Bartoletti, 2011, Results of the SENSORIA Project.
Davide Sangiorgi, Daniel Hirschkoff, Enguerrand Prebet, 2020 .
Marco Pistore, Davide Sangiorgi, 1996, CAV 1996.
Davide Sangiorgi, 2011, Distributed Computing.
Davide Sangiorgi, Michele Boreale, 1998, Acta Informatica.
Davide Sangiorgi, Naoki Kobayashi, D. Sangiorgi, 2008, TOPL.
Davide Sangiorgi, D. Sangiorgi, 1995, MFCS.
Davide Sangiorgi, Daniel Hirschkoff, Romain Demangeon, 2010, J. Log. Algebraic Methods Program..
Yuval Rabani, Ioannis Chatzigiannakis, Davide Sangiorgi, 2016, TIME.
Davide Sangiorgi, D. Sangiorgi, 2015, ICTAC.
Davide Sangiorgi, Daniel Hirschkoff, Étienne Lozes, 2003, FSTTCS.
Davide Sangiorgi, Daniel Hirschkoff, Romain Demangeon, 2009, Semantics and Algebraic Specification.
Davide Sangiorgi, Fabrizio Montesi, 2010, TGC.
Rudolf Eigenmann, Bernd Mohr, Stefan Schmid, 2011, Encyclopedia of Parallel Computing.
Davide Sangiorgi, Daniel Hirschkoff, Adrien Durier, 2017, CONCUR.
Davide Sangiorgi, Daniel Hirschkoff, Enguerrand Prebet, 2019, ICTCS.
Davide Sangiorgi, 1999, FoSSaCS.
Ugo Dal Lago, Davide Sangiorgi, Daniel Hirschkoff, 2010 .
Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro, 2019, Models, Languages, and Tools for Concurrent and Distributed Programming.
Davide Sangiorgi, Joachim Parrow, 1995, Inf. Comput..
Davide Sangiorgi, Yuxin Deng, D. Sangiorgi, 2006, Theor. Comput. Sci..
Davide Sangiorgi, Chun Tian, D. Sangiorgi, 2018, EXPRESS/SOS.
Davide Sangiorgi, Daniel Hirschkoff, Romain Demangeon, 2012 .
Davide Sangiorgi, Daniel Hirschkoff, Étienne Lozes, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Rudolf Eigenmann, Davide Sangiorgi, Paul Feautrier, 2011, Encyclopedia of Parallel Computing.
Davide Sangiorgi, Daniel Hirschkoff, Romain Demangeon, 2011, FSEN.
Davide Sangiorgi, Damien Pous, Daniel Hirschkoff, 2005, COORDINATION.
Yuval Rabani, Ioannis Chatzigiannakis, Davide Sangiorgi, 2016, ICALP 2016.
Mario Bravetti, Davide Sangiorgi, Michael Lienhardt, 2012, ISoLA.
Davide Sangiorgi, Yuxin Deng, 2004, IFIP TCS.
Davide Sangiorgi, Daniel Hirschkoff, Jean-Marie Madiot, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Davide Sangiorgi, Elena Giachino, Ornela Dardha, 2017, Inf. Comput..
Davide Sangiorgi, Valeria Vignudelli, 2019, ACM Trans. Program. Lang. Syst..
Davide Sangiorgi, Chun Tian, 2020, Inf. Comput..
Ugo Dal Lago, Davide Sangiorgi, Simone Martini, 2015 .
Davide Sangiorgi, Xian Xu, D. Sangiorgi, 2014, CONCUR.
Davide Sangiorgi, D. Sangiorgi, 2009, TOPL.
Davide Sangiorgi, Eugenio Moggi, Marcelo P. Fiore, 2022 .
Davide Sangiorgi, D. Sangiorgi, 1996, Theor. Comput. Sci..
Davide Sangiorgi, Daniel Hirschkoff, Adrien Durier, 2018, LICS.
Marco Patrignani, Davide Sangiorgi, Dave Clarke, 2011, FMOODS/FORTE.
Marco Pistore, Davide Sangiorgi, 2001, Inf. Comput..
Davide Sangiorgi, Damien Pous, D. Sangiorgi, 2019, Formal Aspects of Computing.
Ugo Dal Lago, Davide Sangiorgi, Michele Alberti, 2013, POPL.
Davide Sangiorgi, Damien Pous, D. Sangiorgi, 2012, Advanced Topics in Bisimulation and Coinduction.
Davide Sangiorgi, D. Sangiorgi, 1993, TAPSOFT.
Davide Sangiorgi, Francesca Levi, D. Sangiorgi, 2003, TOPL.
Davide Sangiorgi, Yuxin Deng, D. Sangiorgi, 2006, Inf. Comput..
Davide Sangiorgi, 2003, First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..
Ivan Lanese, Davide Sangiorgi, Alan Schmitt, 2009, ICTCS.
Davide Sangiorgi, D. Sangiorgi, 2001, Theor. Comput. Sci..
Davide Sangiorgi, David Walker, D. Walker, 2001 .
Ivan Lanese, Davide Sangiorgi, Josep Díaz, 2014, Lecture Notes in Computer Science.
Davide Sangiorgi, Daniel Hirschkoff, Adrien Durier, 2020, Theor. Comput. Sci..
Andrea Maggiolo-Schettini, Davide Sangiorgi, Emanuela Fachini, 2005, Acta Informatica.
Davide Sangiorgi, D. Sangiorgi, 2006, Mathematical Structures in Computer Science.
Davide Sangiorgi, Gian Luigi Ferrari, Davide Basile, 2017 .
Davide Sangiorgi, D. Sangiorgi, 2017, ACM Trans. Comput. Log..
Ivan Lanese, Davide Sangiorgi, 2015, Math. Struct. Comput. Sci..
Davide Sangiorgi, 1999, Math. Struct. Comput. Sci..
Davide Sangiorgi, Michele Boreale, 1995, STACS.
Davide Sangiorgi, Daniel Hirschkoff, Jean-Marie Madiot, 2014, Computing with New Resources.
Davide Sangiorgi, Elena Giachino, Ornela Dardha, 2012, PPDP.
Davide Sangiorgi, Massimo Merro, 1998, ICALP.
Davide Sangiorgi, Josva Kleist, D. Sangiorgi, 2002, Sci. Comput. Program..
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Davide Sangiorgi, D. Sangiorgi, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Davide Sangiorgi, D. Sangiorgi, 1998, Mathematical Structures in Computer Science.
Ivan Lanese, Cosimo Laneve, Maurizio Gabbrielli, 2010 .
Davide Sangiorgi, Daniel Hirschkoff, Jean-Marie Madiot, 2016, Inf. Comput..
Davide Sangiorgi, D. Sangiorgi, 1993, MFPS.
Davide Sangiorgi, Daniel Hirschkoff, Enguerrand Prebet, 2020, CONCUR.
Robert de Simone, Davide Sangiorgi, 2002, Theor. Comput. Sci..
Rudolf Eigenmann, Davide Sangiorgi, Paul Feautrier, 2011, Encyclopedia of Parallel Computing.
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii, 2007, LICS.
Davide Sangiorgi, Benjamin C. Pierce, B. Pierce, 1997, POPL '97.
Davide Sangiorgi, Michele Boreale, D. Sangiorgi, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Davide Sangiorgi, Daniel Hirschkoff, Étienne Lozes, 2005, Log. Methods Comput. Sci..
Davide Sangiorgi, D. Sangiorgi, 1993, CONCUR.
Davide Sangiorgi, David Walker, D. Sangiorgi, 2001, CONCUR.
Davide Sangiorgi, Andrea Valente, Paola Giannini, 2006, Sci. Comput. Program..
Davide Sangiorgi, D. Sangiorgi, 2000, Proof, Language, and Interaction.
Andrea Maggiolo-Schettini, Davide Sangiorgi, Emanuela Fachini, 1990, MFCS.
Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli, 2015, Correct System Design.
Davide Sangiorgi, 1999, Theor. Comput. Sci..
Ivan Lanese, Mario Bravetti, Davide Sangiorgi, 2010, FMCO.
Davide Sangiorgi, 1994, Inf. Comput..
Davide Sangiorgi, Arnaud Carayol, Daniel Hirschkoff, 2004, EXPRESS.
Andrea Maggiolo-Schettini, Davide Sangiorgi, Giovanni Resta, 1991, Theor. Comput. Sci..
Andrea Maggiolo-Schettini, Davide Sangiorgi, Jozef Gruska, 1990, Int. J. Found. Comput. Sci..
Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro, 2010 .
Davide Sangiorgi, 2011 .
Davide Sangiorgi, Valeria Vignudelli, D. Sangiorgi, 2016, POPL.
Rocco De Nicola, Davide Sangiorgi, 2005, Acta Informatica.
Davide Sangiorgi, Massimo Merro, D. Sangiorgi, 1998, Mathematical Structures in Computer Science.
Davide Sangiorgi, Benjamin C. Pierce, B. Pierce, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Davide Sangiorgi, 2006, Electron. Notes Theor. Comput. Sci..
Davide Sangiorgi, Michele Boreale, D. Sangiorgi, 1998, Theor. Comput. Sci..
Davide Sangiorgi, Damien Pous, Jean-Marie Madiot, 2014, CONCUR.
Rudolf Eigenmann, Davide Sangiorgi, Paul Feautrier, 2011, Encyclopedia of Parallel Computing.
Davide Sangiorgi, Nicola Mezzetti, D. Sangiorgi, 2006, MFPS.
Davide Sangiorgi, Ilaria Castellani, Roberto M. Amadio, 1996, Theor. Comput. Sci..
Davide Sangiorgi, Daniel Hirschkoff, Jean-Marie Madiot, 2012, CONCUR.
Davide Sangiorgi, D. Sangiorgi, 2000 .
Davide Sangiorgi, Josva Kleist, D. Sangiorgi, 1998, PROCOMET.
Rudolf Eigenmann, Davide Sangiorgi, Paul Feautrier, 2011, Encyclopedia of Parallel Computing.
Ugo Dal Lago, Davide Sangiorgi, Simone Martini, 2016, Math. Struct. Comput. Sci..
Davide Sangiorgi, Guilhem Jaber, D. Sangiorgi, 2022, CSL.
Davide Sangiorgi, Claudio Sacerdoti Coen, Matteo Cimini, 2010 .
Davide Sangiorgi, D. Sangiorgi, 1999, Mathematical Structures in Computer Science.
Davide Sangiorgi, D. Sangiorgi, 2009, Acta Informatica.
Marco Pistore, Davide Sangiorgi, M. Pistore, 1996 .
Ugo Dal Lago, Davide Sangiorgi, Simone Martini, 2010 .
Davide Sangiorgi, D. Sangiorgi, 2007 .
Davide Sangiorgi, 2004, LICS 2004.
Ivan Lanese, Davide Sangiorgi, Alan Schmitt, 2008, Inf. Comput..
Davide Sangiorgi, Robin, 1992 .