Filippo Bonchi

发表

Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten, 2014, ACM Trans. Comput. Log..
Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten, 2016, Math. Struct. Comput. Sci..
Alexandra Silva, Ana Sokolova, Filippo Bonchi, 2017, CONCUR.
Ugo Montanari, Filippo Bonchi, U. Montanari, 2009, Theor. Comput. Sci..
Ugo Montanari, Filippo Bonchi, 2007, CONCUR.
Fabio Gadducci, Filippo Bonchi, Giacoma Valentina Monreale, 2011, APLAS.
Fabio Gadducci, Barbara König, Filippo Bonchi, 2009, Inf. Comput..
Fabio Gadducci, Filippo Bonchi, Giacoma Valentina Monreale, 2008, EXPRESS.
Fabio Gadducci, Paolo Baldan, Filippo Bonchi, 2015, Sci. Comput. Program..
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi, 2014, ArXiv.
Alexandra Silva, Filippo Bonchi, Stefan Milius, 2014, Theor. Comput. Sci..
Jurriaan Rot, Damien Pous, Filippo Bonchi, 2016, Acta Informatica.
Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten, 2012, MFPS.
Ugo Montanari, Filippo Bonchi, 2009, ESOP.
Antonio Brogi, Fabio Gadducci, Filippo Bonchi, 2009, Fundam. Informaticae.
Antonio Brogi, Fabio Gadducci, Filippo Bonchi, 2008, Petri Nets.
Vincenzo Ciancia, Fabio Gadducci, Filippo Bonchi, 2011, Journal of Automated Reasoning.
Ugo Montanari, Barbara König, Filippo Bonchi, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Frank D. Valencia, Filippo Bonchi, P. AndrésA.Aristizábal, 2012, ICE.
Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten, 2009, CONCUR.
Fabio Gadducci, Aleks Kissinger, Filippo Bonchi, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Daniele Gorla, Filippo Bonchi, Sibylle B. Fröschle, 2012, Math. Struct. Comput. Sci..
Vincenzo Ciancia, Fabio Gadducci, Filippo Bonchi, 2008, Concurrency, Graphs and Models.
Roberto Giacobazzi, Pierre Ganty, Filippo Bonchi, 2018, LICS.
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi, 2015, POPL.
Ana Sokolova, Filippo Bonchi, Valeria Vignudelli, 2018, ArXiv.
Fabio Gadducci, Paolo Baldan, Filippo Bonchi, 2015, Programming Languages with Applications to Biology and Security.
Ugo Montanari, Filippo Bonchi, 2008, FoSSaCS.
Frank Valencia, Filippo Bonchi, Luis F. Pino, 2015, Sci. Comput. Program..
Fabio Gadducci, Aleks Kissinger, Filippo Bonchi, 2018, LICS.
Fabio Gadducci, Paolo Baldan, Filippo Bonchi, 2014, Mathematical Structures in Computer Science.
Alexandra Silva, Damien Pous, Filippo Bonchi, 2013, APLAS.
Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten, 2011, Logic and Program Semantics.
Filippo Bonchi, Pawel Sobocinski, Jens Seeber, 2018, CSL.
Ana Sokolova, Filippo Bonchi, Valeria Vignudelli, 2018, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi, 2017, Inf. Comput..
Fabio Gadducci, Barbara König, Filippo Bonchi, 2006, ICGT.
Fabio Gadducci, Filippo Bonchi, Laura Bussi, 2019, The Art of Modelling Computational Systems.
Barbara König, Filippo Bonchi, Sebastian Küpper, 2017, TACAS.
Frank D. Valencia, Filippo Bonchi, Luis Fernando Pino, 2012 .
Jurriaan Rot, Filippo Bonchi, Matias David Lee, 2017, FSEN.
Alexandra Silva, Barbara König, Filippo Bonchi, 2012, FoSSaCS.
Antonio Brogi, Fabio Gadducci, Filippo Bonchi, 2007, FSEN'07.
Barbara König, Filippo Bonchi, Daniela Petrisan, 2018, CONCUR.
Frank D. Valencia, Filippo Bonchi, P. AndrésA.Aristizábal, 2012, SAC '12.
Fabio Gadducci, Filippo Bonchi, Giacoma Valentina Monreale, 2014, Mathematical Structures in Computer Science.
Fabio Gadducci, Filippo Bonchi, Giacoma Valentina Monreale, 2009, FoSSaCS.
Alexandra Silva, Filippo Bonchi, Stefan Milius, 2015, Theor. Comput. Sci..
Damien Pous, Filippo Bonchi, D. Pous, 2015, Commun. ACM.
Frank D. Valencia, Filippo Bonchi, Catuscia Palamidessi, 2011, FoSSaCS.
Fabio Gadducci, Aleks Kissinger, Filippo Bonchi, 2017, ESOP.
Filippo Bonchi, Fabio Zanasi, 2013, CALCO.
Pawel Sobocinski, Filippo Bonchi, Jens Seeber, 2020, ArXiv.
Emilio Tuosto, Filippo Bonchi, Paola Spoletini, 2009, Electron. Notes Theor. Comput. Sci..
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi, 2019, CONCUR.
Filippo Bonchi, Fabio Zanasi, F. Bonchi, 2015, Log. Methods Comput. Sci..
Filippo Bonchi, F. Bonchi, 2008, ICGT.
Paolo Baldan, Barbara König, Filippo Bonchi, 2015, CALCO.
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi, 2014, CONCUR.
Ugo Montanari, Filippo Bonchi, 2008, Electron. Notes Theor. Comput. Sci..
Fabio Gadducci, Filippo Bonchi, Tobias Heindel, 2008, ICGT.
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi, 2019, Proc. ACM Program. Lang..
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi, 2016, CMCS.
Fabio Gadducci, Filippo Bonchi, Giacoma Valentina Monreale, 2014, TOCL.
Fabio Gadducci, Filippo Bonchi, Giacoma Valentina Monreale, 2008 .
Filippo Bonchi, Tobias Heindel, 2007, Electron. Notes Theor. Comput. Sci..
Jurriaan Rot, Filippo Bonchi, Matias David Lee, 2017, FSEN.
Emilio Tuosto, Filippo Bonchi, Paola Spoletini, 2009 .
Paolo Baldan, Barbara König, Filippo Bonchi, 2014, FSTTCS.
Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten, 2011, Inf. Comput..
Jurriaan Rot, Damien Pous, Filippo Bonchi, 2015, CONCUR.
Antonio Brogi, Filippo Bonchi, Andrea Canciani, 2017, Sci. Comput. Program..
Alexandra Silva, Jurriaan Rot, Marcello M. Bonsangue, 2015, Mathematical Structures in Computer Science.
Ugo Montanari, Filippo Bonchi, 2009, CALCO.
Barbara König, Filippo Bonchi, Sebastian Küpper, 2017, ArXiv.
Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten, 2011, Inf. Comput..
Paolo Baldan, Barbara König, Filippo Bonchi, 2017, Log. Methods Comput. Sci..
Andrea Corradini, Paolo Baldan, Barbara König, 2011, J. Symb. Comput..
Frank D. Valencia, Filippo Bonchi, Luis Fernando Pino, 2013, PPDP.
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi, 2018, J. Log. Algebraic Methods Program..
Filippo Bonchi, Alessio Santamaria, 2020, ArXiv.
Fabio Gadducci, Ugo Montanari, Filippo Bonchi, 2010, ICGT.
Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten, 2010, FSTTCS.
Fabio Gadducci, Aleks Kissinger, Filippo Bonchi, 2020, ArXiv.
Filippo Bonchi, Fabio Zanasi, Robin Piedeleu, 2020, FoSSaCS.
Fabio Gadducci, Filippo Bonchi, Giacoma Valentina Monreale, 2010, SOS.
Filippo Bonchi, Jens Seeber, Paweł Sobociński, 2019, CALCO.
Fabio Gadducci, Paolo Baldan, Filippo Bonchi, 2009, CONCUR.
Filippo Bonchi, Fabio Zanasi, Robin Piedeleu, 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski, 2017, CONCUR.
Ugo Montanari, Filippo Bonchi, 2008, Electron. Notes Theor. Comput. Sci..
Ugo Montanari, Filippo Bonchi, U. Montanari, 2011, Log. Methods Comput. Sci..
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi, 2014, FoSSaCS.
Jurriaan Rot, Damien Pous, Filippo Bonchi, 2014, CSL-LICS.
Frank D. Valencia, Filippo Bonchi, Luis Fernando Pino, 2014, ICTAC.
Fabio Gadducci, Paolo Baldan, Filippo Bonchi, 2010, APLAS.
Fabio Gadducci, Paolo Baldan, Filippo Bonchi, 2014, COORDINATION.
Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski, 2017, ArXiv.
Frank D. Valencia, Filippo Bonchi, P. AndrésA.Aristizábal, 2015, Sci. Comput. Program..
Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten, 2013, Log. Methods Comput. Sci..
Antonio Brogi, Filippo Bonchi, Andrea Canciani, 2016, 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).
Antonio Brogi, Fabio Gadducci, Filippo Bonchi, 2009, Fundam. Informaticae.
Filippo Bonchi, Pawel Sobocinski, Alessandro Di Giorgio, 2021, FSTTCS.
Filippo Bonchi, Alessio Santamaria, Jens Seeber, 2021, CALCO.
Fabio Gadducci, Aleks Kissinger, Filippo Bonchi, 2021, ArXiv.
Filippo Bonchi, Fabio Zanasi, Robin Piedeleu, 2021, Inf. Comput..
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi, 2021, IFIP's Exciting First 60+ Years.
Filippo Bonchi, Alessio Santamaria, 2021, ArXiv.
Fabio Gadducci, Aleks Kissinger, Filippo Bonchi, 2021, ArXiv.
Ana Sokolova, Filippo Bonchi, Alexandra SIlva, 2021, Logical Methods in Computer Science.
Filippo Bonchi, Alessio Santamaria, F. Bonchi, 2020, FoSSaCS.
Ana Sokolova, Filippo Bonchi, Valeria Vignudelli, 2018, Log. Methods Comput. Sci..
Filippo Bonchi, Alexandra Silva, Alexandra Silva, 2011 .
Marcello M. Bonsangue, Filippo Bonchi, Jan Rutten, 2010 .
Filippo Bonchi, Andres Aristizabal, Luis Fernando Pino, 2011 .