×
Compute Distance To:
Author ID: gadducci.fabio Recent zbMATH articles by "Gadducci, Fabio"
Published as: Gadducci, Fabio; Gadducci, F.
External Links: MGP

Publications by Year

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.68121
Corradini, Andrea; Gadducci, Fabio
28
1999
Normal forms for algebras of connections. Zbl 1061.68110
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo
18
2002
An inductive view of graph transformation. Zbl 0901.18003
Gadducci, F.; Heckel, R.
17
1998
About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
16
2006
A 2-categorical presentation of term graph rewriting. Zbl 0889.68085
Corradini, A.; Gadducci, F.
15
1997
A bi-categorical axiomatisation of concurrent graph rewriting. Zbl 0967.68089
Gadducci, Fabio; Heckel, Reiko; Llabrés, Mercé
14
1999
Graph rewriting for the \(\pi\)-calculus. Zbl 1125.68063
Gadducci, Fabio
10
2007
Rewriting on cyclic structures: Equivalence between the operational and the categorical description. Zbl 0940.18002
Corradini, Andrea; Gadducci, Fabio
10
1999
Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056
Gadducci, Fabio; Montanari, Ugo
10
2002
Rewriting modulo symmetric monoidal structure. Zbl 1395.68162
Bonchi, 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.18008
Corradini, Andrea; Gadducci, Fabio
9
2002
Reactive systems, barbed semantics, and the mobile ambients. Zbl 1234.68287
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
9
2009
Rational term rewriting. Zbl 0908.68081
Corradini, A.; Gadducci, F.
7
1998
Axioms for contextual net processes. Zbl 0912.68142
Gadducci, F.; Montanari, U.
6
1998
A concurrent graph semantics for mobile ambients. Zbl 1260.68094
Gadducci, Fabio; Montanari, Ugo
6
2001
Processes as formal power series: a coinductive approach to denotational semantics. Zbl 1097.68070
Boreale, Michele; Gadducci, Fabio
6
2006
Process bisimulation via a graphical encoding. Zbl 1156.68494
Bonchi, Filippo; Gadducci, Fabio; König, Barbara
6
2006
Tiles, rewriting rules and CCS. Zbl 0917.68115
Gadducci, Fabio; Montanari, Ugo
5
1996
A fully abstract model for graph-interpreted temporal logic. Zbl 0948.03025
Gadducci, Fabio; Heckel, Reiko; Koch, Manuel
5
2000
Normal forms for partitions and relations. Zbl 0955.68081
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo
5
1999
A presheaf environment for the explicit fusion calculus. Zbl 1290.68089
Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
5
2012
A general theory of barbs, contexts, and labels. Zbl 1354.68189
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
5
2014
Deriving weak bisimulation congruences from reduction systems. Zbl 1134.68428
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo; Sobociński, Paweł
5
2005
A category of explicit fusions. Zbl 1144.68038
Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
5
2008
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
Asynchronous traces and open Petri nets. Zbl 1434.68320
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V.
4
2015
A causal semantics for CCS via rewriting logic. Zbl 1026.68075
Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado
4
2002
Categorical rewriting of term-like structures. Zbl 1263.68070
Corradini, Andrea; Gadducci, Fabio
4
2002
Observing reductions in nominal calculi via a graphical encoding of processes. Zbl 1171.68572
Gadducci, Fabio; Montanari, Ugo
4
2005
A decentralized implementation of mobile ambients. Zbl 1175.68279
Gadducci, Fabio; Monreale, Giacoma Valentina
4
2008
Some characterization results for permutation algebras. Zbl 1271.68148
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
4
2004
Confluence of graph rewriting with interfaces. Zbl 06721320
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
3
2017
Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio
3
2009
Residuation for bipolar preferences in soft constraints. Zbl 1392.68385
Gadducci, Fabio; Santini, Francesco
3
2017
Observational and behavioural equivalences for soft concurrent constraint programming. Zbl 1373.68176
Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D.
3
2017
Term graph rewriting for the \(\pi \)-calculus. Zbl 1254.68169
Gadducci, Fabio
3
2003
A behavioural congruence for web services. Zbl 1141.68501
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
3
2007
Synthesising CCS bisimulation using graph rewriting. Zbl 1169.68030
Bonchi, Filippo; Gadducci, Fabio; König, Barbara
3
2009
Event structures for Petri nets with persistence. Zbl 1417.68113
Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
2
2018
Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126
Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel
2
2011
Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
2
2005
Graph processes with fusions: Concurrency by colimits, again. Zbl 1075.68058
Gadducci, Fabio; Montanari, Ugo
2
2005
Causality and replication in concurrent processes. Zbl 1254.68165
Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado
2
2003
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
Parallel and sequential independence for borrowed contexts. Zbl 1175.68216
Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias
2
2008
Petri nets are dioids. Zbl 1170.68536
Baldan, 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.68114
Baldan, Paolo; Gadducci, Fabio
1
2019
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
Functorial semantics for multi-algebras. Zbl 0942.18002
Corradini, Andrea; Gadducci, Fabio
1
1999
A decentralised graphical implementation of mobile ambients. Zbl 1207.68224
Gadducci, Fabio; Monreale, Giacoma Valentina
1
2011
Concurrency cannot be observed, asynchronously. Zbl 1361.68158
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
1
2015
GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs. Zbl 1270.68123
Coccia, Matteo; Gadducci, Fabio; Montanari, Ugo
1
2003
Concurrent rewriting for graphs with equivalences. Zbl 1151.68503
Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo
1
2006
On the use of behavioural equivalences for web services’ development. Zbl 1154.68446
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
1
2008
Graph transactions as processes. Zbl 1156.68416
Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio
1
2006
A soft approach to multi-objective optimization. Zbl 1185.90169
Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma
1
2008
A net-based approach to web services publication and replaceability. Zbl 1183.68069
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
1
2009
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
On term graphs as an adhesive category. Zbl 1272.68175
Corradini, Andrea; Gadducci, Fabio
1
2005
Domains and event structures for fusions. Zbl 1458.68128
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
1
2017
Soft constraint automata with memory. Zbl 1455.68087
Dokter, Kasper; Gadducci, Fabio; Lion, Benjamin; Santini, Francesco
1
2021
Implementation correctness for replicated data types, categorically. Zbl 07369994
Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo
1
2020
Residuation for soft constraints: lexicographic orders and approximation techniques. Zbl 07437040
Gadducci, Fabio; Santini, Francesco
1
2021
Soft constraint automata with memory. Zbl 1455.68087
Dokter, Kasper; Gadducci, Fabio; Lion, Benjamin; Santini, Francesco
1
2021
Residuation for soft constraints: lexicographic orders and approximation techniques. Zbl 07437040
Gadducci, 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 07369994
Gadducci, 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.68114
Baldan, Paolo; Gadducci, Fabio
1
2019
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 06721320
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
3
2017
Residuation for bipolar preferences in soft constraints. Zbl 1392.68385
Gadducci, Fabio; Santini, Francesco
3
2017
Observational and behavioural equivalences for soft concurrent constraint programming. Zbl 1373.68176
Gadducci, Fabio; Santini, Francesco; Pino, Luis F.; Valencia, Frank D.
3
2017
Domains and event structures for fusions. Zbl 1458.68128
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
1
2017
Rewriting modulo symmetric monoidal structure. Zbl 1395.68162
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio
9
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
5
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
5
2012
Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126
Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel
2
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
9
2009
Labelled transitions for mobile ambients (as synthesized via a graphical encoding). Zbl 1291.68281
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
4
2009
Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio
3
2009
Synthesising CCS bisimulation using graph rewriting. Zbl 1169.68030
Bonchi, Filippo; Gadducci, Fabio; König, Barbara
3
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
Parallel and sequential independence for borrowed contexts. Zbl 1175.68216
Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias
2
2008
Petri nets are dioids. Zbl 1170.68536
Baldan, Paolo; Gadducci, Fabio
2
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
On the use of behavioural equivalences for web services’ development. Zbl 1154.68446
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
1
2008
A soft approach to multi-objective optimization. Zbl 1185.90169
Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma
1
2008
Graph rewriting for the \(\pi\)-calculus. Zbl 1125.68063
Gadducci, Fabio
10
2007
A behavioural congruence for web services. Zbl 1141.68501
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
3
2007
About permutation algebras, (pre)sheaves and named sets. Zbl 1105.68083
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
16
2006
Processes as formal power series: a coinductive approach to denotational semantics. Zbl 1097.68070
Boreale, Michele; Gadducci, Fabio
6
2006
Process bisimulation via a graphical encoding. Zbl 1156.68494
Bonchi, Filippo; Gadducci, Fabio; König, Barbara
6
2006
Concurrent rewriting for graphs with equivalences. Zbl 1151.68503
Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo
1
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ł
5
2005
Observing reductions in nominal calculi via a graphical encoding of processes. Zbl 1171.68572
Gadducci, Fabio; Montanari, Ugo
4
2005
Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
2
2005
Graph processes with fusions: Concurrency by colimits, again. Zbl 1075.68058
Gadducci, Fabio; Montanari, Ugo
2
2005
On term graphs as an adhesive category. Zbl 1272.68175
Corradini, Andrea; Gadducci, Fabio
1
2005
Some characterization results for permutation algebras. Zbl 1271.68148
Gadducci, Fabio; Miculan, Marino; Montanari, Ugo
4
2004
Denotational testing semantics in coinductive form. Zbl 1124.68383
Boreale, Michele; Gadducci, Fabio
4
2003
Term graph rewriting for the \(\pi \)-calculus. Zbl 1254.68169
Gadducci, Fabio
3
2003
Causality and replication in concurrent processes. Zbl 1254.68165
Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado
2
2003
GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs. Zbl 1270.68123
Coccia, Matteo; Gadducci, Fabio; Montanari, Ugo
1
2003
Normal forms for algebras of connections. Zbl 1061.68110
Bruni, Roberto; Gadducci, Fabio; Montanari, Ugo
18
2002
Comparing logics for rewriting: Rewriting logic, action calculi and tile logic. Zbl 1001.68056
Gadducci, Fabio; Montanari, Ugo
10
2002
A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Zbl 1061.18008
Corradini, Andrea; Gadducci, Fabio
9
2002
A causal semantics for CCS via rewriting logic. Zbl 1026.68075
Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado
4
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
6
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
28
1999
A bi-categorical axiomatisation of concurrent graph rewriting. Zbl 0967.68089
Gadducci, Fabio; Heckel, Reiko; Llabrés, Mercé
14
1999
Rewriting on cyclic structures: Equivalence between the operational and the categorical description. Zbl 0940.18002
Corradini, Andrea; Gadducci, Fabio
10
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
1
1999
An inductive view of graph transformation. Zbl 0901.18003
Gadducci, F.; Heckel, R.
17
1998
Rational term rewriting. Zbl 0908.68081
Corradini, A.; Gadducci, F.
7
1998
Axioms for contextual net processes. Zbl 0912.68142
Gadducci, F.; Montanari, U.
6
1998
A 2-categorical presentation of term graph rewriting. Zbl 0889.68085
Corradini, A.; Gadducci, F.
15
1997
Tiles, rewriting rules and CCS. Zbl 0917.68115
Gadducci, Fabio; Montanari, Ugo
5
1996
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

Citations by Year