Edit Profile (opens in new tab) Gadducci, Fabio Co-Author Distance Author ID: gadducci.fabio Published as: Gadducci, Fabio; Gadducci, F. External Links: MGP Documents Indexed: 104 Publications since 1995, including 2 Additional arXiv Preprints 5 Contributions as Editor Co-Authors: 50 Co-Authors with 104 Joint Publications 819 Co-Co-Authors all top 5 Co-Authors 5 single-authored 24 Bonchi, Filippo 23 Corradini, Andrea 21 Montanari, Ugo G. 14 Baldan, Paolo 12 Monreale, Giacoma Valentina 9 Lluch Lafuente, Alberto 8 Bruni, Roberto 8 Sobociński, Paweł 6 Kissinger, Aleks 6 Santini, Francesco 6 Zanasi, Fabio 5 Vandin, Andrea 4 Brogi, Antonio 4 Corfini, Sara 4 Heckel, Reiko 4 Kehrer, Timo 4 Melgratti, Hernán 4 Miculan, Marino 3 Roldán, Christian 3 Sammartino, Matteo 3 Trotta, Davide 2 Boreale, Michele 2 Buscemi, Maria Grazia 2 Castelnovo, Davide 2 Ciancia, Vincenzo 2 Degano, Pierpaolo 2 Dokter, Kasper 2 Foss, Luciana 2 Fritz, Tobias 2 König, Barbara 2 Priami, Corrado 2 Ribeiro, Leila 2 Silva, Alexandra 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 Perrone, Paolo 1 Pino, Luis F. 1 Rollon, Emma 1 Sabadini, Nicoletta 1 ter Beek, Maurice H. 1 Valencia, Frank D. 1 Walters, Robert F. C. all top 5 Serials 8 Theoretical Computer Science 5 MSCS. Mathematical Structures in Computer Science 3 Fundamenta Informaticae 3 Journal of Logical and Algebraic Methods in Programming 2 Information Processing Letters 2 Information and Computation 2 Applied Categorical Structures 2 Lecture Notes in Computer Science 1 Acta Informatica 1 Journal of Automated Reasoning 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 105 Computer science (68-XX) 32 Category theory; homological algebra (18-XX) 8 Mathematical logic and foundations (03-XX) 5 General and overarching topics; collections (00-XX) 5 Combinatorics (05-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Associative rings and algebras (16-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 79 Publications have been cited 461 times in 235 Documents Cited by ▼ Year ▼ An algebraic presentation of term graphs, via gs-monoidal categories. Zbl 0949.68121 Corradini, Andrea; Gadducci, Fabio 33 1999 An inductive view of graph transformation. Zbl 0901.18003 Gadducci, F.; Heckel, R. 22 1998 About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083 Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 22 2006 Normal forms for algebras of connections. Zbl 1061.68110 Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 22 2002 Rewriting modulo symmetric monoidal structure. Zbl 1395.68162 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 21 2016 A 2-categorical presentation of term graph rewriting. Zbl 0889.68085 Corradini, A.; Gadducci, F. 16 1997 A bi-categorical axiomatisation of concurrent graph rewriting. Zbl 0967.68089 Gadducci, Fabio; Heckel, Reiko; Llabrés, Mercé 15 1999 Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056 Gadducci, Fabio; Montanari, Ugo 15 2002 Graph rewriting for the \(\pi\)-calculus. Zbl 1125.68063 Gadducci, Fabio 14 2007 Confluence of graph rewriting with interfaces. Zbl 1485.68124 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 12 2017 Rewriting on cyclic structures: Equivalence between the operational and the categorical description. Zbl 0940.18002 Corradini, Andrea; Gadducci, Fabio 11 1999 Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 11 2009 A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Zbl 1061.18008 Corradini, Andrea; Gadducci, Fabio 11 2002 String diagram rewrite theory. I: Rewriting with Frobenius structure. Zbl 1497.68239 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio 11 2022 Rational term rewriting. Zbl 0908.68081 Corradini, A.; Gadducci, F. 9 1998 Process bisimulation via a graphical encoding. Zbl 1156.68494 Bonchi, Filippo; Gadducci, Fabio; König, Barbara 8 2006 A concurrent graph semantics for mobile ambients. Zbl 1260.68094 Gadducci, Fabio; Montanari, Ugo 8 2001 Axioms for contextual net processes. Zbl 0912.68142 Gadducci, F.; Montanari, U. 7 1998 Relating two categorical models of term rewriting. Zbl 1508.68146 Corradini, A.; Gadducci, F.; Montanari, U. 7 1995 Causality and replication in concurrent processes. Zbl 1254.68165 Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado 6 2003 Processes as formal power series: a coinductive approach to denotational semantics. Zbl 1097.68070 Boreale, Michele; Gadducci, Fabio 6 2006 Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428 Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł 6 2005 Observing reductions in nominal calculi via a graphical encoding of processes. Zbl 1171.68572 Gadducci, Fabio; Montanari, Ugo 6 2005 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 Normal forms for partitions and relations. Zbl 0955.68081 Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 5 1999 A fully abstract model for graph-interpreted temporal logic. Zbl 0948.03025 Gadducci, Fabio; Heckel, Reiko; Koch, Manuel 5 2000 Tiles, rewriting rules and CCS. Zbl 0917.68115 Gadducci, Fabio; Montanari, Ugo 5 1996 Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio 5 2009 A causal semantics for CCS via rewriting logic. Zbl 1026.68075 Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado 5 2002 CPO models for infinite term rewriting. Zbl 1496.68163 Corradini, Andrea; Gadducci, Fabio 5 1995 Functorial semantics for multi-algebras. Zbl 0942.18002 Corradini, Andrea; Gadducci, Fabio 4 1999 Term graph rewriting for the \(\pi \)-calculus. Zbl 1254.68169 Gadducci, Fabio 4 2003 Denotational testing semantics in coinductive form. Zbl 1124.68383 Boreale, Michele; Gadducci, Fabio 4 2003 Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 4 2009 Residuation for bipolar preferences in soft constraints. Zbl 1392.68385 Gadducci, Fabio; Santini, Francesco 4 2017 A decentralized implementation of mobile ambients. Zbl 1175.68279 Gadducci, Fabio; Monreale, Giacoma Valentina 4 2008 Asynchronous traces and open Petri nets. Zbl 1434.68320 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. 4 2015 Observational and behavioural equivalences for soft concurrent constraint programming. Zbl 1373.68176 Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D. 4 2017 Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Zbl 1493.68012 4 2020 Some characterization results for permutation algebras. Zbl 1271.68148 Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 4 2004 On term graphs as an adhesive category. Zbl 1272.68175 Corradini, Andrea; Gadducci, Fabio 4 2005 Categorical rewriting of term-like structures. Zbl 1263.68070 Corradini, Andrea; Gadducci, Fabio 4 2002 Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126 Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel 3 2011 Graph processes with fusions: Concurrency by colimits, again. Zbl 1075.68058 Gadducci, Fabio; Montanari, Ugo 3 2005 Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496 Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 3 2005 Domains and event structures for fusions. Zbl 1458.68128 Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 3 2017 Rewriting with Frobenius. Zbl 1497.68238 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio 3 2018 GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs. Zbl 1270.68123 Coccia, Matteo; Gadducci, Fabio; Montanari, Ugo 3 2003 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 Concurrent rewriting for graphs with equivalences. Zbl 1151.68503 Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 2 2006 Petri nets are dioids. Zbl 1170.68536 Baldan, Paolo; Gadducci, Fabio 2 2008 Parallel and sequential independence for borrowed contexts. Zbl 1175.68216 Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias 2 2008 Residuation for soft constraints: lexicographic orders and approximation techniques. Zbl 07437040 Gadducci, Fabio; Santini, Francesco 2 2021 Comparing cospan-spans and tiles via a Hoare-style process calculus. Zbl 1268.68126 Gadducci, Fabio; Katis, Piergiulio; Montanari, Ugo; Sabadini, Nicoletta; Walters, Robert F. C. 2 2002 Modelling calculi with name mobility using graphs with equivalences. Zbl 1278.68211 Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 2 2007 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 Soft constraint automata with memory. Zbl 1455.68087 Dokter, Kasper; Gadducci, Fabio; Lion, Benjamin; Santini, Francesco 2 2021 Event structures for Petri nets with persistence. Zbl 1417.68113 Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo 2 2018 A decentralised graphical implementation of mobile ambients. Zbl 1207.68224 Gadducci, Fabio; Monreale, Giacoma Valentina 1 2011 A term-graph syntax for algebras over multisets. Zbl 1253.68228 Gadducci, Fabio 1 2009 A net-based approach to web services publication and replaceability. Zbl 1183.68069 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2009 A soft approach to multi-objective optimization. Zbl 1185.90169 Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma 1 2008 On the use of behavioural equivalences for web services’ development. Zbl 1154.68446 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2008 Graphical encoding of a spatial logic for the \(\pi \)-calculus. Zbl 1214.68248 Gadducci, Fabio; Lluch Lafuente, Alberto 1 2007 Concurrency cannot be observed, asynchronously. Zbl 1361.68158 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 1 2015 Graph transactions as processes. Zbl 1156.68416 Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio 1 2006 Inequational deduction as term graph rewriting. Zbl 1270.68125 Corradini, Andrea; Gadducci, Fabio 1 2007 Adaptable transition systems. Zbl 1394.68206 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea 1 2013 Barbed semantics for open reactive systems. Zbl 1394.68249 Gadducci, Fabio; Monreale, Giacoma Valentina 1 2013 WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Zbl 1271.68038 1 2004 A categorical account of replicated data types. Zbl 07650339 Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo 1 2019 Implementation correctness for replicated data types, categorically. Zbl 07369994 Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo 1 2020 Towards a notion of transaction in graph rewriting. Zbl 1283.68182 Baldan, P.; Corradini, A.; Dotti, F. L.; Foss, L.; Gadducci, F.; Ribeiro, L. 1 2008 Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Zbl 1482.68021 1 2021 Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114 Baldan, Paolo; Gadducci, Fabio 1 2019 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 Residuation for soft constraints: lexicographic orders and approximation techniques. Zbl 07437040 Gadducci, Fabio; Santini, Francesco 2 2021 Soft constraint automata with memory. Zbl 1455.68087 Dokter, Kasper; Gadducci, Fabio; Lion, Benjamin; Santini, Francesco 2 2021 Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Zbl 1482.68021 1 2021 Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Zbl 1493.68012 4 2020 Implementation correctness for replicated data types, categorically. Zbl 07369994 Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo 1 2020 A categorical account of replicated data types. Zbl 07650339 Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo 1 2019 Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114 Baldan, Paolo; Gadducci, Fabio 1 2019 Rewriting with Frobenius. Zbl 1497.68238 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio 3 2018 Event structures for Petri nets with persistence. Zbl 1417.68113 Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo 2 2018 Confluence of graph rewriting with interfaces. Zbl 1485.68124 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 12 2017 Residuation for bipolar preferences in soft constraints. Zbl 1392.68385 Gadducci, Fabio; Santini, Francesco 4 2017 Observational and behavioural equivalences for soft concurrent constraint programming. Zbl 1373.68176 Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D. 4 2017 Domains and event structures for fusions. Zbl 1458.68128 Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 3 2017 Rewriting modulo symmetric monoidal structure. Zbl 1395.68162 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio 21 2016 Asynchronous traces and open Petri nets. Zbl 1434.68320 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. 4 2015 Concurrency cannot be observed, asynchronously. Zbl 1361.68158 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 1 2015 A general theory of barbs, contexts, and labels. Zbl 1354.68189 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 6 2014 Adaptable transition systems. Zbl 1394.68206 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea 1 2013 Barbed semantics for open reactive systems. Zbl 1394.68249 Gadducci, Fabio; Monreale, Giacoma Valentina 1 2013 A presheaf environment for the explicit fusion calculus. Zbl 1290.68089 Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 6 2012 Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126 Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel 3 2011 A decentralised graphical implementation of mobile ambients. Zbl 1207.68224 Gadducci, Fabio; Monreale, Giacoma Valentina 1 2011 Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 11 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 Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281 Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina 4 2009 A term-graph syntax for algebras over multisets. Zbl 1253.68228 Gadducci, Fabio 1 2009 A net-based approach to web services publication and replaceability. Zbl 1183.68069 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2009 A category of explicit fusions. Zbl 1144.68038 Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio 5 2008 A decentralized implementation of mobile ambients. Zbl 1175.68279 Gadducci, Fabio; Monreale, Giacoma Valentina 4 2008 Petri nets are dioids. Zbl 1170.68536 Baldan, Paolo; Gadducci, Fabio 2 2008 Parallel and sequential independence for borrowed contexts. Zbl 1175.68216 Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias 2 2008 A soft approach to multi-objective optimization. Zbl 1185.90169 Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma 1 2008 On the use of behavioural equivalences for web services’ development. Zbl 1154.68446 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 1 2008 Towards a notion of transaction in graph rewriting. Zbl 1283.68182 Baldan, P.; Corradini, A.; Dotti, F. L.; Foss, L.; Gadducci, F.; Ribeiro, L. 1 2008 Graph rewriting for the \(\pi\)-calculus. Zbl 1125.68063 Gadducci, Fabio 14 2007 A behavioural congruence for web services. Zbl 1141.68501 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio 5 2007 Modelling calculi with name mobility using graphs with equivalences. Zbl 1278.68211 Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 2 2007 Graphical encoding of a spatial logic for the \(\pi \)-calculus. Zbl 1214.68248 Gadducci, Fabio; Lluch Lafuente, Alberto 1 2007 Inequational deduction as term graph rewriting. Zbl 1270.68125 Corradini, Andrea; Gadducci, Fabio 1 2007 About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083 Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 22 2006 Process bisimulation via a graphical encoding. Zbl 1156.68494 Bonchi, Filippo; Gadducci, Fabio; König, Barbara 8 2006 Processes as formal power series: a coinductive approach to denotational semantics. Zbl 1097.68070 Boreale, Michele; Gadducci, Fabio 6 2006 Concurrent rewriting for graphs with equivalences. Zbl 1151.68503 Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo 2 2006 Graph transactions as processes. Zbl 1156.68416 Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio 1 2006 Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428 Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł 6 2005 Observing reductions in nominal calculi via a graphical encoding of processes. Zbl 1171.68572 Gadducci, Fabio; Montanari, Ugo 6 2005 On term graphs as an adhesive category. Zbl 1272.68175 Corradini, Andrea; Gadducci, Fabio 4 2005 Graph processes with fusions: Concurrency by colimits, again. Zbl 1075.68058 Gadducci, Fabio; Montanari, Ugo 3 2005 Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496 Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio 3 2005 Some characterization results for permutation algebras. Zbl 1271.68148 Gadducci, Fabio; Miculan, Marino; Montanari, Ugo 4 2004 WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Zbl 1271.68038 1 2004 Causality and replication in concurrent processes. Zbl 1254.68165 Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado 6 2003 Term graph rewriting for the \(\pi \)-calculus. Zbl 1254.68169 Gadducci, Fabio 4 2003 Denotational testing semantics in coinductive form. Zbl 1124.68383 Boreale, Michele; Gadducci, Fabio 4 2003 GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs. Zbl 1270.68123 Coccia, Matteo; Gadducci, Fabio; Montanari, Ugo 3 2003 Normal forms for algebras of connections. Zbl 1061.68110 Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 22 2002 Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056 Gadducci, Fabio; Montanari, Ugo 15 2002 A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Zbl 1061.18008 Corradini, Andrea; Gadducci, Fabio 11 2002 A causal semantics for CCS via rewriting logic. Zbl 1026.68075 Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado 5 2002 Categorical rewriting of term-like structures. Zbl 1263.68070 Corradini, Andrea; Gadducci, Fabio 4 2002 Comparing cospan-spans and tiles via a Hoare-style process calculus. Zbl 1268.68126 Gadducci, Fabio; Katis, Piergiulio; Montanari, Ugo; Sabadini, Nicoletta; Walters, Robert F. C. 2 2002 A concurrent graph semantics for mobile ambients. Zbl 1260.68094 Gadducci, Fabio; Montanari, Ugo 8 2001 A fully abstract model for graph-interpreted temporal logic. Zbl 0948.03025 Gadducci, Fabio; Heckel, Reiko; Koch, Manuel 5 2000 An algebraic presentation of term graphs, via gs-monoidal categories. Zbl 0949.68121 Corradini, Andrea; Gadducci, Fabio 33 1999 A bi-categorical axiomatisation of concurrent graph rewriting. Zbl 0967.68089 Gadducci, Fabio; Heckel, Reiko; Llabrés, Mercé 15 1999 Rewriting on cyclic structures: Equivalence between the operational and the categorical description. Zbl 0940.18002 Corradini, Andrea; Gadducci, Fabio 11 1999 Normal forms for partitions and relations. Zbl 0955.68081 Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo 5 1999 Functorial semantics for multi-algebras. Zbl 0942.18002 Corradini, Andrea; Gadducci, Fabio 4 1999 An inductive view of graph transformation. Zbl 0901.18003 Gadducci, F.; Heckel, R. 22 1998 Rational term rewriting. Zbl 0908.68081 Corradini, A.; Gadducci, F. 9 1998 Axioms for contextual net processes. Zbl 0912.68142 Gadducci, F.; Montanari, U. 7 1998 A 2-categorical presentation of term graph rewriting. Zbl 0889.68085 Corradini, A.; Gadducci, F. 16 1997 Tiles, rewriting rules and CCS. Zbl 0917.68115 Gadducci, Fabio; Montanari, Ugo 5 1996 Relating two categorical models of term rewriting. Zbl 1508.68146 Corradini, A.; Gadducci, F.; Montanari, U. 7 1995 CPO models for infinite term rewriting. Zbl 1496.68163 Corradini, Andrea; Gadducci, Fabio 5 1995 all cited Publications top 5 cited Publications all top 5 Cited by 253 Authors 50 Gadducci, Fabio 31 Montanari, Ugo G. 26 Bonchi, Filippo 21 Corradini, Andrea 19 Bruni, Roberto 18 Sobociński, Paweł 14 Baldan, Paolo 14 Zanasi, Fabio 8 Ciancia, Vincenzo 8 Monreale, Giacoma Valentina 8 Sammartino, Matteo 6 König, Barbara 5 Kissinger, Aleks 5 Lluch Lafuente, Alberto 5 Melgratti, Hernán 5 Miculan, Marino 5 Ribeiro, Leila 5 Santini, Francesco 5 Wilson, Paul W. 4 Duval, Dominique 4 Echahed, Rachid 4 Heckel, Reiko 4 Kurz, Alexander 4 Lanese, Ivan 4 Meseguer Guaita, José 4 Orejas, Fernando 4 Prost, Frédéric 4 Sabadini, Nicoletta 4 Walters, Robert F. C. 3 Aubert, Clément 3 Brodo, Linda 3 Buscemi, Maria Grazia 3 Ferrari, Gian Luigi 3 Heindel, Tobias 3 Honsell, Furio 3 Kahl, Wolfram 3 Lambers, Leen 3 Lenisa, Marina 3 Martí-Oliet, Narciso 3 Sassone, Vladimiro 3 Schröder, Lutz 2 Amy, Matthew 2 Balco, Samuel 2 Behr, Nicolas 2 Bertolissi, Clara 2 Bonsangue, Marcello Maria 2 Boreale, Michele 2 Bouassida Rodriguez, Ismael 2 Bozapalidis, Symeon 2 Bracciali, Andrea Clark 2 Bresolin, Davide 2 Brogi, Antonio 2 Caltais, Georgiana 2 Castelnovo, Davide 2 Clavel, Manuel 2 Cockett, J. Robin B. 2 de Frutos-Escrig, David 2 Di Gianantonio, Pietro 2 Ehrig, Hartmut 2 Fong, Brendan 2 Fritz, Tobias 2 Gassara, Amal 2 Gregorio-Rodríguez, Carlos 2 Hirschkoff, Daniel 2 Hofstra, Pieter J. W. 2 Horne, Ross 2 Jmaiel, Mohamed 2 Jouannaud, Jean-Pierre 2 Kalampakas, Antonios 2 Kehrer, Timo 2 Madiot, Jean-Marie 2 Mauw, Sjouke 2 Milner, Robin 2 Palomino, Miguel 2 Piedeleu, Robin 2 Radmacher, Frank G. 2 Rafe, Vahid 2 Rahmani, Adel T. 2 Rutten, Jan J. M. M. 2 Sangiorgi, Davide 2 Seeber, Jens 2 Silva, Alexandra 2 Spivak, David I. 2 Staton, Sam 2 Thomas, Wolfgang 2 Yurkov, Semen 2 Zhao, Yuhang 1 Altenmüller, Malin 1 Aoto, Takahito 1 Asada, Kazuyuki 1 Bacci, Giorgio 1 Baez, John C. 1 Baillot, Patrick 1 Balland, Emilie 1 Beffara, Emmanuel 1 Bialkiewicz, Joël-Alexis 1 Bistarelli, Stefano 1 Bolognesi, Tommaso 1 Borgström, Johannes 1 Bretschneider, Jan ...and 153 more Authors all top 5 Cited in 27 Serials 35 Theoretical Computer Science 18 Information and Computation 14 MSCS. Mathematical Structures in Computer Science 12 Journal of Logical and Algebraic Methods in Programming 5 Acta Informatica 5 The Journal of Logic and Algebraic Programming 5 Logical Methods in Computer Science 3 Applied Categorical Structures 3 RAIRO. Theoretical Informatics and Applications 2 Information Processing Letters 2 Journal of Pure and Applied Algebra 2 Journal of the ACM 2 Higher-Order and Symbolic Computation 2 ACM Transactions on Computational Logic 1 Artificial Intelligence 1 Discrete Applied Mathematics 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 Theory and Applications of Categories 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 20 Fields 217 Computer science (68-XX) 63 Category theory; homological algebra (18-XX) 21 Mathematical logic and foundations (03-XX) 11 Combinatorics (05-XX) 5 Quantum theory (81-XX) 4 History and biography (01-XX) 4 Associative rings and algebras (16-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) 2 Statistics (62-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 2 Systems theory; control (93-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 Probability theory and stochastic processes (60-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year