Filippo Bonchi
Filippo Bonchi
Verified email at ens-lyon.fr
Title
Cited by
Cited by
Year
Why'nearshore'means that distance matters
E Carmel, P Abbott
Communications of the ACM 50 (10), 40-46, 2007
2092007
Checking NFA equivalence with bisimulations up to congruence
F Bonchi, D Pous
ACM SIGPLAN Notices 48 (1), 457-468, 2013
1632013
Saturated semantics for reactive systems
F Bonchi, B Konig, U Montanari
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 69-80, 2006
772006
Generalizing determinization from automata to coalgebras
A Silva, F Bonchi, M Bonsangue, J Rutten
arXiv preprint arXiv:1302.1046, 2013
752013
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
PJ Denning
Communications of the ACM 60 (12), 20-23, 2017
73*2017
A categorical semantics of signal flow graphs
F Bonchi, P Sobociński, F Zanasi
International Conference on Concurrency Theory, 435-450, 2014
722014
Full abstraction for signal flow graphs
F Bonchi, P Sobocinski, F Zanasi
ACM SIGPLAN Notices 50 (1), 515-526, 2015
702015
Generalizing the powerset construction, coalgebraically
A Silva, F Bonchi, MM Bonsangue, JJMM Rutten
IARCS Annual Conference on Foundations of Software Technology and†…, 2010
662010
Interacting hopf algebras
F Bonchi, P Sobociński, F Zanasi
Journal of Pure and Applied Algebra 221 (1), 144-184, 2017
602017
Algebra-coalgebra duality in Brzozowski's minimization algorithm
F Bonchi, MM Bonsangue, HH Hansen, P Panangaden, JJMM Rutten, ...
ACM Transactions on Computational Logic (TOCL) 15 (1), 1-29, 2014
592014
A coalgebraic perspective on minimization and determinization
J Adámek, F Bonchi, M Hülsbusch, B König, S Milius, A Silva
International Conference on Foundations of Software Science and†…, 2012
582012
A coalgebraic perspective on linear weighted automata
F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva
Information and Computation 211, 77-105, 2012
532012
Coinduction up-to in a fibrational setting
F Bonchi, D Petrişan, D Pous, J Rot
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference†…, 2014
482014
Reactive systems, barbed semantics, and the mobile ambients
F Bonchi, F Gadducci, GV Monreale
International Conference on Foundations of Software Science and†…, 2009
482009
A behavioural congruence for web services
F Bonchi, A Brogi, S Corfini, F Gadducci
International Conference on Fundamentals of Software Engineering, 240-256, 2007
472007
Interacting bialgebras are Frobenius
F Bonchi, P Sobociński, F Zanasi
International Conference on Foundations of Software Science and Computation†…, 2014
382014
Rewriting modulo symmetric monoidal structure
F Bonchi, F Gadducci, A Kissinger, P Sobociński, F Zanasi
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer†…, 2016
372016
Quantitative kleene coalgebras
A Silva, F Bonchi, M Bonsangue, J Rutten
Information and Computation 209 (5), 822-849, 2011
342011
Deriving labels and bisimilarity for concurrent constraint programming
A Aristizábal, F Bonchi, C Palamidessi, L Pino, F Valencia
International Conference on Foundations of Software Science and†…, 2011
332011
BrzozowskiĘs algorithm (co) algebraically
F Bonchi, MM Bonsangue, JJMM Rutten, A Silva
Logic and Program Semantics, 12-23, 2012
322012
The system can't perform the operation now. Try again later.
Articles 1–20