Edit Profile (opens in new tab) Bonchi, Filippo Compute Distance To: Compute Author ID: bonchi.filippo Published as: Bonchi, Filippo; Bonchi, F. Documents Indexed: 74 Publications since 2006 4 Contributions as Editor Co-Authors: 46 Co-Authors with 78 Joint Publications 898 Co-Co-Authors all top 5 Co-Authors 0 single-authored 22 Gadducci, Fabio 16 Silva, Alexandra 16 Zanasi, Fabio 14 Sobociński, Paweł 10 Bonsangue, Marcello Maria 10 König, Barbara 10 Rutten, Jan J. M. M. 9 Montanari, Ugo G. 8 Monreale, Giacoma Valentina 7 Baldan, Paolo 6 Pous, Damien 4 Brogi, Antonio 4 Corfini, Sara 4 Kissinger, Aleks 4 Petrisan, Daniela Luan 4 Rot, Jurriaan 3 Caltais, Georgiana 3 Heindel, Tobias 3 Kerstan, Henning 3 Milius, Stefan 3 Pino, Luis F. 3 Valencia, Frank D. 2 Aristizábal, Andrés 2 Buscemi, Maria Grazia 2 Ciancia, Vincenzo 2 Grohmann, Davide 2 Pavlović, Duško 2 Piedeleu, Robin 2 Sokolova, Ana 2 Spoletini, Paola 2 Tuosto, Emilio 1 Adámek, Jiří 1 Boreale, Michele 1 Corradini, Andrea 1 Ganty, Pierre 1 Giacobazzi, Roberto 1 Hansen, Helle Hvid 1 Holland, Joshua 1 Hülsbusch, Mathias 1 Küpper, Sebastian 1 Palamidessi, Catuscia 1 Panangaden, Prakash 1 Puglisi, Simon J. 1 Santamaria, Alessio 1 Seeber, Jens 1 Troina, Angelo all top 5 Serials 5 Information and Computation 5 Logical Methods in Computer Science 4 MSCS. Mathematical Structures in Computer Science 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 75 Computer science (68-XX) 22 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) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 61 Publications have been cited 382 times in 207 Documents Cited by ▼ Year ▼ Checking NFA equivalence with bisimulations up to congruence. Zbl 1301.68169Bonchi, Filippo; Pous, Damien 27 2013 A categorical semantics of signal flow graphs. Zbl 1417.68119Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 24 2014 Generalizing determinization from automata to coalgebras. Zbl 1262.18002Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 21 2013 Full abstraction for signal flow graphs. Zbl 1346.68143Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio 19 2015 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 18 2014 A coalgebraic perspective on linear weighted automata. Zbl 1279.68235Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra 18 2012 Coinduction up-to in a fibrational setting. Zbl 1395.68195Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan 17 2014 Generalizing the powerset construction, coalgebraically. Zbl 1245.68141Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 16 2010 A coalgebraic perspective on minimization and determinization. Zbl 1352.68171Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra 13 2012 Interacting bialgebras are Frobenius. Zbl 1395.18009Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 10 2014 Rewriting modulo symmetric monoidal structure. Zbl 1395.68162Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 10 2016 Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 9 2009 Interacting Hopf algebras. Zbl 1345.68229Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 9 2017 A general account of coinduction up-to. Zbl 1371.68186Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan 9 2017 Quantitative Kleene coalgebras. Zbl 1227.68075Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 8 2011 Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315Bonchi, Filippo; Montanari, Ugo 7 2009 Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra 7 2012 The calculus of signal flow diagrams. I: Linear relations on streams. Zbl 1355.68188Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 7 2017 Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 6 2015 Coalgebraic models for reactive systems. Zbl 1151.68507Bonchi, Filippo; Montanari, Ugo 6 2007 Deriving labels and bisimilarity for concurrent constraint programming. Zbl 1326.68196Aristizábal, Andrés; Bonchi, Filippo; Palamidessi, Catuscia; Pino, Luis; Valencia, Frank 6 2011 Process bisimulation via a graphical encoding. Zbl 1156.68494Bonchi, Filippo; Gadducci, Fabio; König, Barbara 6 2006 Bialgebraic semantics for logic programming. Zbl 1347.68040Bonchi, Filippo; Zanasi, Fabio 6 2015 Enhanced coalgebraic bisimulation. Zbl 1380.68300Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra 6 2015 Coalgebraic behavioral metrics. Zbl 06943961Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 6 2018 A category of explicit fusions. Zbl 1144.68038Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 5 2008 A general theory of barbs, contexts, and labels. Zbl 1354.68189Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 5 2014 A presheaf environment for the explicit fusion calculus. Zbl 1290.68089Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 5 2012 Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 4 2009 Symbolic semantics revisited. Zbl 1139.68039Bonchi, Filippo; Montanari, Ugo 4 2008 Asynchronous traces and open Petri nets. Zbl 1434.68320Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. 4 2015 Saturated semantics for coalgebraic logic programming. Zbl 1394.68053Bonchi, Filippo; Zanasi, Fabio 4 2013 Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 4 2009 Behavioral metrics via functor lifting. Zbl 1360.68607Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 4 2014 Lax bialgebras and up-to techniques for weak bisimulations. Zbl 1371.68187Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan 4 2015 Final semantics for decorated traces. Zbl 1342.68224Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra 3 2012 Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio 3 2009 A behavioural congruence for web services. Zbl 1141.68501Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 3 2007 Synthesising CCS bisimulation using graph rewriting. Zbl 1169.68030Bonchi, Filippo; Gadducci, Fabio; König, Barbara 3 2009 Up-to techniques for behavioural metrics via fibrations. Zbl 07378561Bonchi, Filippo; König, Barbara; Petrişan, Daniela 3 2018 Confluence of graph rewriting with interfaces. Zbl 1485.68124Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 3 2017 Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra 2 2013 Lawvere categories as composed PROPs. Zbl 1475.18028Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio 2 2016 A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara 2 2011 Coalgebraic symbolic semantics. Zbl 1239.68049Bonchi, Filippo; Montanari, Ugo 2 2009 A coalgebraic theory of reactive systems. Zbl 1279.68249Bonchi, Filippo; Montanari, Ugo 2 2008 Parallel and sequential independence for borrowed contexts. Zbl 1175.68216Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias 2 2008 The power of convex algebras. Zbl 1442.68085Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana 2 2017 Refinement for signal flow graphs. Zbl 1442.68125Bonchi, Filippo; Holland, Joshua; Pavlovic, Dusko; Sobociński, Paweł 2 2017 Sound up-to techniques and complete abstract domains. Zbl 07298742Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko 2 2018 Contextual equivalence for signal flow graphs. Zbl 07250933Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio 2 2020 A behavioral congruence for concurrent constraint programming with nondeterministic choice. Zbl 1432.68315Pino, Luis F.; Bonchi, Filippo; Valencia, Frank D. 1 2014 Concurrency cannot be observed, asynchronously. Zbl 1361.68158Baldan, 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.68148Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 1 2014 G-reactive systems as coalgebras. Zbl 1277.68163Bonchi, Filippo; Montanari, Ugo 1 2008 On the use of behavioural equivalences for web services’ development. Zbl 1154.68446Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2008 Minimization algorithm for symbolic bisimilarity. Zbl 1234.68288Bonchi, Filippo; Montanari, Ugo 1 2009 A net-based approach to web services publication and replaceability. Zbl 1183.68069Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2009 A coalgebraic view on decorated traces. Zbl 1364.68276Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A. 1 2016 Towards trace metrics via functor lifting. Zbl 1366.68189Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 1 2015 Combining semilattices and semimodules. Zbl 07410421Bonchi, Filippo; Santamaria, Alessio 1 2021 Combining semilattices and semimodules. Zbl 07410421Bonchi, Filippo; Santamaria, Alessio 1 2021 Contextual equivalence for signal flow graphs. Zbl 07250933Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio 2 2020 Coalgebraic behavioral metrics. Zbl 06943961Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 6 2018 Up-to techniques for behavioural metrics via fibrations. Zbl 07378561Bonchi, Filippo; König, Barbara; Petrişan, Daniela 3 2018 Sound up-to techniques and complete abstract domains. Zbl 07298742Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko 2 2018 Interacting Hopf algebras. Zbl 1345.68229Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 9 2017 A general account of coinduction up-to. Zbl 1371.68186Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan 9 2017 The calculus of signal flow diagrams. I: Linear relations on streams. Zbl 1355.68188Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 7 2017 Confluence of graph rewriting with interfaces. Zbl 1485.68124Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 3 2017 The power of convex algebras. Zbl 1442.68085Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana 2 2017 Refinement for signal flow graphs. Zbl 1442.68125Bonchi, Filippo; Holland, Joshua; Pavlovic, Dusko; Sobociński, Paweł 2 2017 Rewriting modulo symmetric monoidal structure. Zbl 1395.68162Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 10 2016 Lawvere categories as composed PROPs. Zbl 1475.18028Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio 2 2016 A coalgebraic view on decorated traces. Zbl 1364.68276Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A. 1 2016 Full abstraction for signal flow graphs. Zbl 1346.68143Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio 19 2015 Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 6 2015 Bialgebraic semantics for logic programming. Zbl 1347.68040Bonchi, Filippo; Zanasi, Fabio 6 2015 Enhanced coalgebraic bisimulation. Zbl 1380.68300Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra 6 2015 Asynchronous traces and open Petri nets. Zbl 1434.68320Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. 4 2015 Lax bialgebras and up-to techniques for weak bisimulations. Zbl 1371.68187Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan 4 2015 Concurrency cannot be observed, asynchronously. Zbl 1361.68158Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 1 2015 Towards trace metrics via functor lifting. Zbl 1366.68189Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 1 2015 A categorical semantics of signal flow graphs. Zbl 1417.68119Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 24 2014 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 18 2014 Coinduction up-to in a fibrational setting. Zbl 1395.68195Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan 17 2014 Interacting bialgebras are Frobenius. Zbl 1395.18009Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 10 2014 A general theory of barbs, contexts, and labels. Zbl 1354.68189Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 5 2014 Behavioral metrics via functor lifting. Zbl 1360.68607Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 4 2014 A behavioral congruence for concurrent constraint programming with nondeterministic choice. Zbl 1432.68315Pino, 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.68148Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 1 2014 Checking NFA equivalence with bisimulations up to congruence. Zbl 1301.68169Bonchi, Filippo; Pous, Damien 27 2013 Generalizing determinization from automata to coalgebras. Zbl 1262.18002Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 21 2013 Saturated semantics for coalgebraic logic programming. Zbl 1394.68053Bonchi, Filippo; Zanasi, Fabio 4 2013 Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra 2 2013 A coalgebraic perspective on linear weighted automata. Zbl 1279.68235Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra 18 2012 A coalgebraic perspective on minimization and determinization. Zbl 1352.68171Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra 13 2012 Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra 7 2012 A presheaf environment for the explicit fusion calculus. Zbl 1290.68089Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 5 2012 Final semantics for decorated traces. Zbl 1342.68224Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra 3 2012 Quantitative Kleene coalgebras. Zbl 1227.68075Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 8 2011 Deriving labels and bisimilarity for concurrent constraint programming. Zbl 1326.68196Aristizábal, Andrés; Bonchi, Filippo; Palamidessi, Catuscia; Pino, Luis; Valencia, Frank 6 2011 A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara 2 2011 Generalizing the powerset construction, coalgebraically. Zbl 1245.68141Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 16 2010 Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 9 2009 Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315Bonchi, Filippo; Montanari, Ugo 7 2009 Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 4 2009 Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 4 2009 Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio 3 2009 Synthesising CCS bisimulation using graph rewriting. Zbl 1169.68030Bonchi, Filippo; Gadducci, Fabio; König, Barbara 3 2009 Coalgebraic symbolic semantics. Zbl 1239.68049Bonchi, Filippo; Montanari, Ugo 2 2009 Minimization algorithm for symbolic bisimilarity. Zbl 1234.68288Bonchi, Filippo; Montanari, Ugo 1 2009 A net-based approach to web services publication and replaceability. Zbl 1183.68069Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2009 A category of explicit fusions. Zbl 1144.68038Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 5 2008 Symbolic semantics revisited. Zbl 1139.68039Bonchi, Filippo; Montanari, Ugo 4 2008 A coalgebraic theory of reactive systems. Zbl 1279.68249Bonchi, Filippo; Montanari, Ugo 2 2008 Parallel and sequential independence for borrowed contexts. Zbl 1175.68216Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias 2 2008 G-reactive systems as coalgebras. Zbl 1277.68163Bonchi, Filippo; Montanari, Ugo 1 2008 On the use of behavioural equivalences for web services’ development. Zbl 1154.68446Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2008 Coalgebraic models for reactive systems. Zbl 1151.68507Bonchi, Filippo; Montanari, Ugo 6 2007 A behavioural congruence for web services. Zbl 1141.68501Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 3 2007 Process bisimulation via a graphical encoding. Zbl 1156.68494Bonchi, Filippo; Gadducci, Fabio; König, Barbara 6 2006 all cited Publications top 5 cited Publications all top 5 Cited by 249 Authors 32 Bonchi, Filippo 17 Silva, Alexandra 14 Gadducci, Fabio 13 Zanasi, Fabio 12 Rutten, Jan J. M. M. 12 Sobociński, Paweł 11 Rot, Jurriaan 10 Montanari, Ugo G. 9 Bonsangue, Marcello Maria 7 König, Barbara 7 Milius, Stefan 7 Monreale, Giacoma Valentina 6 Fong, Brendan 6 Jacobs, Bart 6 Pous, Damien 5 Baldan, Paolo 5 Petrisan, Daniela Luan 5 Sammartino, Matteo 5 Sangiorgi, Davide 5 Sokolova, Ana 5 Valencia, Frank D. 4 Boreale, Michele 4 Brengos, Tomasz 4 Ciancia, Vincenzo 4 Corradini, Andrea 4 Hirschkoff, Daniel 4 Kissinger, Aleks 4 Komendantskaya, Ekaterina 4 Kupke, Clemens 4 Kurz, Alexander 4 Panangaden, Prakash 4 Rueda, Camilo 4 Wißmann, Thorsten 3 Bacci, Giorgio 3 Baez, John C. 3 Ballester-Bolinches, Adolfo 3 Bruni, Roberto 3 Coecke, Bob 3 Cosme-Llópez, Enric 3 Guzmán, Michell 3 Hansen, Helle Hvid 3 Hasuo, Ichiro 3 Klin, Bartek 3 Küpper, Sebastian 3 Melgratti, Hernán 3 Miculan, Marino 3 Oliveira, José Nuno 3 Pattinson, Dirk 3 Peressotti, Marco 3 Piedeleu, Robin 3 Power, John 3 Ribeiro, Leila 3 Schröder, Lutz 3 Winter, Joost 2 Adámek, Jiří 2 Amy, Matthew 2 Bacci, Giovanni 2 Balle, Borja 2 Bresolin, Davide 2 Caltais, Georgiana 2 Cho, Kenta 2 Colcombet, Thomas 2 Coya, Brandon 2 Durier, Adrien 2 Duval, Dominique 2 Ghica, Dan R. 2 Kataoka, Toshiki 2 Kozen, Dexter C. 2 Kuperberg, Denis 2 Lanese, Ivan 2 Larsen, Kim Guldstrand 2 Lenglet, Sergueï 2 Madiot, Jean-Marie 2 Mamouras, Konstantinos 2 Mardare, Radu 2 Myers, Robert S. R. 2 Neves, Renato 2 Perchy, Salim 2 Prost, Frédéric 2 Quick, David 2 Sprunger, David 2 Urbat, Henning 2 Velebil, Jiří 2 Zamdzhiev, Vladimir 1 Abramsky, Samson 1 Affeldt, Reynald 1 Aguirre, Alejandro 1 Azzi, Guilherme Grochau 1 Balan, Adriana 1 Barbosa, Luís Soares 1 Beohar, Harsh 1 Bernardo, Marco 1 Biernacki, Dariusz 1 Bolognesi, Tommaso 1 Braatz, Benjamin 1 Breiner, Spencer 1 Bretschneider, Jan 1 Brogi, Antonio 1 Brunet, Paul 1 Buckley, Mitchell ...and 149 more Authors all top 5 Cited in 25 Serials 21 Theoretical Computer Science 21 Logical Methods in Computer Science 18 Journal of Logical and Algebraic Methods in Programming 16 Information and Computation 9 MSCS. Mathematical Structures in Computer Science 5 Theory and Applications of Categories 4 Formal Aspects of Computing 3 Acta Informatica 3 Journal of Computer and System Sciences 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 Information Sciences 1 New Generation Computing 1 International Journal of Foundations of Computer Science 1 Formal Methods in System Design 1 Applied Categorical Structures 1 Constraints 1 Soft Computing 1 Fundamenta Informaticae all top 5 Cited in 26 Fields 185 Computer science (68-XX) 76 Category theory; homological algebra (18-XX) 31 Mathematical logic and foundations (03-XX) 12 Quantum theory (81-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 4 Associative rings and algebras (16-XX) 3 General algebraic systems (08-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Information and communication theory, circuits (94-XX) 2 Combinatorics (05-XX) 2 Commutative algebra (13-XX) 2 Ordinary differential equations (34-XX) 2 General topology (54-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-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 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) 1 Mathematics education (97-XX) Citations by Year