F. Bonchi
发表
Filippo Bonchi,
Alexandra Silva,
Alexandra Silva,
2011
.
F. Bonchi,
P. Sobocinski,
R. Piedeleu,
2019
.
J. Rutten,
Alexandra Silva,
D. Pous,
2016
.
B. König,
F. Bonchi,
2017
.
D. Pous,
F. Bonchi,
J. Rot,
2017
.
D. Pous,
F. Bonchi,
2011
.
F. Bonchi,
P. Sobocinski,
R. Piedeleu,
2019
.
Ugo Montanari,
Filippo Bonchi,
U. Montanari,
2009,
Theor. Comput. Sci..
F. Gadducci,
A. Kissinger,
F. Bonchi,
2021,
Mathematical Structures in Computer Science.
Fabio Gadducci,
Paolo Baldan,
Filippo Bonchi,
2014,
Mathematical Structures in Computer Science.
Fabio Gadducci,
Paolo Baldan,
Filippo Bonchi,
2010,
APLAS.
Ana Sokolova,
Filippo Bonchi,
Valeria Vignudelli,
2018,
Log. Methods Comput. Sci..
Ana Sokolova,
Filippo Bonchi,
Valeria Vignudelli,
2018,
ArXiv.
Alexandra Silva,
Ana Sokolova,
Filippo Bonchi,
2017,
CONCUR.
Paolo Baldan,
Barbara König,
Filippo Bonchi,
2014,
FSTTCS.
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2013,
Log. Methods Comput. Sci..
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2011,
Inf. Comput..
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2011,
Inf. Comput..
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2010,
FSTTCS.
Marcello M. Bonsangue,
Filippo Bonchi,
Jan Rutten,
2010
.
Alexandra Silva,
Marcello M. Bonsangue,
Jan J. M. M. Rutten,
2009,
CONCUR.
Barbara König,
Filippo Bonchi,
Daniela Petrisan,
2018,
CONCUR.
Ana Sokolova,
Filippo Bonchi,
Valeria Vignudelli,
2020,
CALCO.
Ana Sokolova,
Filippo Bonchi,
Valeria Vignudelli,
2018,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Frank D. Valencia,
Filippo Bonchi,
P. AndrésA.Aristizábal,
2015,
Sci. Comput. Program..
Frank D. Valencia,
Filippo Bonchi,
Luis Fernando Pino,
2014,
ICTAC.
Frank D. Valencia,
Filippo Bonchi,
Catuscia Palamidessi,
2011,
FoSSaCS.
Fabio Gadducci,
Aleks Kissinger,
Filippo Bonchi,
2017,
ESOP.
Roberto Giacobazzi,
Pierre Ganty,
Filippo Bonchi,
2018,
LICS.
F. Gadducci,
A. Kissinger,
F. Bonchi,
2020,
J. ACM.
D. Pous,
F. Bonchi,
2013,
POPL.
Antonio Brogi,
Fabio Gadducci,
Filippo Bonchi,
2009,
Fundam. Informaticae.
Antonio Brogi,
Fabio Gadducci,
Filippo Bonchi,
2008,
Petri Nets.
F. Gadducci,
A. Kissinger,
F. Bonchi,
2021,
Mathematical Structures in Computer Science.
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2014,
ArXiv.
Filippo Bonchi,
Fabio Zanasi,
Robin Piedeleu,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2019,
Proc. ACM Program. Lang..
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2014,
CONCUR.
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2014,
FoSSaCS.
Filippo Bonchi,
Pawel Sobocinski,
Jens Seeber,
2018,
CSL.
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2018,
J. Log. Algebraic Methods Program..
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2017,
Inf. Comput..
Fabio Gadducci,
Aleks Kissinger,
Filippo Bonchi,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2015,
POPL.
Filippo Bonchi,
Dusko Pavlovic,
Pawel Sobocinski,
2017,
CONCUR.
Filippo Bonchi,
F. Bonchi,
2008,
ICGT.
Filippo Bonchi,
Alessio Santamaria,
Jens Seeber,
2021,
CALCO.
Filippo Bonchi,
Fabio Zanasi,
Robin Piedeleu,
2021,
Inf. Comput..
Filippo Bonchi,
Pawel Sobocinski,
Alessandro Di Giorgio,
2021,
FSTTCS.
Filippo Bonchi,
Alessio Santamaria,
F. Bonchi,
2020,
FoSSaCS.
A. Sokolova,
Alexandra Silva,
F. Bonchi,
2017,
Log. Methods Comput. Sci..
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2021,
IFIP's Exciting First 60+ Years.
From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls)
Filippo Bonchi,
Alessandro Di Giorgio,
Fabio Zanasi,
2021,
CALCO.
Fabio Gadducci,
Filippo Bonchi,
Giacoma Valentina Monreale,
2009,
FoSSaCS.
Fabio Gadducci,
Barbara König,
Filippo Bonchi,
2006,
ICGT.
Fabio Gadducci,
Barbara König,
Filippo Bonchi,
2009,
Inf. Comput..
Alexandra Silva,
Barbara König,
Filippo Bonchi,
2012,
FoSSaCS.
Ugo Montanari,
Barbara König,
Filippo Bonchi,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Ugo Montanari,
Filippo Bonchi,
U. Montanari,
2011,
Log. Methods Comput. Sci..
Filippo Bonchi,
Dusko Pavlovic,
Pawel Sobocinski,
2017,
ArXiv.
Paolo Baldan,
Barbara König,
Filippo Bonchi,
2017,
Log. Methods Comput. Sci..
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,
2011,
Logic and Program Semantics.
Giacoma Valentina Monreale,
F. Gadducci,
Paolo Baldan,
2010,
Asian Symposium on Programming Languages and Systems.
Filippo Bonchi,
Fabio Zanasi,
Robin Piedeleu,
2020,
FoSSaCS.
Filippo Bonchi,
Pawel Sobocinski,
Fabio Zanasi,
2019,
CONCUR.
Fabio Gadducci,
Paolo Baldan,
Filippo Bonchi,
2015,
Sci. Comput. Program..
Fabio Gadducci,
Paolo Baldan,
Filippo Bonchi,
2015,
Programming Languages with Applications to Biology and Security.
Fabio Gadducci,
Paolo Baldan,
Filippo Bonchi,
2014,
COORDINATION.
Filippo Bonchi,
Fabio Zanasi,
F. Bonchi,
2015,
Log. Methods Comput. Sci..
Giacoma Valentina Monreale,
F. Gadducci,
Paolo Baldan,
2010,
APLAS.
Fabio Gadducci,
Filippo Bonchi,
Giacoma Valentina Monreale,
2010,
SOS.
Fabio Gadducci,
Paolo Baldan,
Filippo Bonchi,
2009,
CONCUR.
Barbara König,
Filippo Bonchi,
Sebastian Küpper,
2017,
TACAS.
Antonio Brogi,
Fabio Gadducci,
Filippo Bonchi,
2009,
Fundam. Informaticae.
Antonio Brogi,
Fabio Gadducci,
Filippo Bonchi,
2007,
FSEN'07.
Alexandra Silva,
Filippo Bonchi,
Stefan Milius,
2014,
Theor. Comput. Sci..
Damien Pous,
Filippo Bonchi,
D. Pous,
2015,
Commun. ACM.
Antonio Brogi,
Filippo Bonchi,
Andrea Canciani,
2017,
Sci. Comput. Program..
Antonio Brogi,
Filippo Bonchi,
Andrea Canciani,
2016,
2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).
A. Sokolova,
F. Bonchi,
Valeria Vignudelli,
2018,
Log. Methods Comput. Sci..
A. Sokolova,
Alexandra Silva,
F. Bonchi,
2017,
Log. Methods Comput. Sci..
A. Sokolova,
Alexandra Silva,
F. Bonchi,
2017,
CONCUR.
Fabio Gadducci,
Filippo Bonchi,
Giacoma Valentina Monreale,
2014,
Mathematical Structures in Computer Science.
D. Pous,
F. Bonchi,
J. Rot,
2016,
Acta Informatica.
D. Pous,
F. Bonchi,
J. Rot,
2014,
CSL-LICS.
Jurriaan Rot,
Filippo Bonchi,
Matias David Lee,
2017,
FSEN.
Alexandra Silva,
Jurriaan Rot,
Marcello M. Bonsangue,
2015,
Mathematical Structures in Computer Science.
Jurriaan Rot,
Damien Pous,
Filippo Bonchi,
2015,
CONCUR.
M. Bonsangue,
F. Bonchi,
Michele Boreale,
2022
.
F. Bonchi,
A. Santamaria,
2021,
Log. Methods Comput. Sci..
Barbara König,
Filippo Bonchi,
Sebastian Küpper,
2017,
ArXiv.
Paolo Baldan,
Barbara König,
Filippo Bonchi,
2015,
CALCO.
Alessandro Di Giorgio,
F. Bonchi,
A. Santamaria,
2022,
Proc. ACM Program. Lang..