![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Fabio Gadducci
Person information
- affiliation: University of Pisa, Italy
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j45]Lorenzo Ceragioli
, Fabio Gadducci
, Giuseppe Lomurno
, Gabriele Tedeschi
:
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers. Proc. ACM Program. Lang. 8(POPL): 1269-1297 (2024) - [j44]Davide Castelnovo
, Fabio Gadducci, Marino Miculan
:
A simple criterion for M,N-adhesivity. Theor. Comput. Sci. 982: 114280 (2024) - [i18]Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci:
Left-Linear Rewriting in Adhesive Categories. CoRR abs/2407.06181 (2024) - 2023
- [j43]Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini:
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness. Appl. Categorical Struct. 31(5): 42 (2023) - [j42]Fabio Gadducci, Timo Kehrer:
Specification and modelling of computing systems through graphs and graph transformation. J. Log. Algebraic Methods Program. 135: 100905 (2023) - [c102]Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta:
Weakly Markov Categories and Weakly Affine Monads. CALCO 2023: 16:1-16:17 - [c101]Laura Bussi, Vincenzo Ciancia, Fabio Gadducci:
A Spatial Logic with Time and Quantifiers. DaLí 2023: 1-19 - [c100]Fabio Gadducci, Andrea Laretto, Davide Trotta:
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation. ICGT 2023: 22-42 - [i17]Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta:
Weakly affine monads. CoRR abs/2303.14049 (2023) - [i16]Fabio Gadducci, Andrea Laretto, Davide Trotta:
Specification and verification of a linear-time logic for graph transformation. CoRR abs/2305.03832 (2023) - [i15]Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi:
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Deterministic Observers. CoRR abs/2311.06116 (2023) - 2022
- [j41]Fabio Gadducci, Francesco Santini
:
Distributivity and residuation for lexicographic orders. Inf. Process. Lett. 177: 106271 (2022) - [j40]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
:
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. J. ACM 69(2): 14:1-14:58 (2022) - [j39]Filippo Bonchi, Fabio Gadducci
, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
:
String diagram rewrite theory II: Rewriting with symmetric monoidal structure. Math. Struct. Comput. Sci. 32(4): 511-541 (2022) - [j38]Filippo Bonchi, Fabio Gadducci
, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
:
String diagram rewrite theory III: Confluence with and without Frobenius. Math. Struct. Comput. Sci. 32(7): 829-869 (2022) - [j37]Timo Kehrer, Fabio Gadducci:
Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020). Sci. Comput. Program. 221: 102845 (2022) - [j36]Fabio Gadducci
, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino:
Categorical specification and implementation of Replicated Data Types. Theor. Comput. Sci. 903: 84-112 (2022) - [j35]Fabio Gadducci, Timo Kehrer:
Special issue on Theoretical Topics in Graph Transformation. Theor. Comput. Sci. 931: 155-156 (2022) - [c99]Fabio Gadducci, Davide Trotta:
A Presheaf Semantics for Quantified Temporal Logics. WADT 2022: 81-99 - [c98]Laura Bussi
, Fabio Gadducci, Francesco Santini:
Soft Concurrent Constraint Programming with Local Variables. COORDINATION 2022: 159-177 - [c97]Davide Castelnovo, Fabio Gadducci
, Marino Miculan
:
A new criterion for M, N-adhesivity, with an application to hierarchical graphs. FoSSaCS 2022: 205-224 - [c96]Reiko Heckel
, Andrea Corradini
, Fabio Gadducci
:
Graph Rewriting Components. ICGT 2022: 20-37 - [c95]Laura Bussi
, Vincenzo Ciancia, Fabio Gadducci, Diego Latella
, Mieke Massink:
On Binding in the Spatial Logics for Closure Spaces. ISoLA (1) 2022: 479-497 - [i14]Davide Castelnovo, Fabio Gadducci, Marino Miculan:
A new criterion for M, N-adhesivity, with an application to hierarchical graphs. CoRR abs/2201.00233 (2022) - [i13]Andrea Corradini, Fabio Gadducci, Davide Trotta:
Completeness and expressiveness for gs-monoidal categories. CoRR abs/2205.06892 (2022) - 2021
- [j34]Paolo Baldan
, Andrea Corradini, Fabio Gadducci
:
Concurrent semantics for fusions: Weak prime domains and connected event structures. Inf. Comput. 281: 104770 (2021) - [j33]Kasper Dokter
, Fabio Gadducci, Benjamin Lion, Francesco Santini:
Soft constraint automata with memory. J. Log. Algebraic Methods Program. 118: 100615 (2021) - [c94]Laura Bussi
, Vincenzo Ciancia
, Fabio Gadducci
, Diego Latella
, Mieke Massink
:
Towards Model Checking Video Streams Using VoxLogicA on GPUs. DataMod 2021: 78-90 - [c93]Laura Bussi
, Vincenzo Ciancia, Fabio Gadducci:
Towards a Spatial Model Checker on GPU. FORTE 2021: 188-196 - [c92]Fabio Gadducci, Francesco Santini:
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. JELIA 2021: 162-176 - [e9]Fabio Gadducci
, Alexandra Silva
:
9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria. LIPIcs 211, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-212-9 [contents] - [e8]Fabio Gadducci
, Timo Kehrer
:
Graph Transformation - 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings. Lecture Notes in Computer Science 12741, Springer 2021, ISBN 978-3-030-78945-9 [contents] - [i12]Fabio Gadducci, Francesco Santini:
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. CoRR abs/2103.06741 (2021) - [i11]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure. CoRR abs/2104.14686 (2021) - [i10]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory III: Confluence with and without Frobenius. CoRR abs/2109.06049 (2021) - [i9]Fabio Gadducci, Davide Trotta:
A Presheaf Semantics for Quantified Temporal Logics. CoRR abs/2111.03855 (2021) - 2020
- [j32]Giovanni A. Cignoni, Fabio Gadducci
:
Pisa, 1954-1961: Assessing Key Stages of a Seminal Italian Project. IEEE Ann. Hist. Comput. 42(2): 6-19 (2020) - [c91]Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino:
Implementation Correctness for Replicated Data Types, Categorically. ICTAC 2020: 283-303 - [e7]Fabio Gadducci
, Timo Kehrer
:
Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings. Lecture Notes in Computer Science 12150, Springer 2020, ISBN 978-3-030-51371-9 [contents] - [i8]Laura Bussi, Vincenzo Ciancia, Fabio Gadducci:
A spatial model checker in GPU (extended version). CoRR abs/2010.07284 (2020) - [i7]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. CoRR abs/2012.01847 (2020)
2010 – 2019
- 2019
- [j31]Paolo Baldan
, Fabio Gadducci
:
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Acta Informatica 56(1): 61-92 (2019) - [c90]Roberto Bruni, Andrea Corradini, Fabio Gadducci
, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto:
Data-Driven Choreographies à la Klaim. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 170-190 - [c89]Filippo Bonchi
, Laura Bussi
, Fabio Gadducci
, Francesco Santini:
Polyadic Soft Constraints. The Art of Modelling Computational Systems 2019: 241-257 - [c88]Fabio Gadducci
, Hernán C. Melgratti, Christian Roldán
, Matteo Sammartino
:
A Categorical Account of Replicated Data Types. FSTTCS 2019: 42:1-42:15 - [i6]Giovanni A. Cignoni, Fabio Gadducci:
Retracing and assessing the CEP project. CoRR abs/1904.00944 (2019) - 2018
- [j30]Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci
, Hernán C. Melgratti, Ugo Montanari:
Event Structures for Petri nets with Persistence. Log. Methods Comput. Sci. 14(3) (2018) - [j29]Fabio Gadducci
, Hernán C. Melgratti, Christian Roldán:
On the semantics and implementation of replicated data types. Sci. Comput. Program. 167: 91-113 (2018) - [c87]Kasper Dokter
, Fabio Gadducci
, Francesco Santini
:
Soft Constraint Automata with Memory. It's All About Coordination 2018: 70-85 - [c86]Filippo Bonchi
, Fabio Gadducci
, Aleks Kissinger
, Pawel Sobocinski
, Fabio Zanasi
:
Rewriting with Frobenius. LICS 2018: 165-174 - [i5]Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari:
Event Structures for Petri nets with Persistence. CoRR abs/1802.03726 (2018) - 2017
- [j28]Fabio Gadducci
, Francesco Santini
:
Residuation for bipolar preferences in soft constraints. Inf. Process. Lett. 118: 69-74 (2017) - [j27]Fabio Gadducci
, Francesco Santini
, Luis Fernando Pino, Frank D. Valencia:
Observational and behavioural equivalences for soft concurrent constraint programming. J. Log. Algebraic Methods Program. 92: 45-63 (2017) - [c85]Fabio Gadducci
, Hernán C. Melgratti, Christian Roldán:
A Denotational View of Replicated Data Types. COORDINATION 2017: 138-156 - [c84]Filippo Bonchi
, Fabio Gadducci
, Aleks Kissinger
, Pawel Sobocinski
, Fabio Zanasi
:
Confluence of Graph Rewriting with Interfaces. ESOP 2017: 141-169 - [c83]Paolo Baldan, Andrea Corradini
, Fabio Gadducci
:
Domains and event structures for fusions. LICS 2017: 1-12 - [i4]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Domains and Event Structures for Fusions. CoRR abs/1701.02394 (2017) - 2016
- [c82]Filippo Bonchi
, Fabio Gadducci
, Aleks Kissinger
, Pawel Sobocinski
, Fabio Zanasi
:
Rewriting modulo symmetric monoidal structure. LICS 2016: 710-719 - [e6]Fabio Gadducci, Mirko Tavosanis:
History and Philosophy of Computing - Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers. IFIP Advances in Information and Communication Technology 487, 2016, ISBN 978-3-319-47285-0 [contents] - [i3]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Rewriting modulo symmetric monoidal structure. CoRR abs/1602.06771 (2016) - 2015
- [j26]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Concurrency cannot be observed, asynchronously. Math. Struct. Comput. Sci. 25(4): 978-1004 (2015) - [j25]Roberto Bruni
, Andrea Corradini
, Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99: 75-94 (2015) - [j24]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. 109: 96-124 (2015) - [c81]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets 2015: 19-21 - [c80]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security 2015: 86-102 - [c79]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente
, Andrea Vandin
:
A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems 2015: 552-581 - [c78]Fabio Gadducci
, Francesco Santini
, Luis Fernando Pino, Frank D. Valencia:
A Labelled Semantics for Soft Concurrent Constraint Programming. COORDINATION 2015: 133-149 - [p2]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente
, Andrea Vandin
, Martin Wirsing:
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184 - [i2]Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis:
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451). Dagstuhl Reports 5(11): 1-28 (2015) - 2014
- [j23]Giovanni A. Cignoni, Fabio Gadducci
, Stefano Paci:
A Virtual Experience on the Very First Italian Computer. ACM Journal on Computing and Cultural Heritage 7(4): 21:1-21:23 (2014) - [j22]Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
RPO semantics for mobile ambients. Math. Struct. Comput. Sci. 24(4) (2014) - [j21]Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
A General Theory of Barbs, Contexts, and Labels. ACM Trans. Comput. Log. 15(4): 35:1-35:27 (2014) - [c77]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION 2014: 1-16 - 2013
- [j20]Fabio Gadducci
, Leonardo Mariani:
Preface. J. Vis. Lang. Comput. 24(3): 151-152 (2013) - [c76]Giovanni A. Cignoni, Fabio Gadducci
:
Using Old Computers for Teaching Computer Science. HC 2013: 121-131 - [c75]Maurice H. ter Beek
, Fabio Gadducci
, Francesco Santini
:
Validating reconfigurations of reo circuits in an e-Banking scenario. ISARCS 2013: 39-48 - [c74]Fabio Gadducci
, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing:
Soft Constraints for Lexicographic Orders. MICAI (1) 2013: 68-79 - [i1]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptation is a Game. Tiny Trans. Comput. Sci. 2 (2013) - 2012
- [j19]Stefano Bistarelli
, Fabio Gadducci
, Javier Larrosa, Emma Rollon
, Francesco Santini
:
Local arc consistency for non-invertible semirings, with an application to multi-objective optimization. Expert Syst. Appl. 39(2): 1708-1717 (2012) - [j18]Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Informaticae 118(1-2): 177-205 (2012) - [j17]Filippo Bonchi
, Maria Grazia Buscemi, Vincenzo Ciancia
, Fabio Gadducci
:
A Presheaf Environment for the Explicit Fusion Calculus. J. Autom. Reason. 49(2): 161-183 (2012) - [c73]Roberto Bruni
, Andrea Corradini
, Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
A Conceptual Framework for Adaptation. FASE 2012: 240-254 - [c72]Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. ICGT 2012: 51-65 - [c71]Fabio Gadducci
, Giacoma Valentina Monreale, Ugo Montanari:
A Modular LTS for Open Reactive Systems. IFIP TCS 2012: 134-148 - [c70]Roberto Bruni, Andrea Corradini
, Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Adaptable Transition Systems. WADT 2012: 95-110 - [c69]Fabio Gadducci
, Giacoma Valentina Monreale:
Barbed Semantics for Open Reactive Systems. WADT 2012: 161-177 - [c68]Roberto Bruni
, Andrea Corradini
, Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA 2012: 118-138 - 2011
- [j16]Fabio Gadducci
, Leonardo Mariani:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011) - [j15]Fabio Gadducci
, Giacoma Valentina Monreale:
A decentralised graphical implementation of mobile ambients. J. Log. Algebraic Methods Program. 80(2): 113-136 (2011) - [c67]Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Towards a General Theory of Barbs, Contexts and Labels. APLAS 2011: 289-304 - [c66]Paolo Baldan, Fabio Gadducci
, Pawel Sobocinski
:
Adhesivity Is Not Enough: Local Church-Rosser Revisited. MFCS 2011: 48-59 - [p1]Roberto Bruni
, Andrea Corradini
, Fabio Gadducci
, Alberto Lluch-Lafuente
, Ugo Montanari:
Hierarchical Models for Service-Oriented Systems. Results of the SENSORIA Project 2011: 349-368 - 2010
- [j14]Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
An Algebra of Hierarchical Graphs and its Application to Structural Encoding. Sci. Ann. Comput. Sci. 20: 53-96 (2010) - [j13]Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari:
From Petri Nets to Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010) - [c65]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Concurrency Can't Be Observed, Asynchronously. APLAS 2010: 424-438 - [c64]Roberto Bruni
, Andrea Corradini
, Fabio Gadducci
, Alberto Lluch-Lafuente
, Ugo Montanari:
On GS-Monoidal Theories for Graphs with Nesting. Graph Transformations and Model-Driven Engineering 2010: 59-86 - [c63]Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale, Ugo Montanari:
Saturated LTSs for Adhesive Rewriting Systems. ICGT 2010: 123-138 - [c62]Fabio Gadducci
, Alberto Lluch-Lafuente
, Andrea Vandin
:
Counterpart Semantics for a Second-Order µ-Calculus. ICGT 2010: 282-297 - [c61]Stefano Bistarelli
, Fabio Gadducci
, Javier Larrosa, Emma Rollon, Francesco Santini
:
Extending Soft Arc Consistency Algorithms to Non-invertible Semirings. MICAI (1) 2010: 386-398 - [c60]Roberto Bruni
, Fabio Gadducci
, Alberto Lluch-Lafuente
:
An Algebra of Hierarchical Graphs. TGC 2010: 205-221 - [c59]Andrea Corradini
, Fabio Gadducci
, Leila Ribeiro:
An Institution for Graph Transformation. WADT 2010: 160-174
2000 – 2009
- 2009
- [j12]Filippo Bonchi
, Antonio Brogi
, Sara Corfini, Fabio Gadducci
:
A Net-based Approach to Web Services Publication and Replaceability. Fundam. Informaticae 94(3-4): 305-330 (2009) - [j11]Filippo Bonchi
, Fabio Gadducci
, Barbara König:
Synthesising CCS bisimulation using graph rewriting. Inf. Comput. 207(1): 14-40 (2009) - [c58]Paolo Baldan, Filippo Bonchi
, Fabio Gadducci
:
Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR 2009: 99-114 - [c57]Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Reactive Systems, Barbed Semantics, and the Mobile Ambients. FoSSaCS 2009: 272-287 - [c56]Roberto Bruni
, Fabio Gadducci
, Alberto Lluch-Lafuente
:
A Graph Syntax for Processes and Services. WS-FM 2009: 46-60 - [c55]Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
On Barbs and Labels in Reactive Systems. SOS 2009: 46-61 - [c54]Fabio Gadducci
:
A Note on an Old-Fashioned Algebra for (Disconnected) Graphs. TERMGRAPH@ETAPS 2009: 3-15 - [e5]Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek:
Architecting Dependable Systems VI. Lecture Notes in Computer Science 5835, Springer 2009, ISBN 978-3-642-10247-9 [contents] - [e4]Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci:
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008. Electronic Notes in Theoretical Computer Science 236, Elsevier 2009 [contents] - 2008
- [j10]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
On the Use of Behavioural Equivalences for Web Services' Development. Fundam. Informaticae 89(4): 479-510 (2008) - [c53]Paolo Baldan, Fabio Gadducci
:
Petri Nets Are Dioids. AMAST 2008: 51-66 - [c52]Filippo Bonchi
, Antonio Brogi
, Sara Corfini, Fabio Gadducci
:
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. Petri Nets 2008: 52-71 - [c51]Filippo Bonchi
, Maria Grazia Buscemi, Vincenzo Ciancia
, Fabio Gadducci
:
A Category of Explicit Fusions. Concurrency, Graphs and Models 2008: 544-562 - [c50]Fabio Gadducci
:
Ugo Montanari and Friends. Concurrency, Graphs and Models 2008: 743-746 - [c49]Fabio Gadducci
, Giacoma Valentina Monreale:
A Decentralized Implementation of Mobile Ambients. ICGT 2008: 115-130 - [c48]Filippo Bonchi
, Fabio Gadducci
, Tobias Heindel:
Parallel and Sequential Independence for Borrowed Contexts. ICGT 2008: 226-241 - [c47]Stefano Bistarelli
, Fabio Gadducci
, Javier Larrosa, Emma Rollon:
A Soft Approach to Multi-objective Optimization. ICLP 2008: 764-768 - [c46]Fabio Gadducci
:
A Term-Graph Syntax for Algebras over Multisets. WADT 2008: 152-165 - [c45]Alessandro Aldini
, Maurice H. ter Beek
, Fabio Gadducci
:
Preface. VODCA@FOSAD 2008: 1-3 - [c44]Filippo Bonchi
, Fabio Gadducci
, Giacoma Valentina Monreale:
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding). EXPRESS 2008: 73-98 - 2007
- [j9]Fabio Gadducci
:
Graph rewriting for the pi-calculus. Math. Struct. Comput. Sci. 17(3): 407-437 (2007) - [c43]Fabio Gadducci, Alberto Lluch-Lafuente
:
Graphical Encoding of a Spatial Logic for the pi -Calculus. CALCO 2007: 209-225 - [c42]Filippo Bonchi
, Antonio Brogi
, Sara Corfini, Fabio Gadducci:
A Behavioural Congruence for Web Services. FSEN 2007: 240-256 - [e3]Maurice H. ter Beek, Fabio Gadducci:
Proceedings of the Second International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2006, Bertinoro, Italy, September 16-17, 2006. Electronic Notes in Theoretical Computer Science 168, Elsevier 2007 [contents] - 2006
- [j8]Fabio Gadducci
, Marino Miculan
, Ugo Montanari:
About permutation algebras, (pre)sheaves and named sets. High. Order Symb. Comput. 19(2-3): 283-304 (2006) - [j7]Michele Boreale
, Fabio Gadducci
:
Processes as formal power series: A coinductive approach to denotational semantics. Theor. Comput. Sci. 360(1-3): 440-458 (2006) - [c41]Paolo Baldan, Fabio Gadducci, Ugo Montanari:
Concurrent Rewriting for Graphs with Equivalences. CONCUR 2006: 279-294 - [c40]Stefano Bistarelli, Fabio Gadducci:
Enhancing Constraints Manipulation in Semiring-Based Formalisms. ECAI 2006: 63-67 - [c39]Filippo Bonchi
, Fabio Gadducci, Barbara König:
Process Bisimulation Via a Graphical Encoding. ICGT 2006: 168-183 - [c38]Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci:
Graph Transactions as Processes. ICGT 2006: 199-214 - [c37]Maurice H. ter Beek
, Fabio Gadducci
:
Preface. VODCA@FOSAD 2006: 1-3 - [c36]Paolo Baldan, Andrea Corradini
, Fernando Luís Dotti
, Luciana Foss, Fabio Gadducci
, Leila Ribeiro:
Towards a Notion of Transaction in Graph Rewriting. GT-VMT@ETAPS 2006: 39-50 - [c35]Maurice H. ter Beek
, Fabio Gadducci
, Dirk Janssens:
A Calculus for Team Automata. SBMF 2006: 41-55 - [c34]Paolo Baldan, Fabio Gadducci
, Ugo Montanari:
Modelling Calculi with Name Mobility using Graphs with Equivalences. TERMGRAPH@ETAPS 2006: 85-97 - [e2]Maurice H. ter Beek, Fabio Gadducci:
Proceedings of the First International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September 11-12, 2004. Electronic Notes in Theoretical Computer Science 142, Elsevier 2006 [contents] - 2005
- [c33]Fabio Gadducci, Ugo Montanari:
Graph Processes with Fusions: Concurrency by Colimits, Again. Formal Methods in Software and Systems Modeling 2005: 84-100 - [c32]Fabio Gadducci, Ugo Montanari:
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes. Processes, Terms and Cycles 2005: 106-126 - [c31]Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski:
Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR 2005: 293-307 - [c30]Fabio Gadducci
, Alberto Lluch-Lafuente
:
Graphical Verification of a Spatial Logic for the pi-calculus. GT-VC@CONCUR 2005: 31-46 - 2004
- [c29]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing 2004: 18-33 - [c28]Maurice H. ter Beek
, Fabio Gadducci
:
Preface. VODCA@FOSAD 2004: 1-3 - [c27]Andrea Corradini
, Fabio Gadducci
:
On Term Graphs as an Adhesive Category. TERMGRAPH 2004: 43-56 - [e1]Fabio Gadducci, Ugo Montanari:
Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002. Electronic Notes in Theoretical Computer Science 71, Elsevier 2004 [contents] - 2003
- [c26]Fabio Gadducci:
Term Graph Rewriting for the pi-Calculus. APLAS 2003: 37-54 - [c25]Pierpaolo Degano, Fabio Gadducci, Corrado Priami:
Causality and Replication in Concurrent Processes. Ershov Memorial Conference 2003: 307-318 - [c24]Michele Boreale, Fabio Gadducci:
Denotational Testing Semantics in Coinductive Form. MFCS 2003: 279-289 - [c23]Fabio Gadducci
, Marino Miculan
, Ugo Montanari:
Some Characterization Results for Permutation Algebras. COMETA 2003: 129-147 - 2002
- [j6]Pierpaolo Degano, Fabio Gadducci
, Corrado Priami:
A causal semantics for CCS via rewriting logic. Theor. Comput. Sci. 275(1-2): 259-282 (2002) - [j5]Fabio Gadducci
, Ugo Montanari:
Comparing logics for rewriting: rewriting logic, action calculi and tile logic. Theor. Comput. Sci. 285(2): 319-358 (2002) - [j4]Roberto Bruni
, Fabio Gadducci
, Ugo Montanari:
Normal forms for algebras of connection. Theor. Comput. Sci. 286(2): 247-292 (2002) - [j3]Andrea Corradini
, Fabio Gadducci
:
A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Theor. Comput. Sci. 286(2): 293-322 (2002) - [c22]Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola
, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch
, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink
, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - [c21]Fabio Gadducci
, Ugo Montanari:
Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. WRLA 2002: 1-2 - [c20]Andrea Corradini
, Fabio Gadducci
, Wolfram Kahl, Barbara König:
Inequational Deduction as Term Graph Rewriting. TERMGRAPH 2002: 31-44 - [c19]Matteo Coccia, Fabio Gadducci
, Ugo Montanari:
GS.Lambda Theories: A Syntax for Higher-Order Graphs. CTCS 2002: 83-100 - 2001
- [c18]Fabio Gadducci
, Ugo Montanari:
A Concurrent Graph Semantics for Mobile Ambients. MFPS 2001: 88-105 - [c17]Andrea Corradini
, Fabio Gadducci
:
Categorical rewriting of term-like structures. GETGRATS Closing Workshop 2001: 108-121 - [c16]Fabio Gadducci
, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters:
Comparing cospan-spans and tiles via a Hoare-style process calculus. TOSCA 2001: 157-176 - [c15]Roberto Bruni
, Fabio Gadducci
:
Some algebraic laws for spans. RelMiS 2001: 175-193 - 2000
- [c14]Fabio Gadducci, Ugo Montanari:
The tile model. Proof, Language, and Interaction 2000: 133-166
1990 – 1999
- 1999
- [j2]Andrea Corradini, Fabio Gadducci
:
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. Appl. Categorical Struct. 7(4): 299-331 (1999) - [j1]Andrea Corradini
, Fabio Gadducci
:
Rewriting on cyclic structures: Equivalence between the operational and the categorical description. RAIRO Theor. Informatics Appl. 33(4/5): 467-493 (1999) - [c13]Fabio Gadducci
, Reiko Heckel, Mercè Llabrés
:
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. CTCS 1999: 80-100 - 1998
- [c12]Andrea Corradini, Fabio Gadducci:
Rational Term Rewriting. FoSSaCS 1998: 156-171 - [c11]Fabio Gadducci, Ugo Montanari:
Axioms for Contextual Net Processes. ICALP 1998: 296-308 - [c10]Fabio Gadducci, Reiko Heckel, Manuel Koch:
A Fully Abstract Model for Graph-Interpreted Temporal Logic. TAGT 1998: 310-322 - [c9]Roberto Bruni, Fabio Gadducci
, Ugo Montanari:
Normal Forms for Partitions and Relations. WADT 1998: 31-47 - [c8]Andrea Corradini
, Fabio Gadducci
:
Functorial Semantics for Multi-algebras. WADT 1998: 79-91 - [c7]Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci
:
CCS semantics via proved transition systems and rewriting logic. WRLA 1998: 369-387 - 1997
- [c6]Andrea Corradini, Fabio Gadducci:
A 2-Categorical Presentation of Term Graph Rewriting. Category Theory and Computer Science 1997: 87-105 - [c5]Fabio Gadducci
, Reiko Heckel:
An inductive view of graph transformation. WADT 1997: 223-237 - 1996
- [c4]Fabio Gadducci
, Ugo Montanari:
Tiles, rewriting rules and CCS. WRLA 1996: 1-19 - 1995
- [c3]Andrea Corradini
, Fabio Gadducci
:
CPO Models for Infinite Term Rewriting. AMAST 1995: 368-384 - [c2]Marino Miculan
, Fabio Gadducci:
Modal mu-Types for Processes. LICS 1995: 221-231 - [c1]Andrea Corradini, Fabio Gadducci, Ugo Montanari:
Relating Two Categorial Models of Term Rewriting. RTA 1995: 225-240
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-13 20:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint