Checking NFA equivalence with bisimulations up to congruence F Bonchi, D Pous ACM SIGPLAN Notices 48 (1), 457-468, 2013 | 192 | 2013 |

A categorical semantics of signal flow graphs F Bonchi, P Sobociński, F Zanasi CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014 | 99 | 2014 |

Full abstraction for signal flow graphs F Bonchi, P Sobocinski, F Zanasi ACM SIGPLAN Notices 50 (1), 515-526, 2015 | 97 | 2015 |

Interacting hopf algebras F Bonchi, P Sobociński, F Zanasi Journal of Pure and Applied Algebra 221 (1), 144-184, 2017 | 96 | 2017 |

Generalizing determinization from automata to coalgebras A Silva, F Bonchi, M Bonsangue, J Rutten arXiv preprint arXiv:1302.1046, 2013 | 91 | 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 | 79 | 2006 |

Generalizing the powerset construction, coalgebraically A Silva, F Bonchi, MM Bonsangue, JJMM Rutten IARCS Annual Conference on Foundations of Software Technology and …, 2010 | 77 | 2010 |

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 | 66 | 2014 |

A coalgebraic perspective on minimization and determinization J Adámek, F Bonchi, M Hülsbusch, B König, S Milius, A Silva Foundations of Software Science and Computational Structures: 15th …, 2012 | 66 | 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 | 64 | 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 | 62 | 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 | 60 | 2016 |

The calculus of signal flow diagrams I: linear relations on streams F Bonchi, P Sobociński, F Zanasi Information and Computation 252, 2-29, 2017 | 51 | 2017 |

Diagrammatic algebra: from linear to concurrent systems F Bonchi, J Holland, R Piedeleu, P Sobociński, F Zanasi Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019 | 49 | 2019 |

Reactive systems, barbed semantics, and the mobile ambients F Bonchi, F Gadducci, GV Monreale Foundations of Software Science and Computational Structures: 12th …, 2009 | 49 | 2009 |

A behavioural congruence for web services F Bonchi, A Brogi, S Corfini, F Gadducci International Symposium on Fundamentals of Software Engineering …, 2007 | 47 | 2007 |

Graphical affine algebra F Bonchi, R Piedeleu, P Sobociński, F Zanasi 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019 | 45 | 2019 |

Interacting Bialgebras Are Frobenius. F Bonchi, P Sobocinski, F Zanasi FoSSaCS, 351-365, 2014 | 44 | 2014 |

A general account of coinduction up-to F Bonchi, D Petrişan, D Pous, J Rot Acta Informatica 54, 127-190, 2017 | 42 | 2017 |

Coalgebraic behavioral metrics P Baldan, F Bonchi, H Kerstan, B König arXiv preprint arXiv:1712.07511, 2017 | 39 | 2017 |