Edit Profile (opens in new tab) Gadducci, Fabio Compute Distance To: Compute Author ID: gadducci.fabio Published as: Gadducci, Fabio; Gadducci, F. External Links: MGP Documents Indexed: 90 Publications since 1996 4 Contributions as Editor Co-Authors: 46 Co-Authors with 89 Joint Publications 696 Co-Co-Authors all top 5 Co-Authors 5 single-authored 22 Bonchi, Filippo 20 Montanari, Ugo G. 19 Corradini, Andrea 14 Baldan, Paolo 12 Monreale, Giacoma Valentina 9 Lluch Lafuente, Alberto 8 Bruni, Roberto 6 Sobociński, Paweł 5 Santini, Francesco 5 Vandin, Andrea 4 Brogi, Antonio 4 Corfini, Sara 4 Kissinger, Aleks 4 Zanasi, Fabio 3 Heckel, Reiko 3 Melgratti, Hernán 2 Boreale, Michele 2 Buscemi, Maria Grazia 2 Ciancia, Vincenzo 2 Degano, Pierpaolo 2 Dokter, Kasper 2 Foss, Luciana 2 Kehrer, Timo 2 König, Barbara 2 Miculan, Marino 2 Priami, Corrado 2 Ribeiro, Leila 2 Roldán, Christian 2 Sammartino, Matteo 1 Bistarelli, Stefano 1 Coccia, Matteo 1 Dotti, Fernando Luís 1 Heindel, Tobias 1 Janssens, Dirk 1 Katis, Piergiulio 1 Koch, Manuel 1 Larrosa, Javier 1 Lion, Benjamin 1 Llabrés, Mercè 1 Pino, Luis F. 1 Rollon, Emma 1 Sabadini, Nicoletta 1 Silva, Alexandra 1 ter Beek, Maurice H. 1 Valencia, Frank D. 1 Walters, Robert F. C. all top 5 Serials 6 Theoretical Computer Science 3 MSCS. Mathematical Structures in Computer Science 3 Fundamenta Informaticae 2 Information and Computation 2 Lecture Notes in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Informatica 1 Information Processing Letters 1 Journal of Automated Reasoning 1 Applied Categorical Structures 1 Journal of the ACM 1 Higher-Order and Symbolic Computation 1 RAIRO. Theoretical Informatics and Applications 1 The Journal of Logic and Algebraic Programming 1 ACM Transactions on Computational Logic 1 Electronic Notes in Theoretical Computer Science 1 Logical Methods in Computer Science 1 Scientific Annals of Computer Science 1 LIPIcs – Leibniz International Proceedings in Informatics all top 5 Fields 93 Computer science (68-XX) 22 Category theory; homological algebra (18-XX) 5 Mathematical logic and foundations (03-XX) 4 General and overarching topics; collections (00-XX) 4 Combinatorics (05-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Associative rings and algebras (16-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 66 Publications have been cited 320 times in 175 Documents Cited by ▼ Year ▼ An algebraic presentation of term graphs, via gs-monoidal categories. Zbl 0949.68121Corradini, Andrea; Gadducci, Fabio 28 1999 Normal forms for algebras of connections. Zbl 1061.68110Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 18 2002 An inductive view of graph transformation. Zbl 0901.18003Gadducci, F.; Heckel, R. 17 1998 About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 16 2006 A 2-categorical presentation of term graph rewriting. Zbl 0889.68085Corradini, A.; Gadducci, F. 15 1997 A bi-categorical axiomatisation of concurrent graph rewriting. Zbl 0967.68089Gadducci, Fabio; Heckel, Reiko; Llabrés, Mercé 14 1999 Graph rewriting for the \(\pi\)-calculus. Zbl 1125.68063Gadducci, Fabio 10 2007 Rewriting on cyclic structures: Equivalence between the operational and the categorical description. Zbl 0940.18002Corradini, Andrea; Gadducci, Fabio 10 1999 Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056Gadducci, Fabio; Montanari, Ugo 10 2002 Rewriting modulo symmetric monoidal structure. Zbl 1395.68162Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 9 2016 A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Zbl 1061.18008Corradini, Andrea; Gadducci, Fabio 9 2002 Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 9 2009 Rational term rewriting. Zbl 0908.68081Corradini, A.; Gadducci, F. 7 1998 Axioms for contextual net processes. Zbl 0912.68142Gadducci, F.; Montanari, U. 6 1998 A concurrent graph semantics for mobile ambients. Zbl 1260.68094Gadducci, Fabio; Montanari, Ugo 6 2001 Processes as formal power series: a coinductive approach to denotational semantics. Zbl 1097.68070Boreale, Michele; Gadducci, Fabio 6 2006 Process bisimulation via a graphical encoding. Zbl 1156.68494Bonchi, Filippo; Gadducci, Fabio; König, Barbara 6 2006 Tiles, rewriting rules and CCS. Zbl 0917.68115Gadducci, Fabio; Montanari, Ugo 5 1996 A fully abstract model for graph-interpreted temporal logic. Zbl 0948.03025Gadducci, Fabio; Heckel, Reiko; Koch, Manuel 5 2000 Normal forms for partitions and relations. Zbl 0955.68081Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 5 1999 A presheaf environment for the explicit fusion calculus. Zbl 1290.68089Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 5 2012 A general theory of barbs, contexts, and labels. Zbl 1354.68189Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 5 2014 Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł 5 2005 A category of explicit fusions. Zbl 1144.68038Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 5 2008 Denotational testing semantics in coinductive form. Zbl 1124.68383Boreale, Michele; Gadducci, Fabio 4 2003 Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 4 2009 Asynchronous traces and open Petri nets. Zbl 1434.68320Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. 4 2015 A causal semantics for CCS via rewriting logic. Zbl 1026.68075Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado 4 2002 Categorical rewriting of term-like structures. Zbl 1263.68070Corradini, Andrea; Gadducci, Fabio 4 2002 Observing reductions in nominal calculi via a graphical encoding of processes. Zbl 1171.68572Gadducci, Fabio; Montanari, Ugo 4 2005 A decentralized implementation of mobile ambients. Zbl 1175.68279Gadducci, Fabio; Monreale, Giacoma Valentina 4 2008 Some characterization results for permutation algebras. Zbl 1271.68148Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 4 2004 Confluence of graph rewriting with interfaces. Zbl 06721320Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 3 2017 Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio 3 2009 Residuation for bipolar preferences in soft constraints. Zbl 1392.68385Gadducci, Fabio; Santini, Francesco 3 2017 Observational and behavioural equivalences for soft concurrent constraint programming. Zbl 1373.68176Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D. 3 2017 Term graph rewriting for the \(\pi \)-calculus. Zbl 1254.68169Gadducci, Fabio 3 2003 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 Event structures for Petri nets with persistence. Zbl 1417.68113Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo 2 2018 Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel 2 2011 Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 2 2005 Graph processes with fusions: Concurrency by colimits, again. Zbl 1075.68058Gadducci, Fabio; Montanari, Ugo 2 2005 Causality and replication in concurrent processes. Zbl 1254.68165Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado 2 2003 Comparing cospan-spans and tiles via a Hoare-style process calculus. Zbl 1268.68126Gadducci, Fabio; Katis, Piergiulio; Montanari, Ugo; Sabadini, Nicoletta; Walters, Robert F. C. 2 2002 Parallel and sequential independence for borrowed contexts. Zbl 1175.68216Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias 2 2008 Petri nets are dioids. Zbl 1170.68536Baldan, Paolo; Gadducci, Fabio 2 2008 Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Zbl 07290429 2 2020 Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114Baldan, Paolo; Gadducci, Fabio 1 2019 Towards a notion of transaction in graph rewriting. Zbl 1283.68182Baldan, P.; Corradini, A.; Dotti, F. L.; Foss, L.; Gadducci, F.; Ribeiro, L. 1 2008 Functorial semantics for multi-algebras. Zbl 0942.18002Corradini, Andrea; Gadducci, Fabio 1 1999 A decentralised graphical implementation of mobile ambients. Zbl 1207.68224Gadducci, Fabio; Monreale, Giacoma Valentina 1 2011 Concurrency cannot be observed, asynchronously. Zbl 1361.68158Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 1 2015 GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs. Zbl 1270.68123Coccia, Matteo; Gadducci, Fabio; Montanari, Ugo 1 2003 Concurrent rewriting for graphs with equivalences. Zbl 1151.68503Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 1 2006 On the use of behavioural equivalences for web services’ development. Zbl 1154.68446Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2008 Graph transactions as processes. Zbl 1156.68416Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio 1 2006 A soft approach to multi-objective optimization. Zbl 1185.90169Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma 1 2008 A net-based approach to web services publication and replaceability. Zbl 1183.68069Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2009 Adaptable transition systems. Zbl 1394.68206Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea 1 2013 Barbed semantics for open reactive systems. Zbl 1394.68249Gadducci, Fabio; Monreale, Giacoma Valentina 1 2013 On term graphs as an adhesive category. Zbl 1272.68175Corradini, Andrea; Gadducci, Fabio 1 2005 Domains and event structures for fusions. Zbl 1458.68128Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 1 2017 Soft constraint automata with memory. Zbl 1455.68087Dokter, Kasper; Gadducci, Fabio; Lion, Benjamin; Santini, Francesco 1 2021 Implementation correctness for replicated data types, categorically. Zbl 07369994Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo 1 2020 Residuation for soft constraints: lexicographic orders and approximation techniques. Zbl 07437040Gadducci, Fabio; Santini, Francesco 1 2021 Soft constraint automata with memory. Zbl 1455.68087Dokter, Kasper; Gadducci, Fabio; Lion, Benjamin; Santini, Francesco 1 2021 Residuation for soft constraints: lexicographic orders and approximation techniques. Zbl 07437040Gadducci, Fabio; Santini, Francesco 1 2021 Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Zbl 07290429 2 2020 Implementation correctness for replicated data types, categorically. Zbl 07369994Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo 1 2020 Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114Baldan, Paolo; Gadducci, Fabio 1 2019 Event structures for Petri nets with persistence. Zbl 1417.68113Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo 2 2018 Confluence of graph rewriting with interfaces. Zbl 06721320Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 3 2017 Residuation for bipolar preferences in soft constraints. Zbl 1392.68385Gadducci, Fabio; Santini, Francesco 3 2017 Observational and behavioural equivalences for soft concurrent constraint programming. Zbl 1373.68176Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D. 3 2017 Domains and event structures for fusions. Zbl 1458.68128Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 1 2017 Rewriting modulo symmetric monoidal structure. Zbl 1395.68162Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 9 2016 Asynchronous traces and open Petri nets. Zbl 1434.68320Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. 4 2015 Concurrency cannot be observed, asynchronously. Zbl 1361.68158Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 1 2015 A general theory of barbs, contexts, and labels. Zbl 1354.68189Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 5 2014 Adaptable transition systems. Zbl 1394.68206Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea 1 2013 Barbed semantics for open reactive systems. Zbl 1394.68249Gadducci, Fabio; Monreale, Giacoma Valentina 1 2013 A presheaf environment for the explicit fusion calculus. Zbl 1290.68089Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 5 2012 Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel 2 2011 A decentralised graphical implementation of mobile ambients. Zbl 1207.68224Gadducci, Fabio; Monreale, Giacoma Valentina 1 2011 Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 9 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 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 A decentralized implementation of mobile ambients. Zbl 1175.68279Gadducci, Fabio; Monreale, Giacoma Valentina 4 2008 Parallel and sequential independence for borrowed contexts. Zbl 1175.68216Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias 2 2008 Petri nets are dioids. Zbl 1170.68536Baldan, Paolo; Gadducci, Fabio 2 2008 Towards a notion of transaction in graph rewriting. Zbl 1283.68182Baldan, P.; Corradini, A.; Dotti, F. L.; Foss, L.; Gadducci, F.; Ribeiro, L. 1 2008 On the use of behavioural equivalences for web services’ development. Zbl 1154.68446Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2008 A soft approach to multi-objective optimization. Zbl 1185.90169Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma 1 2008 Graph rewriting for the \(\pi\)-calculus. Zbl 1125.68063Gadducci, Fabio 10 2007 A behavioural congruence for web services. Zbl 1141.68501Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 3 2007 About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 16 2006 Processes as formal power series: a coinductive approach to denotational semantics. Zbl 1097.68070Boreale, Michele; Gadducci, Fabio 6 2006 Process bisimulation via a graphical encoding. Zbl 1156.68494Bonchi, Filippo; Gadducci, Fabio; König, Barbara 6 2006 Concurrent rewriting for graphs with equivalences. Zbl 1151.68503Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 1 2006 Graph transactions as processes. Zbl 1156.68416Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio 1 2006 Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł 5 2005 Observing reductions in nominal calculi via a graphical encoding of processes. Zbl 1171.68572Gadducci, Fabio; Montanari, Ugo 4 2005 Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 2 2005 Graph processes with fusions: Concurrency by colimits, again. Zbl 1075.68058Gadducci, Fabio; Montanari, Ugo 2 2005 On term graphs as an adhesive category. Zbl 1272.68175Corradini, Andrea; Gadducci, Fabio 1 2005 Some characterization results for permutation algebras. Zbl 1271.68148Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 4 2004 Denotational testing semantics in coinductive form. Zbl 1124.68383Boreale, Michele; Gadducci, Fabio 4 2003 Term graph rewriting for the \(\pi \)-calculus. Zbl 1254.68169Gadducci, Fabio 3 2003 Causality and replication in concurrent processes. Zbl 1254.68165Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado 2 2003 GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs. Zbl 1270.68123Coccia, Matteo; Gadducci, Fabio; Montanari, Ugo 1 2003 Normal forms for algebras of connections. Zbl 1061.68110Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 18 2002 Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056Gadducci, Fabio; Montanari, Ugo 10 2002 A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Zbl 1061.18008Corradini, Andrea; Gadducci, Fabio 9 2002 A causal semantics for CCS via rewriting logic. Zbl 1026.68075Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado 4 2002 Categorical rewriting of term-like structures. Zbl 1263.68070Corradini, Andrea; Gadducci, Fabio 4 2002 Comparing cospan-spans and tiles via a Hoare-style process calculus. Zbl 1268.68126Gadducci, Fabio; Katis, Piergiulio; Montanari, Ugo; Sabadini, Nicoletta; Walters, Robert F. C. 2 2002 A concurrent graph semantics for mobile ambients. Zbl 1260.68094Gadducci, Fabio; Montanari, Ugo 6 2001 A fully abstract model for graph-interpreted temporal logic. Zbl 0948.03025Gadducci, Fabio; Heckel, Reiko; Koch, Manuel 5 2000 An algebraic presentation of term graphs, via gs-monoidal categories. Zbl 0949.68121Corradini, Andrea; Gadducci, Fabio 28 1999 A bi-categorical axiomatisation of concurrent graph rewriting. Zbl 0967.68089Gadducci, Fabio; Heckel, Reiko; Llabrés, Mercé 14 1999 Rewriting on cyclic structures: Equivalence between the operational and the categorical description. Zbl 0940.18002Corradini, Andrea; Gadducci, Fabio 10 1999 Normal forms for partitions and relations. Zbl 0955.68081Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 5 1999 Functorial semantics for multi-algebras. Zbl 0942.18002Corradini, Andrea; Gadducci, Fabio 1 1999 An inductive view of graph transformation. Zbl 0901.18003Gadducci, F.; Heckel, R. 17 1998 Rational term rewriting. Zbl 0908.68081Corradini, A.; Gadducci, F. 7 1998 Axioms for contextual net processes. Zbl 0912.68142Gadducci, F.; Montanari, U. 6 1998 A 2-categorical presentation of term graph rewriting. Zbl 0889.68085Corradini, A.; Gadducci, F. 15 1997 Tiles, rewriting rules and CCS. Zbl 0917.68115Gadducci, Fabio; Montanari, Ugo 5 1996 all cited Publications top 5 cited Publications all top 5 Cited by 209 Authors 35 Gadducci, Fabio 29 Montanari, Ugo G. 18 Bonchi, Filippo 16 Bruni, Roberto 16 Corradini, Andrea 12 Baldan, Paolo 10 Sobociński, Paweł 7 Monreale, Giacoma Valentina 6 Ciancia, Vincenzo 6 Sammartino, Matteo 6 Zanasi, Fabio 5 König, Barbara 5 Melgratti, Hernán 4 Duval, Dominique 4 Lanese, Ivan 4 Lluch Lafuente, Alberto 4 Prost, Frédéric 4 Ribeiro, Leila 4 Santini, Francesco 3 Brodo, Linda 3 Echahed, Rachid 3 Heckel, Reiko 3 Heindel, Tobias 3 Martí-Oliet, Narciso 3 Meseguer Guaita, José 3 Miculan, Marino 3 Sabadini, Nicoletta 3 Schröder, Lutz 3 Walters, Robert F. C. 2 Amy, Matthew 2 Bertolissi, Clara 2 Bonsangue, Marcello Maria 2 Boreale, Michele 2 Bouassida Rodriguez, Ismael 2 Bozapalidis, Symeon 2 Bracciali, Andrea 2 Bresolin, Davide 2 Buscemi, Maria Grazia 2 Caltais, Georgiana 2 de Frutos-Escrig, David 2 Ferrari, Gian Luigi 2 Fong, Brendan 2 Gassara, Amal 2 Gregorio-Rodríguez, Carlos 2 Hirschkoff, Daniel 2 Hofstra, Pieter J. W. 2 Honsell, Furio 2 Jmaiel, Mohamed 2 Kahl, Wolfram 2 Kalampakas, Antonios 2 Kissinger, Aleks 2 Kurz, Alexander 2 Lambers, Leen 2 Lenisa, Marina 2 Madiot, Jean-Marie 2 Milner, Robin 2 Orejas, Fernando 2 Radmacher, Frank G. 2 Rutten, Jan J. M. M. 2 Sangiorgi, Davide 2 Sassone, Vladimiro 2 Silva, Alexandra 2 Spivak, David I. 2 Staton, Sam 2 Thomas, Wolfgang 1 Aoto, Takahito 1 Asada, Kazuyuki 1 Bacci, Giorgio 1 Baez, John C. 1 Baillot, Patrick 1 Beffara, Emmanuel 1 Behr, Nicolas 1 Bialkiewicz, Joël-Alexis 1 Bistarelli, Stefano 1 Bolognesi, Tommaso 1 Borgström, Johannes 1 Bretschneider, Jan 1 Brogi, Antonio 1 Bruggink, H. J. Sander 1 Cabrera, Benjamin 1 Chantawibul, Apiwat 1 Chen, Jianxin 1 Cheney, James 1 Cirstea, Horatiu 1 Clark, David 1 Clavel, Manuel 1 Coccia, Matteo 1 Cockett, J. Robin B. 1 Cockett, Robin 1 Coya, Brandon 1 De Marchi, Federico 1 Degano, Pierpaolo 1 Dershowitz, Nachum 1 Desel, Jörg 1 Di Gianantonio, Pietro 1 Dokter, Kasper 1 Dong, Xiaoju 1 Dowek, Gilles 1 Drira, Kalil 1 Drira, Khalil ...and 109 more Authors all top 5 Cited in 27 Serials 30 Theoretical Computer Science 17 Information and Computation 12 MSCS. Mathematical Structures in Computer Science 6 Journal of Logical and Algebraic Methods in Programming 5 Acta Informatica 5 The Journal of Logic and Algebraic Programming 3 RAIRO. Theoretical Informatics and Applications 2 Journal of Pure and Applied Algebra 2 Higher-Order and Symbolic Computation 2 ACM Transactions on Computational Logic 2 Logical Methods in Computer Science 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 European Journal of Combinatorics 1 Science of Computer Programming 1 Annals of Pure and Applied Logic 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Applied Categorical Structures 1 Theory and Applications of Categories 1 Journal of the ACM 1 Communications in Contemporary Mathematics 1 Differential Equations 1 Theory and Practice of Logic Programming 1 Journal of Zhejiang University. Science A all top 5 Cited in 17 Fields 160 Computer science (68-XX) 41 Category theory; homological algebra (18-XX) 17 Mathematical logic and foundations (03-XX) 7 Combinatorics (05-XX) 3 Associative rings and algebras (16-XX) 3 Quantum theory (81-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Group theory and generalizations (20-XX) 1 Special functions (33-XX) 1 Manifolds and cell complexes (57-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year