Filippo Bonchi
Filippo Bonchi
Verified email at ens-lyon.fr
TitleCited byYear
Why'nearshore'means that distance matters
E Carmel, P Abbott
Communications of the ACM 50 (10), 40-46, 2007
1922007
Checking NFA equivalence with bisimulations up to congruence
F Bonchi, D Pous
ACM SIGPLAN Notices 48 (1), 457-468, 2013
1432013
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
752006
Generalizing determinization from automata to coalgebras
A Silva, F Bonchi, M Bonsangue, J Rutten
arXiv preprint arXiv:1302.1046, 2013
672013
Generalizing the powerset construction, coalgebraically
A Silva, F Bonchi, MM Bonsangue, JJMM Rutten
IARCS Annual Conference on Foundations of Software Technology and …, 2010
622010
A categorical semantics of signal flow graphs
F Bonchi, P Sobociński, F Zanasi
International Conference on Concurrency Theory, 435-450, 2014
582014
Full abstraction for signal flow graphs
F Bonchi, P Sobocinski, F Zanasi
ACM SIGPLAN Notices 50 (1), 515-526, 2015
552015
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), 3, 2014
502014
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
PJ Denning
Communications of the ACM 56 (5), 35-38, 2013
49*2013
A coalgebraic perspective on linear weighted automata
F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva
Information and Computation 211, 77-105, 2012
482012
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 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
452012
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
442014
A behavioural congruence for web services
F Bonchi, A Brogi, S Corfini, F Gadducci
International Conference on Fundamentals of Software Engineering, 240-256, 2007
412007
Interacting Hopf algebras
F Bonchi, P Sobociński, F Zanasi
Journal of Pure and Applied Algebra 221 (1), 144-184, 2017
382017
Interacting bialgebras are Frobenius
F Bonchi, P Sobociński, F Zanasi
International Conference on Foundations of Software Science and Computation …, 2014
332014
Quantitative kleene coalgebras
A Silva, F Bonchi, M Bonsangue, J Rutten
Information and Computation 209 (5), 822-849, 2011
332011
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
322011
Process Bisimulation Via a Graphical Encoding
F Bonchi, F Gadducci, B König
International Conference on Graph Transformation, 168-183, 2006
312006
Brzozowski’s algorithm (co) algebraically
F Bonchi, MM Bonsangue, JJMM Rutten, A Silva
Logic and Program Semantics, 12-23, 2012
302012
The system can't perform the operation now. Try again later.
Articles 1–20