Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDFabio Gadducci
Person information
- affiliation: University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j48]Kasper Dokter, Fabio Gadducci, Benjamin Lion, Francesco Santini:
Soft constraint automata with memory. J. Log. Algebraic Methods Program. 118: 100615 (2021)- 2020
- [j47]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) - [c76]Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino:
Implementation Correctness for Replicated Data Types, Categorically. ICTAC 2020: 283-303 - [e3]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
- [j46]Paolo Baldan, Fabio Gadducci:
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Acta Informatica 56(1): 61-92 (2019) - [c75]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 - [c74]Filippo Bonchi, Laura Bussi, Fabio Gadducci, Francesco Santini:
Polyadic Soft Constraints. The Art of Modelling Computational Systems 2019: 241-257 - [c73]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
- [j45]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) - [j44]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) - [c72]Kasper Dokter, Fabio Gadducci, Francesco Santini:
Soft Constraint Automata with Memory. It's All About Coordination 2018: 70-85 - [c71]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
- [j43]Fabio Gadducci, Francesco Santini:
Residuation for bipolar preferences in soft constraints. Inf. Process. Lett. 118: 69-74 (2017) - [j42]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) - [c70]Fabio Gadducci, Hernán C. Melgratti, Christian Roldán:
A Denotational View of Replicated Data Types. COORDINATION 2017: 138-156 - [c69]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Confluence of Graph Rewriting with Interfaces. ESOP 2017: 141-169 - [c68]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
- [c67]Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi:
Rewriting modulo symmetric monoidal structure. LICS 2016: 710-719 - [e2]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
- [j41]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Concurrency cannot be observed, asynchronously. Math. Struct. Comput. Sci. 25(4): 978-1004 (2015) - [j40]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) - [j39]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) - [c66]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets 2015: 19-21 - [c65]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 - [c64]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 - [c63]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
- [j38]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) - [j37]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
RPO semantics for mobile ambients. Math. Struct. Comput. Sci. 24(4) (2014) - [j36]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) - [c62]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION 2014: 1-16 - 2013
- [j35]Fabio Gadducci, Leonardo Mariani:
Preface. J. Vis. Lang. Comput. 24(3): 151-152 (2013) - [c61]Giovanni A. Cignoni, Fabio Gadducci:
Using Old Computers for Teaching Computer Science. HC 2013: 121-131 - [c60]Maurice H. ter Beek, Fabio Gadducci, Francesco Santini:
Validating reconfigurations of reo circuits in an e-Banking scenario. ISARCS 2013: 39-48 - [c59]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
- [j34]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) - [j33]Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Informaticae 118(1-2): 177-205 (2012) - [j32]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) - [c58]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
A Conceptual Framework for Adaptation. FASE 2012: 240-254 - [c57]Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. ICGT 2012: 51-65 - [c56]Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari:
A Modular LTS for Open Reactive Systems. IFIP TCS 2012: 134-148 - [c55]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Adaptable Transition Systems. WADT 2012: 95-110 - [c54]Fabio Gadducci, Giacoma Valentina Monreale:
Barbed Semantics for Open Reactive Systems. WADT 2012: 161-177 - [c53]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
- [j31]Fabio Gadducci, Leonardo Mariani:
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011) - [j30]Fabio Gadducci, Giacoma Valentina Monreale:
A decentralised graphical implementation of mobile ambients. J. Log. Algebraic Methods Program. 80(2): 113-136 (2011) - [c52]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Towards a General Theory of Barbs, Contexts and Labels. APLAS 2011: 289-304 - [c51]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
- [j29]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) - [j28]Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari:
From Petri Nets to Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010) - [c50]Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Concurrency Can't Be Observed, Asynchronously. APLAS 2010: 424-438 - [c49]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 - [c48]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari:
Saturated LTSs for Adhesive Rewriting Systems. ICGT 2010: 123-138 - [c47]Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Counterpart Semantics for a Second-Order µ-Calculus. ICGT 2010: 282-297 - [c46]Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini:
Extending Soft Arc Consistency Algorithms to Non-invertible Semirings. MICAI (1) 2010: 386-398 - [c45]Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
An Algebra of Hierarchical Graphs. TGC 2010: 205-221 - [c44]Andrea Corradini, Fabio Gadducci, Leila Ribeiro:
An Institution for Graph Transformation. WADT 2010: 160-174
2000 – 2009
- 2009
- [j27]Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci:
Preface. Electron. Notes Theor. Comput. Sci. 236: 1-3 (2009) - [j26]Fabio Gadducci:
A Note on an Old-Fashioned Algebra for (Disconnected) Graphs. Electron. Notes Theor. Comput. Sci. 253(4): 3-15 (2009) - [j25]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) - [j24]Filippo Bonchi, Fabio Gadducci, Barbara König:
Synthesising CCS bisimulation using graph rewriting. Inf. Comput. 207(1): 14-40 (2009) - [c43]Paolo Baldan, Filippo Bonchi, Fabio Gadducci:
Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR 2009: 99-114 - [c42]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Reactive Systems, Barbed Semantics, and the Mobile Ambients. FoSSaCS 2009: 272-287 - [c41]Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente:
A Graph Syntax for Processes and Services. WS-FM 2009: 46-60 - [c40]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
On Barbs and Labels in Reactive Systems. SOS 2009: 46-61 - [e1]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] - 2008
- [j23]Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens:
A Calculus for Team Automata. Electron. Notes Theor. Comput. Sci. 195: 41-55 (2008) - [j22]Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro:
Towards a Notion of Transaction in Graph Rewriting. Electron. Notes Theor. Comput. Sci. 211: 39-50 (2008) - [j21]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) - [c39]Paolo Baldan, Fabio Gadducci:
Petri Nets Are Dioids. AMAST 2008: 51-66 - [c38]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 - [c37]Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci:
A Category of Explicit Fusions. Concurrency, Graphs and Models 2008: 544-562 - [c36]Fabio Gadducci:
Ugo Montanari and Friends. Concurrency, Graphs and Models 2008: 743-746 - [c35]Fabio Gadducci, Giacoma Valentina Monreale:
A Decentralized Implementation of Mobile Ambients. ICGT 2008: 115-130 - [c34]Filippo Bonchi, Fabio Gadducci, Tobias Heindel:
Parallel and Sequential Independence for Borrowed Contexts. ICGT 2008: 226-241 - [c33]Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon:
A Soft Approach to Multi-objective Optimization. ICLP 2008: 764-768 - [c32]Fabio Gadducci:
A Term-Graph Syntax for Algebras over Multisets. WADT 2008: 152-165 - [c31]Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding). EXPRESS 2008: 73-98 - 2007
- [j20]Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König:
Inequational Deduction as Term Graph Rewriting. Electron. Notes Theor. Comput. Sci. 72(1): 31-44 (2007) - [j19]Maurice H. ter Beek, Fabio Gadducci:
Preface. Electron. Notes Theor. Comput. Sci. 168: 1-3 (2007) - [j18]Paolo Baldan, Fabio Gadducci, Ugo Montanari:
Modelling Calculi with Name Mobility using Graphs with Equivalences. Electron. Notes Theor. Comput. Sci. 176(1): 85-97 (2007) - [j17]Fabio Gadducci:
Graph rewriting for the pi-calculus. Math. Struct. Comput. Sci. 17(3): 407-437 (2007) - [c30]Fabio Gadducci, Alberto Lluch-Lafuente:
Graphical Encoding of a Spatial Logic for the pi -Calculus. CALCO 2007: 209-225 - [c29]Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci:
A Behavioural Congruence for Web Services. FSEN 2007: 240-256 - 2006
- [j16]Maurice H. ter Beek, Fabio Gadducci:
Preface. Electron. Notes Theor. Comput. Sci. 142: 1-3 (2006) - [j15]Fabio Gadducci, Alberto Lluch-Lafuente:
Graphical Verification of a Spatial Logic for the pi-calculus. Electron. Notes Theor. Comput. Sci. 154(2): 31-46 (2006) - [j14]Fabio Gadducci, Marino Miculan, Ugo Montanari:
About permutation algebras, (pre)sheaves and named sets. High. Order Symb. Comput. 19(2-3): 283-304 (2006) - [j13]Michele Boreale, Fabio Gadducci:
Processes as formal power series: A coinductive approach to denotational semantics. Theor. Comput. Sci. 360(1-3): 440-458 (2006) - [c28]Paolo Baldan, Fabio Gadducci, Ugo Montanari:
Concurrent Rewriting for Graphs with Equivalences. CONCUR 2006: 279-294 - [c27]Stefano Bistarelli, Fabio Gadducci:
Enhancing Constraints Manipulation in Semiring-Based Formalisms. ECAI 2006: 63-67 - [c26]Filippo Bonchi, Fabio Gadducci, Barbara König:
Process Bisimulation Via a Graphical Encoding. ICGT 2006: 168-183 - [c25]Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci:
Graph Transactions as Processes. ICGT 2006: 199-214 - 2005
- [j12]Andrea Corradini, Fabio Gadducci:
On Term Graphs as an Adhesive Category. Electron. Notes Theor. Comput. Sci. 127(5): 43-56 (2005) - [c24]Fabio Gadducci, Ugo Montanari:
Graph Processes with Fusions: Concurrency by Colimits, Again. Formal Methods in Software and Systems Modeling 2005: 84-100 - [c23]Fabio Gadducci, Ugo Montanari:
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes. Processes, Terms and Cycles 2005: 106-126 - [c22]Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski:
Deriving Weak Bisimulation Congruences from Reduction Systems. CONCUR 2005: 293-307 - 2004
- [j11]Fabio Gadducci, Marino Miculan, Ugo Montanari:
Some Characterization Results for Permutation Algebras. Electron. Notes Theor. Comput. Sci. 104: 129-147 (2004) - [c21]Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Specifying and Verifying UML Activity Diagrams Via Graph Transformation. Global Computing 2004: 18-33 - 2003
- [c20]Fabio Gadducci:
Term Graph Rewriting for the pi-Calculus. APLAS 2003: 37-54 - [c19]Pierpaolo Degano, Fabio Gadducci, Corrado Priami:
Causality and Replication in Concurrent Processes. Ershov Memorial Conference 2003: 307-318 - [c18]Michele Boreale, Fabio Gadducci:
Denotational Testing Semantics in Coinductive Form. MFCS 2003: 279-289 - 2002
- [j10]Fabio Gadducci, Ugo Montanari:
Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. Electron. Notes Theor. Comput. Sci. 71: 1-2 (2002) - [j9]Pierpaolo Degano, Fabio Gadducci, Corrado Priami:
A causal semantics for CCS via rewriting logic. Theor. Comput. Sci. 275(1-2): 259-282 (2002) - [j8]Fabio Gadducci, Ugo Montanari:
Comparing logics for rewriting: rewriting logic, action calculi and tile logic. Theor. Comput. Sci. 285(2): 319-358 (2002) - [j7]Roberto Bruni, Fabio Gadducci, Ugo Montanari:
Normal forms for algebras of connection. Theor. Comput. Sci. 286(2): 247-292 (2002) - [j6]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) - [c17]Luis Filipe 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 - [c16]Matteo Coccia, Fabio Gadducci, Ugo Montanari:
GS.Lambda Theories: A Syntax for Higher-Order Graphs. CTCS 2002: 83-100 - 2001
- [j5]Roberto Bruni, Fabio Gadducci:
Some algebraic laws for spans. Electron. Notes Theor. Comput. Sci. 44(3): 175-193 (2001) - [j4]Andrea Corradini, Fabio Gadducci:
Categorical rewriting of term-like structures. Electron. Notes Theor. Comput. Sci. 51: 108-121 (2001) - [j3]Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters:
Comparing cospan-spans and tiles via a Hoare-style process calculus. Electron. Notes Theor. Comput. Sci. 62: 157-176 (2001) - [c15]Fabio Gadducci, Ugo Montanari:
A Concurrent Graph Semantics for Mobile Ambients. MFPS 2001: 88-105 - 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]