Edit Profile Bonchi, Filippo Compute Distance To: Compute Author ID: bonchi.filippo Published as: Bonchi, F.; Bonchi, Filippo Documents Indexed: 71 Publications since 2006, including 3 Books all top 5 Co-Authors 0 single-authored 21 Gadducci, Fabio 15 Silva, Alexandra 14 Zanasi, Fabio 11 Sobociński, Paweł 10 Bonsangue, Marcello Maria 10 Rutten, Jan J. M. M. 9 König, Barbara 9 Montanari, Ugo G. 8 Monreale, Giacoma Valentina 7 Baldan, Paolo 6 Pous, Damien 4 Brogi, Antonio 4 Corfini, Sara 4 Rot, Jurriaan 3 Caltais, Georgiana 3 Heindel, Tobias 3 Kerstan, Henning 3 Kissinger, Aleks 3 Milius, Stefan 3 Petrisan, Daniela Luan 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 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 Piedeleu, Robin 1 Sokolova, Ana 1 Troina, Angelo all top 5 Serials 4 Information and Computation 4 MSCS. Mathematical Structures in Computer Science 4 Logical Methods in Computer Science 2 Theoretical Computer Science 2 Fundamenta Informaticae 2 ACM Transactions on Computational Logic 1 Acta Informatica 1 Journal of Pure and Applied Algebra 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 Electronic Notes in Theoretical Computer Science 1 LIPIcs – Leibniz International Proceedings in Informatics 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) all top 5 Fields 70 Computer science (68-XX) 19 Category theory; homological algebra (18-XX) 3 General and overarching topics; collections (00-XX) 3 Associative rings and algebras (16-XX) 2 Mathematical logic and foundations (03-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 54 Publications have been cited 298 times in 151 Documents Cited by ▼ Year ▼ Checking NFA equivalence with bisimulations up to congruence. Zbl 1301.68169Bonchi, Filippo; Pous, Damien 22 2013 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 16 2014 Generalizing determinization from automata to coalgebras. Zbl 1262.18002Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 16 2013 A categorical semantics of signal flow graphs. Zbl 1417.68119Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 15 2014 A coalgebraic perspective on linear weighted automata. Zbl 1279.68235Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra 15 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 14 2012 Generalizing the powerset construction, coalgebraically. Zbl 1245.68141Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 14 2010 Coinduction up-to in a fibrational setting. Zbl 1395.68195Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan 12 2014 Full abstraction for signal flow graphs. Zbl 1346.68143Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio 11 2015 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 8 2017 Interacting bialgebras are Frobenius. Zbl 1395.18009Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 8 2014 Reactive systems, (semi-)saturated semantics and coalgebras on presheaves. Zbl 1186.68315Bonchi, Filippo; Montanari, Ugo 8 2009 Enhanced coalgebraic bisimulation. Zbl 1380.68300Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra 7 2015 Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra 7 2012 Quantitative Kleene coalgebras. Zbl 1227.68075Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 7 2011 Coalgebraic models for reactive systems. Zbl 1151.68507Bonchi, Filippo; Montanari, Ugo 7 2007 Process bisimulation via a graphical encoding. Zbl 1156.68494Bonchi, Filippo; Gadducci, Fabio; König, Barbara 6 2006 A general account of coinduction up-to. Zbl 1371.68186Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan 5 2017 Lax bialgebras and up-to techniques for weak bisimulations. Zbl 1371.68187Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan 5 2015 A presheaf environment for the explicit fusion calculus. Zbl 1290.68089Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 5 2012 Deriving labels and bisimilarity for concurrent constraint programming. Zbl 1326.68196Aristizábal, Andrés; Bonchi, Filippo; Palamidessi, Catuscia; Pino, Luis; Valencia, Frank 5 2011 A category of explicit fusions. Zbl 1144.68038Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 5 2008 Asynchronous traces and open Petri nets. Zbl 1434.68320Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. 4 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 4 2015 Bialgebraic semantics for logic programming. Zbl 1347.68040Bonchi, Filippo; Zanasi, Fabio 4 2015 Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 4 2009 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 The calculus of signal flow diagrams. I: Linear relations on streams. Zbl 1355.68188Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 3 2017 Rewriting modulo symmetric monoidal structure. Zbl 1395.68162Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 3 2016 A general theory of barbs, contexts, and labels. Zbl 1354.68189Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 3 2014 Saturated semantics for coalgebraic logic programming. Zbl 1394.68053Bonchi, Filippo; Zanasi, Fabio 3 2013 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 Synthesising CCS bisimulation using graph rewriting. Zbl 1169.68030Bonchi, Filippo; Gadducci, Fabio; König, Barbara 3 2009 Coalgebraic behavioral metrics. Zbl 06943961Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 2 2018 Lawvere categories as composed props. Zbl 06603963Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio 2 2016 Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra 2 2013 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 A behavioural congruence for web services. Zbl 1141.68501Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 2 2007 Confluence of graph rewriting with interfaces. Zbl 06721320Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 1 2017 A coalgebraic view on decorated traces. Zbl 1364.68276Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A. 1 2016 Concurrency cannot be observed, asynchronously. Zbl 1361.68158Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 1 2015 Behavioral metrics via functor lifting. Zbl 1360.68607Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 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 A behavioral congruence for concurrent constraint programming with nondeterministic choice. Zbl 1432.68315Pino, Luis F.; Bonchi, Filippo; Valencia, Frank D. 1 2014 A net-based approach to web services publication and replaceability. Zbl 1183.68069Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2009 Minimization algorithm for symbolic bisimilarity. Zbl 1234.68288Bonchi, Filippo; Montanari, Ugo 1 2009 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 behavioral metrics. Zbl 06943961Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 2 2018 Interacting Hopf algebras. Zbl 1345.68229Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 8 2017 A general account of coinduction up-to. Zbl 1371.68186Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan 5 2017 The calculus of signal flow diagrams. I: Linear relations on streams. Zbl 1355.68188Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 3 2017 Confluence of graph rewriting with interfaces. Zbl 06721320Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 1 2017 Rewriting modulo symmetric monoidal structure. Zbl 1395.68162Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 3 2016 Lawvere categories as composed props. Zbl 06603963Bonchi, 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 11 2015 Enhanced coalgebraic bisimulation. Zbl 1380.68300Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra 7 2015 Lax bialgebras and up-to techniques for weak bisimulations. Zbl 1371.68187Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan 5 2015 Asynchronous traces and open Petri nets. Zbl 1434.68320Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. 4 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 4 2015 Bialgebraic semantics for logic programming. Zbl 1347.68040Bonchi, Filippo; Zanasi, Fabio 4 2015 Concurrency cannot be observed, asynchronously. Zbl 1361.68158Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 1 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 16 2014 A categorical semantics of signal flow graphs. Zbl 1417.68119Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 15 2014 Coinduction up-to in a fibrational setting. Zbl 1395.68195Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan 12 2014 Interacting bialgebras are Frobenius. Zbl 1395.18009Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio 8 2014 A general theory of barbs, contexts, and labels. Zbl 1354.68189Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 3 2014 Behavioral metrics via functor lifting. Zbl 1360.68607Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara 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 A behavioral congruence for concurrent constraint programming with nondeterministic choice. Zbl 1432.68315Pino, Luis F.; Bonchi, Filippo; Valencia, Frank D. 1 2014 Checking NFA equivalence with bisimulations up to congruence. Zbl 1301.68169Bonchi, Filippo; Pous, Damien 22 2013 Generalizing determinization from automata to coalgebras. Zbl 1262.18002Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 16 2013 Saturated semantics for coalgebraic logic programming. Zbl 1394.68053Bonchi, Filippo; Zanasi, Fabio 3 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 15 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 14 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 7 2011 Deriving labels and bisimilarity for concurrent constraint programming. Zbl 1326.68196Aristizábal, Andrés; Bonchi, Filippo; Palamidessi, Catuscia; Pino, Luis; Valencia, Frank 5 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. 14 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 8 2009 Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 4 2009 Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 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 A net-based approach to web services publication and replaceability. Zbl 1183.68069Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2009 Minimization algorithm for symbolic bisimilarity. Zbl 1234.68288Bonchi, Filippo; Montanari, Ugo 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 7 2007 A behavioural congruence for web services. Zbl 1141.68501Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 2 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 182 Authors 26 Bonchi, Filippo 16 Silva, Alexandra 13 Gadducci, Fabio 12 Rutten, Jan J. M. M. 10 Montanari, Ugo G. 9 Bonsangue, Marcello Maria 9 Rot, Jurriaan 8 Sobociński, Paweł 8 Zanasi, Fabio 7 Monreale, Giacoma Valentina 6 Milius, Stefan 5 Fong, Brendan 5 Jacobs, Bart 5 Pous, Damien 5 Sangiorgi, Davide 5 Sokolova, Ana 4 Baldan, Paolo 4 Ciancia, Vincenzo 4 Corradini, Andrea 4 Hirschkoff, Daniel 4 Komendantskaya, Ekaterina 4 König, Barbara 4 Kurz, Alexander 4 Petrisan, Daniela Luan 4 Sammartino, Matteo 4 Valencia, Frank D. 3 Baez, John C. 3 Ballester-Bolinches, Adolfo 3 Boreale, Michele 3 Bruni, Roberto 3 Cosme-Llópez, Enric 3 Hansen, Helle Hvid 3 Hasuo, Ichiro 3 Kissinger, Aleks 3 Küpper, Sebastian 3 Miculan, Marino 3 Oliveira, José Nuno 3 Pattinson, Dirk 3 Peressotti, Marco 3 Power, John 3 Ribeiro, Leila 3 Rueda, Camilo 3 Winter, Joost 3 Wißmann, Thorsten 2 Adámek, Jiří 2 Bacci, Giorgio 2 Brengos, Tomasz 2 Caltais, Georgiana 2 Cho, Kenta 2 Colcombet, Thomas 2 Coya, Brandon 2 Durier, Adrien 2 Duval, Dominique 2 Guzmán, Michell 2 Kataoka, Toshiki 2 Klin, Bartek 2 Kozen, Dexter C. 2 Kupke, Clemens 2 Madiot, Jean-Marie 2 Mamouras, Konstantinos 2 Melgratti, Hernán 2 Myers, Robert S. R. 2 Panangaden, Prakash 2 Perchy, Salim 2 Prost, Frédéric 2 Sprunger, David 2 Urbat, Henning 2 Velebil, Jiří 1 Abramsky, Samson 1 Azzi, Guilherme Grochau 1 Bacci, Giovanni 1 Balan, Adriana 1 Balle, Borja 1 Barbosa, Luís Soares 1 Beohar, Harsh 1 Bolognesi, Tommaso 1 Braatz, Benjamin 1 Bresolin, Davide 1 Bretschneider, Jan 1 Brogi, Antonio 1 Brunet, Paul 1 Buckley, Mitchell 1 Buscemi, Maria Grazia 1 Cabrera, Inma P. 1 Calder, Muffy 1 Chantawibul, Apiwat 1 Clark, David 1 Coecke, Bob 1 Cordero, Pablo 1 Dershowitz, Nachum 1 Di Gianantonio, Pietro 1 Diskin, Zinovy 1 Dong, Xiaoju 1 Echahed, Rachid 1 Ehrig, Hartmut 1 Erkens, Rick 1 Esteban-Romero, Ramón 1 Fieremans, Timmy 1 Fu, Yuxi 1 Gabriel, Karsten ...and 82 more Authors all top 5 Cited in 23 Serials 18 Theoretical Computer Science 17 Journal of Logical and Algebraic Methods in Programming 16 Logical Methods in Computer Science 12 Information and Computation 9 MSCS. Mathematical Structures in Computer Science 5 Theory and Applications of Categories 3 Acta Informatica 3 Journal of Computer and System Sciences 3 Formal Aspects of Computing 3 ACM Transactions on Computational Logic 2 Journal of Pure and Applied Algebra 2 Journal of Automated Reasoning 2 The Journal of Logic and Algebraic Programming 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 Journal of Functional Programming 1 Constraints 1 Soft Computing all top 5 Cited in 21 Fields 139 Computer science (68-XX) 56 Category theory; homological algebra (18-XX) 23 Mathematical logic and foundations (03-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 4 Associative rings and algebras (16-XX) 3 General algebraic systems (08-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Quantum theory (81-XX) 2 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Group theory and generalizations (20-XX) 1 Topological groups, Lie groups (22-XX) 1 Operator theory (47-XX) 1 Differential geometry (53-XX) 1 General topology (54-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year