Why'nearshore'means that distance matters E Carmel, P Abbott Communications of the ACM 50 (10), 40-46, 2007 | 209 | 2007 |
Checking NFA equivalence with bisimulations up to congruence F Bonchi, D Pous ACM SIGPLAN Notices 48 (1), 457-468, 2013 | 163 | 2013 |
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 | 77 | 2006 |
Generalizing determinization from automata to coalgebras A Silva, F Bonchi, M Bonsangue, J Rutten arXiv preprint arXiv:1302.1046, 2013 | 75 | 2013 |
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 | 72 | 2014 |
Full abstraction for signal flow graphs F Bonchi, P Sobocinski, F Zanasi ACM SIGPLAN Notices 50 (1), 515-526, 2015 | 70 | 2015 |
Generalizing the powerset construction, coalgebraically A Silva, F Bonchi, MM Bonsangue, JJMM Rutten IARCS Annual Conference on Foundations of Software Technology and …, 2010 | 66 | 2010 |
Interacting hopf algebras F Bonchi, P Sobociński, F Zanasi Journal of Pure and Applied Algebra 221 (1), 144-184, 2017 | 60 | 2017 |
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 | 59 | 2014 |
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 | 58 | 2012 |
A coalgebraic perspective on linear weighted automata F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva Information and Computation 211, 77-105, 2012 | 53 | 2012 |
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 | 48 | 2014 |
Reactive systems, barbed semantics, and the mobile ambients F Bonchi, F Gadducci, GV Monreale International Conference on Foundations of Software Science and …, 2009 | 48 | 2009 |
A behavioural congruence for web services F Bonchi, A Brogi, S Corfini, F Gadducci International Conference on Fundamentals of Software Engineering, 240-256, 2007 | 47 | 2007 |
Interacting bialgebras are Frobenius F Bonchi, P Sobociński, F Zanasi International Conference on Foundations of Software Science and Computation …, 2014 | 38 | 2014 |
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 | 37 | 2016 |
Quantitative kleene coalgebras A Silva, F Bonchi, M Bonsangue, J Rutten Information and Computation 209 (5), 822-849, 2011 | 34 | 2011 |
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 | 33 | 2011 |
Brzozowski’s algorithm (co) algebraically F Bonchi, MM Bonsangue, JJMM Rutten, A Silva Logic and Program Semantics, 12-23, 2012 | 32 | 2012 |