Edit Profile (opens in new tab) Bonchi, Filippo Co-Author Distance Author ID: bonchi.filippo Published as: Bonchi, Filippo; Bonchi, F. Documents Indexed: 89 Publications since 2006, including 3 Additional arXiv Preprints 4 Contributions as Editor Co-Authors: 50 Co-Authors with 93 Joint Publications 1,029 Co-Co-Authors all top 5 Co-Authors 0 single-authored 24 Gadducci, Fabio 23 Sobociński, Paweł 20 Zanasi, Fabio 16 Silva, Alexandra 11 König, Barbara 10 Bonsangue, Marcello Maria 10 Rutten, Jan J. M. M. 9 Montanari, Ugo G. 8 Monreale, Giacoma Valentina 7 Baldan, Paolo 6 Kissinger, Aleks 6 Pous, Damien 5 Petrisan, Daniela Luan 5 Rot, Jurriaan 4 Brogi, Antonio 4 Corfini, Sara 4 Seeber, Jens 4 Sokolova, Ana 3 Caltais, Georgiana 3 Di Giorgio, Alessandro 3 Heindel, Tobias 3 Kerstan, Henning 3 Milius, Stefan 3 Pavlović, Duško 3 Piedeleu, Robin 3 Pino, Luis F. 3 Santamaria, Alessio 3 Valencia, Frank D. 2 Aristizábal, Andrés 2 Buscemi, Maria Grazia 2 Ciancia, Vincenzo 2 Grohmann, Davide 2 Spoletini, Paola 2 Tuosto, Emilio 2 Vignudelli, Valeria 1 Adámek, Jiří 1 Boreale, Michele 1 Corradini, Andrea 1 Ganty, Pierre 1 Giacobazzi, Roberto 1 Hansen, Helle Hvid 1 Haydon, Nathan 1 Holland, Joshua 1 Hülsbusch, Mathias 1 Küpper, Sebastian 1 Lee, Matias David 1 Palamidessi, Catuscia 1 Panangaden, Prakash 1 Puglisi, Simon J. 1 Troina, Angelo all top 5 Serials 7 MSCS. Mathematical Structures in Computer Science 7 Logical Methods in Computer Science 5 Information and Computation 2 Theoretical Computer Science 2 Fundamenta Informaticae 2 ACM Transactions on Computational Logic 2 LIPIcs – Leibniz International Proceedings in Informatics 1 Acta Informatica 1 Journal of Pure and Applied Algebra 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Journal of the ACM 1 Electronic Notes in Theoretical Computer Science 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) all top 5 Fields 88 Computer science (68-XX) 30 Category theory; homological algebra (18-XX) 4 General and overarching topics; collections (00-XX) 4 Mathematical logic and foundations (03-XX) 3 Associative rings and algebras (16-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 73 Publications have been cited 590 times in 296 Documents Cited by ▼ Year ▼ Checking NFA equivalence with bisimulations up to congruence. Zbl 1301.68169 Bonchi, Filippo; Pous, Damien 38 2013 Generalizing determinization from automata to coalgebras. Zbl 1262.18002 Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 31 2013 A categorical semantics of signal flow graphs. Zbl 1417.68119 Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 28 2014 Full abstraction for signal flow graphs. Zbl 1346.68143 Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio 25 2015 A coalgebraic perspective on linear weighted automata. Zbl 1279.68235 Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra 24 2012 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174 Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 23 2014 Coinduction up-to in a fibrational setting. Zbl 1395.68195 Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan 22 2014 Rewriting modulo symmetric monoidal structure. Zbl 1395.68162 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 21 2016 Generalizing the powerset construction, coalgebraically. Zbl 1245.68141 Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 18 2010 A coalgebraic perspective on minimization and determinization. Zbl 1352.68171 Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra 18 2012 Interacting Hopf algebras. Zbl 1345.68229 Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 17 2017 A general account of coinduction up-to. Zbl 1371.68186 Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan 16 2017 The calculus of signal flow diagrams. I: Linear relations on streams. Zbl 1355.68188 Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 15 2017 Coalgebraic behavioral metrics. Zbl 1515.68199 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 15 2018 Interacting bialgebras are Frobenius. Zbl 1395.18009 Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 13 2014 Confluence of graph rewriting with interfaces. Zbl 1485.68124 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 12 2017 Up-to techniques for behavioural metrics via fibrations. Zbl 1520.68089 Bonchi, Filippo; König, Barbara; Petrişan, Daniela 12 2018 Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 11 2009 String diagram rewrite theory. I: Rewriting with Frobenius structure. Zbl 1497.68239 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio 11 2022 Quantitative Kleene coalgebras. Zbl 1227.68075 Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 10 2011 Enhanced coalgebraic bisimulation. Zbl 1380.68300 Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra 10 2015 The power of convex algebras. Zbl 1442.68085 Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana 10 2017 Behavioral metrics via functor lifting. Zbl 1360.68607 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 9 2014 Process bisimulation via a graphical encoding. Zbl 1156.68494 Bonchi, Filippo; Gadducci, Fabio; König, Barbara 8 2006 Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315 Bonchi, Filippo; Montanari, Ugo 7 2009 Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185 Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra 7 2012 Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194 Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 7 2015 Bialgebraic semantics for logic programming. Zbl 1347.68040 Bonchi, Filippo; Zanasi, Fabio 7 2015 Coalgebraic models for reactive systems. Zbl 1151.68507 Bonchi, Filippo; Montanari, Ugo 7 2007 Graphical conjunctive queries. Zbl 1528.68098 Bonchi, Filippo; Seeber, Jens; Sobocinski, Pawel 7 2018 Refinement for signal flow graphs. Zbl 1442.68125 Bonchi, Filippo; Holland, Joshua; Pavlovic, Dusko; Sobociński, Paweł 7 2017 Symbolic semantics revisited. Zbl 1139.68039 Bonchi, Filippo; Montanari, Ugo 6 2008 Deriving labels and bisimilarity for concurrent constraint programming. Zbl 1326.68196 Aristizábal, Andrés; Bonchi, Filippo; Palamidessi, Catuscia; Pino, Luis; Valencia, Frank 6 2011 Synthesising CCS bisimulation using graph rewriting. Zbl 1169.68030 Bonchi, Filippo; Gadducci, Fabio; König, Barbara 6 2009 A general theory of barbs, contexts, and labels. Zbl 1354.68189 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 6 2014 A presheaf environment for the explicit fusion calculus. Zbl 1290.68089 Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 6 2012 A category of explicit fusions. Zbl 1144.68038 Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 5 2008 A behavioural congruence for web services. Zbl 1141.68501 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 5 2007 Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio 5 2009 Sound up-to techniques and complete abstract domains. Zbl 1497.68107 Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko 5 2018 Saturated semantics for coalgebraic logic programming. Zbl 1394.68053 Bonchi, Filippo; Zanasi, Fabio 5 2013 Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129 Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 4 2009 Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 4 2009 Lax bialgebras and up-to techniques for weak bisimulations. Zbl 1371.68187 Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan 4 2015 Asynchronous traces and open Petri nets. Zbl 1434.68320 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. 4 2015 Up-to techniques for weighted systems. Zbl 1452.68100 Bonchi, Filippo; König, Barbara; Küpper, Sebastian 4 2017 Combining semilattices and semimodules. Zbl 07410421 Bonchi, Filippo; Santamaria, Alessio 4 2021 Towards trace metrics via functor lifting. Zbl 1366.68189 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 3 2015 Final semantics for decorated traces. Zbl 1342.68224 Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra 3 2012 Rewriting with Frobenius. Zbl 1497.68238 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio 3 2018 String diagram rewrite theory. II: Rewriting with symmetric monoidal structure. Zbl 1506.68042 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio 3 2022 A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004 Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara 2 2011 Coalgebraic symbolic semantics. Zbl 1239.68049 Bonchi, Filippo; Montanari, Ugo 2 2009 Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180 Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra 2 2013 A coalgebraic view on decorated traces. Zbl 1364.68276 Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A. 2 2016 Lawvere categories as composed PROPs. Zbl 1475.18028 Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio 2 2016 Parallel and sequential independence for borrowed contexts. Zbl 1175.68216 Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias 2 2008 Contextual equivalence for signal flow graphs. Zbl 07250933 Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio 2 2020 Bialgebraic semantics for string diagrams. Zbl 07649945 Bonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel; Zanasi, Fabio 2 2019 String diagram rewrite theory. III: Confluence with and without Frobenius. Zbl 1506.68043 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 2 2022 A coalgebraic theory of reactive systems. Zbl 1279.68249 Bonchi, Filippo; Montanari, Ugo 2 2008 The theory of traces for systems with nondeterminism, probability, and termination. Zbl 07566077 Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria 2 2022 A net-based approach to web services publication and replaceability. Zbl 1183.68069 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2009 On the use of behavioural equivalences for web services’ development. Zbl 1154.68446 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2008 Minimization algorithm for symbolic bisimilarity. Zbl 1234.68288 Bonchi, Filippo; Montanari, Ugo 1 2009 A behavioral congruence for concurrent constraint programming with nondeterministic choice. Zbl 1432.68315 Pino, Luis F.; Bonchi, Filippo; Valencia, Frank D. 1 2014 Concurrency cannot be observed, asynchronously. Zbl 1361.68158 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 1 2015 How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. Zbl 1331.68148 Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 1 2014 Bialgebraic foundations for the operational semantics of string diagrams. Zbl 1518.68197 Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio 1 2021 Reducing weak to strong bisimilarity in CCP. Zbl 1433.68228 Aristizábal, Andrés; Bonchi, Filippo; Pino, Luis; Valencia, Frank 1 2012 G-reactive systems as coalgebras. Zbl 1277.68163 Bonchi, Filippo; Montanari, Ugo 1 2008 Convexity via weak distributive laws. Zbl 07639916 Bonchi, Filippo; Santamaria, Alessio 1 2022 Distribution bisimilarity via the power of convex algebras. Zbl 1480.18005 Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana 1 2021 String diagram rewrite theory. I: Rewriting with Frobenius structure. Zbl 1497.68239 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio 11 2022 String diagram rewrite theory. II: Rewriting with symmetric monoidal structure. Zbl 1506.68042 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio 3 2022 String diagram rewrite theory. III: Confluence with and without Frobenius. Zbl 1506.68043 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 2 2022 The theory of traces for systems with nondeterminism, probability, and termination. Zbl 07566077 Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria 2 2022 Convexity via weak distributive laws. Zbl 07639916 Bonchi, Filippo; Santamaria, Alessio 1 2022 Combining semilattices and semimodules. Zbl 07410421 Bonchi, Filippo; Santamaria, Alessio 4 2021 Bialgebraic foundations for the operational semantics of string diagrams. Zbl 1518.68197 Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio 1 2021 Distribution bisimilarity via the power of convex algebras. Zbl 1480.18005 Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana 1 2021 Contextual equivalence for signal flow graphs. Zbl 07250933 Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio 2 2020 Bialgebraic semantics for string diagrams. Zbl 07649945 Bonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel; Zanasi, Fabio 2 2019 Coalgebraic behavioral metrics. Zbl 1515.68199 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 15 2018 Up-to techniques for behavioural metrics via fibrations. Zbl 1520.68089 Bonchi, Filippo; König, Barbara; Petrişan, Daniela 12 2018 Graphical conjunctive queries. Zbl 1528.68098 Bonchi, Filippo; Seeber, Jens; Sobocinski, Pawel 7 2018 Sound up-to techniques and complete abstract domains. Zbl 1497.68107 Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko 5 2018 Rewriting with Frobenius. Zbl 1497.68238 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio 3 2018 Interacting Hopf algebras. Zbl 1345.68229 Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 17 2017 A general account of coinduction up-to. Zbl 1371.68186 Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan 16 2017 The calculus of signal flow diagrams. I: Linear relations on streams. Zbl 1355.68188 Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 15 2017 Confluence of graph rewriting with interfaces. Zbl 1485.68124 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 12 2017 The power of convex algebras. Zbl 1442.68085 Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana 10 2017 Refinement for signal flow graphs. Zbl 1442.68125 Bonchi, Filippo; Holland, Joshua; Pavlovic, Dusko; Sobociński, Paweł 7 2017 Up-to techniques for weighted systems. Zbl 1452.68100 Bonchi, Filippo; König, Barbara; Küpper, Sebastian 4 2017 Rewriting modulo symmetric monoidal structure. Zbl 1395.68162 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 21 2016 A coalgebraic view on decorated traces. Zbl 1364.68276 Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A. 2 2016 Lawvere categories as composed PROPs. Zbl 1475.18028 Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio 2 2016 Full abstraction for signal flow graphs. Zbl 1346.68143 Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio 25 2015 Enhanced coalgebraic bisimulation. Zbl 1380.68300 Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra 10 2015 Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194 Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 7 2015 Bialgebraic semantics for logic programming. Zbl 1347.68040 Bonchi, Filippo; Zanasi, Fabio 7 2015 Lax bialgebras and up-to techniques for weak bisimulations. Zbl 1371.68187 Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan 4 2015 Asynchronous traces and open Petri nets. Zbl 1434.68320 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. 4 2015 Towards trace metrics via functor lifting. Zbl 1366.68189 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 3 2015 Concurrency cannot be observed, asynchronously. Zbl 1361.68158 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 1 2015 A categorical semantics of signal flow graphs. Zbl 1417.68119 Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 28 2014 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174 Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 23 2014 Coinduction up-to in a fibrational setting. Zbl 1395.68195 Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan 22 2014 Interacting bialgebras are Frobenius. Zbl 1395.18009 Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 13 2014 Behavioral metrics via functor lifting. Zbl 1360.68607 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 9 2014 A general theory of barbs, contexts, and labels. Zbl 1354.68189 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 6 2014 A behavioral congruence for concurrent constraint programming with nondeterministic choice. Zbl 1432.68315 Pino, Luis F.; Bonchi, Filippo; Valencia, Frank D. 1 2014 How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. Zbl 1331.68148 Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 1 2014 Checking NFA equivalence with bisimulations up to congruence. Zbl 1301.68169 Bonchi, Filippo; Pous, Damien 38 2013 Generalizing determinization from automata to coalgebras. Zbl 1262.18002 Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 31 2013 Saturated semantics for coalgebraic logic programming. Zbl 1394.68053 Bonchi, Filippo; Zanasi, Fabio 5 2013 Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180 Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra 2 2013 A coalgebraic perspective on linear weighted automata. Zbl 1279.68235 Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra 24 2012 A coalgebraic perspective on minimization and determinization. Zbl 1352.68171 Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra 18 2012 Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185 Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra 7 2012 A presheaf environment for the explicit fusion calculus. Zbl 1290.68089 Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 6 2012 Final semantics for decorated traces. Zbl 1342.68224 Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra 3 2012 Reducing weak to strong bisimilarity in CCP. Zbl 1433.68228 Aristizábal, Andrés; Bonchi, Filippo; Pino, Luis; Valencia, Frank 1 2012 Quantitative Kleene coalgebras. Zbl 1227.68075 Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 10 2011 Deriving labels and bisimilarity for concurrent constraint programming. Zbl 1326.68196 Aristizábal, Andrés; Bonchi, Filippo; Palamidessi, Catuscia; Pino, Luis; Valencia, Frank 6 2011 A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004 Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara 2 2011 Generalizing the powerset construction, coalgebraically. Zbl 1245.68141 Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 18 2010 Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 11 2009 Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315 Bonchi, Filippo; Montanari, Ugo 7 2009 Synthesising CCS bisimulation using graph rewriting. Zbl 1169.68030 Bonchi, Filippo; Gadducci, Fabio; König, Barbara 6 2009 Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio 5 2009 Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129 Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 4 2009 Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 4 2009 Coalgebraic symbolic semantics. Zbl 1239.68049 Bonchi, Filippo; Montanari, Ugo 2 2009 A net-based approach to web services publication and replaceability. Zbl 1183.68069 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2009 Minimization algorithm for symbolic bisimilarity. Zbl 1234.68288 Bonchi, Filippo; Montanari, Ugo 1 2009 Symbolic semantics revisited. Zbl 1139.68039 Bonchi, Filippo; Montanari, Ugo 6 2008 A category of explicit fusions. Zbl 1144.68038 Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 5 2008 Parallel and sequential independence for borrowed contexts. Zbl 1175.68216 Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias 2 2008 A coalgebraic theory of reactive systems. Zbl 1279.68249 Bonchi, Filippo; Montanari, Ugo 2 2008 On the use of behavioural equivalences for web services’ development. Zbl 1154.68446 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2008 G-reactive systems as coalgebras. Zbl 1277.68163 Bonchi, Filippo; Montanari, Ugo 1 2008 Coalgebraic models for reactive systems. Zbl 1151.68507 Bonchi, Filippo; Montanari, Ugo 7 2007 A behavioural congruence for web services. Zbl 1141.68501 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 5 2007 Process bisimulation via a graphical encoding. Zbl 1156.68494 Bonchi, Filippo; Gadducci, Fabio; König, Barbara 8 2006 all cited Publications top 5 cited Publications all top 5 Cited by 326 Authors 42 Bonchi, Filippo 25 Zanasi, Fabio 23 Gadducci, Fabio 19 Silva, Alexandra 19 Sobociński, Paweł 17 Rot, Jurriaan 14 Rutten, Jan J. M. M. 13 König, Barbara 11 Bonsangue, Marcello Maria 11 Milius, Stefan 11 Montanari, Ugo G. 9 Kissinger, Aleks 8 Baldan, Paolo 8 Monreale, Giacoma Valentina 8 Pous, Damien 8 Sammartino, Matteo 8 Schröder, Lutz 7 Corradini, Andrea 7 Jacobs, Bart 6 Ciancia, Vincenzo 6 Fong, Brendan 6 Kurz, Alexander 6 Petrisan, Daniela Luan 6 Sangiorgi, Davide 6 Sokolova, Ana 6 Wilson, Paul W. 6 Wißmann, Thorsten 5 Boreale, Michele 5 Hansen, Helle Hvid 5 Hasuo, Ichiro 5 Hirschkoff, Daniel 5 Katsumata, Shin-ya 5 Kupke, Clemens 5 Piedeleu, Robin 5 Valencia, Frank D. 4 Ballester-Bolinches, Adolfo 4 Brengos, Tomasz 4 Bruni, Roberto 4 Cosme-Llópez, Enric 4 Komendantskaya, Ekaterina 4 Küpper, Sebastian 4 Miculan, Marino 4 Oliveira, José Nuno 4 Panangaden, Prakash 4 Rueda, Camilo 4 Urbat, Henning 4 Wild, Paul 3 Adámek, Jiří 3 Bacci, Giorgio 3 Baez, John C. 3 Coecke, Bob 3 Guzmán, Michell 3 Klin, Bartek 3 Melgratti, Hernán 3 Orejas, Fernando 3 Padoan, Tommaso 3 Pattinson, Dirk 3 Perdrix, Simon 3 Peressotti, Marco 3 Power, John 3 Ribeiro, Leila 3 Salamanca, Julian 3 Santamaria, Alessio 3 Sprunger, David 3 Winter, Joost 3 Zamdzhiev, Vladimir 2 Aguirre, Alejandro 2 Amy, Matthew 2 Bacci, Giovanni 2 Balco, Samuel 2 Balle, Borja 2 Beohar, Harsh 2 Bresolin, Davide 2 Brogi, Antonio 2 Brunet, Paul 2 Buscemi, Maria Grazia 2 Caltais, Georgiana 2 Cho, Kenta 2 Colcombet, Thomas 2 Coya, Brandon 2 de Felice, Giovanni 2 Di Gianantonio, Pietro 2 Dorsch, Ulrich 2 Dubut, Jérémy 2 Duncan, Ross 2 Durier, Adrien 2 Duval, Dominique 2 Echahed, Rachid 2 Eggert, Richard 2 Ehrig, Hartmut 2 Fritz, Tobias 2 Ghani, Neil 2 Ghica, Dan R. 2 Goncharov, Sergeĭ Savost’yanovich 2 Gu, Tao 2 Hofmann, Dirk 2 Honsell, Furio 2 Horne, Ross 2 Horsman, Dominic 2 Jouannaud, Jean-Pierre ...and 226 more Authors all top 5 Cited in 30 Serials 30 Logical Methods in Computer Science 23 Theoretical Computer Science 21 Journal of Logical and Algebraic Methods in Programming 16 Information and Computation 16 MSCS. Mathematical Structures in Computer Science 5 Theory and Applications of Categories 4 Acta Informatica 4 Formal Aspects of Computing 3 Journal of Computer and System Sciences 3 Applied Categorical Structures 3 ACM Transactions on Computational Logic 2 Journal of Pure and Applied Algebra 2 Journal of Automated Reasoning 2 Journal of Functional Programming 2 The Journal of Logic and Algebraic Programming 1 Information Processing Letters 1 Advances in Mathematics 1 Algebra Universalis 1 Fuzzy Sets and Systems 1 Information Sciences 1 Osaka Journal of Mathematics 1 Quaestiones Mathematicae 1 New Generation Computing 1 International Journal of Foundations of Computer Science 1 Formal Methods in System Design 1 Constraints 1 Soft Computing 1 Journal of the ACM 1 Fundamenta Informaticae 1 Journal of Physics A: Mathematical and Theoretical all top 5 Cited in 29 Fields 261 Computer science (68-XX) 115 Category theory; homological algebra (18-XX) 47 Mathematical logic and foundations (03-XX) 15 Quantum theory (81-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 5 Probability theory and stochastic processes (60-XX) 4 General algebraic systems (08-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Associative rings and algebras (16-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Information and communication theory, circuits (94-XX) 3 General topology (54-XX) 2 Combinatorics (05-XX) 2 Commutative algebra (13-XX) 2 Ordinary differential equations (34-XX) 2 Statistics (62-XX) 2 Operations research, mathematical programming (90-XX) 1 Number theory (11-XX) 1 Group theory and generalizations (20-XX) 1 Topological groups, Lie groups (22-XX) 1 Special functions (33-XX) 1 Partial differential equations (35-XX) 1 Operator theory (47-XX) 1 Differential geometry (53-XX) 1 Manifolds and cell complexes (57-XX) 1 Mechanics of particles and systems (70-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Citations by Year