Fabio Gadducci

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 66

Top Venues

CoRR

Math. Struct. Comput. Sci.

Sci. Comput. Program.

COORDINATION

Publications

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) (2024)
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
Effect Semantics for Quantum Process Calculi. CONCUR (2024)
Davide Castelnovo, Fabio Gadducci, Marino Miculan
A simple criterion for M,N-adhesivity. Theor. Comput. Sci. 982 (2024)
Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci
Left-Linear Rewriting in Adhesive Categories. CONCUR (2024)
Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci
Left-Linear Rewriting in Adhesive Categories. CoRR (2024)
Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness. Appl. Categorical Struct. 31 (5) (2023)
Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta
Weakly Markov Categories and Weakly Affine Monads. CALCO (2023)
Fabio Gadducci, Timo Kehrer
Specification and modelling of computing systems through graphs and graph transformation. J. Log. Algebraic Methods Program. 135 (2023)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
A Spatial Logic with Time and Quantifiers. DaLí (2023)
Fabio Gadducci, Andrea Laretto, Davide Trotta
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation. ICGT (2023)
Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta
Weakly affine monads. CoRR (2023)
Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Deterministic Observers. CoRR (2023)
Fabio Gadducci, Andrea Laretto, Davide Trotta
Specification and verification of a linear-time logic for graph transformation. CoRR (2023)
Timo Kehrer, Fabio Gadducci
Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020). Sci. Comput. Program. 221 (2022)
Laura Bussi, Fabio Gadducci, Francesco Santini
Soft Concurrent Constraint Programming with Local Variables. COORDINATION (2022)
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) (2022)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
Categorical specification and implementation of Replicated Data Types. Theor. Comput. Sci. 903 (2022)
Davide Castelnovo, Fabio Gadducci, Marino Miculan
-adhesivity, with an application to hierarchical graphs. FoSSaCS (2022)
Reiko Heckel, Andrea Corradini, Fabio Gadducci
Graph Rewriting Components. ICGT (2022)
Davide Castelnovo, Fabio Gadducci, Marino Miculan
A new criterion for M, N-adhesivity, with an application to hierarchical graphs. CoRR (2022)
Fabio Gadducci, Davide Trotta
A Presheaf Semantics for Quantified Temporal Logics. WADT (2022)
Fabio Gadducci, Francesco Santini
Distributivity and residuation for lexicographic orders. Inf. Process. Lett. 177 (2022)
Fabio Gadducci, Timo Kehrer
Special issue on Theoretical Topics in Graph Transformation. Theor. Comput. Sci. 931 (2022)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. J. ACM 69 (2) (2022)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
On Binding in the Spatial Logics for Closure Spaces. ISoLA (1) (2022)
Andrea Corradini, Fabio Gadducci, Davide Trotta
Completeness and expressiveness for gs-monoidal categories. CoRR (2022)
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) (2022)
Fabio Gadducci, Francesco Santini
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. JELIA (2021)
Fabio Gadducci, Davide Trotta
A Presheaf Semantics for Quantified Temporal Logics. CoRR (2021)
Kasper Dokter, Fabio Gadducci, Benjamin Lion, Francesco Santini
Soft constraint automata with memory. J. Log. Algebraic Methods Program. 118 (2021)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory III: Confluence with and without Frobenius. CoRR (2021)
Fabio Gadducci, Francesco Santini
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. CoRR (2021)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
Towards a Spatial Model Checker on GPU. FORTE (2021)
Paolo Baldan, Andrea Corradini, Fabio Gadducci
Concurrent semantics for fusions: Weak prime domains and connected event structures. Inf. Comput. 281 (2021)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
Towards Model Checking Video Streams Using VoxLogicA on GPUs. DataMod (2021)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure. CoRR (2021)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
Implementation Correctness for Replicated Data Types, Categorically. ICTAC (2020)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure. CoRR (2020)
Giovanni A. Cignoni, Fabio Gadducci
Pisa, 1954-1961: Assessing Key Stages of a Seminal Italian Project. IEEE Ann. Hist. Comput. 42 (2) (2020)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
A spatial model checker in GPU (extended version). CoRR (2020)
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)
Filippo Bonchi, Laura Bussi, Fabio Gadducci, Francesco Santini
Polyadic Soft Constraints. The Art of Modelling Computational Systems (2019)
Paolo Baldan, Fabio Gadducci
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Acta Informatica 56 (1) (2019)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino
A Categorical Account of Replicated Data Types. FSTTCS (2019)
Giovanni A. Cignoni, Fabio Gadducci
Retracing and assessing the CEP project. CoRR (2019)
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)
Paolo Baldan, Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari
Event Structures for Petri nets with Persistence. CoRR (2018)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Rewriting with Frobenius. LICS (2018)
Kasper Dokter, Fabio Gadducci, Francesco Santini
Soft Constraint Automata with Memory. It's All About Coordination (2018)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán
On the semantics and implementation of replicated data types. Sci. Comput. Program. 167 (2018)
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 (2017)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Confluence of Graph Rewriting with Interfaces. ESOP (2017)
Paolo Baldan, Andrea Corradini, Fabio Gadducci
Domains and event structures for fusions. LICS (2017)
Fabio Gadducci, Francesco Santini
Residuation for bipolar preferences in soft constraints. Inf. Process. Lett. 118 (2017)
Fabio Gadducci, Hernán C. Melgratti, Christian Roldán
A Denotational View of Replicated Data Types. COORDINATION (2017)
Paolo Baldan, Andrea Corradini, Fabio Gadducci
Domains and Event Structures for Fusions. CoRR (2017)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Rewriting modulo symmetric monoidal structure. CoRR (2016)
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi
Rewriting modulo symmetric monoidal structure. LICS (2016)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Asynchronous Traces and Open Petri Nets. Programming Languages with Applications to Biology and Security (2015)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Modular encoding of synchronous and asynchronous interactions using open Petri nets. Sci. Comput. Program. 109 (2015)
Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia
A Labelled Semantics for Soft Concurrent Constraint Programming. COORDINATION (2015)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Modelling and analyzing adaptive self-assembly strategies with Maude. Sci. Comput. Program. 99 (2015)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Concurrency cannot be observed, asynchronously. Math. Struct. Comput. Sci. 25 (4) (2015)
Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451). Dagstuhl Reports 5 (11) (2015)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
A White Box Perspective on Behavioural Adaptation. Software, Services, and Systems (2015)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Awareness and Control in Adaptable Transition Systems. PNSE @ Petri Nets (2015)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Encoding Synchronous Interactions Using Labelled Petri Nets. COORDINATION (2014)
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) (2014)
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
RPO semantics for mobile ambients. Math. Struct. Comput. Sci. 24 (4) (2014)
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
A General Theory of Barbs, Contexts, and Labels. ACM Trans. Comput. Log. 15 (4) (2014)
Maurice H. ter Beek, Fabio Gadducci, Francesco Santini
Validating reconfigurations of reo circuits in an e-Banking scenario. ISARCS (2013)
Fabio Gadducci, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing
Soft Constraints for Lexicographic Orders. MICAI (1) (2013)
Giovanni A. Cignoni, Fabio Gadducci
Using Old Computers for Teaching Computer Science. HC (2013)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Adaptation is a Game. Tiny Trans. Comput. Sci. 2 (2013)
Fabio Gadducci, Leonardo Mariani
Preface. J. Vis. Lang. Comput. 24 (3) (2013)
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci
A Presheaf Environment for the Explicit Fusion Calculus. J. Autom. Reason. 49 (2) (2012)
Fabio Gadducci, Giacoma Valentina Monreale
Barbed Semantics for Open Reactive Systems. WADT (2012)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. WRLA (2012)
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models. ICGT (2012)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
A Conceptual Framework for Adaptation. FASE (2012)
Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari
A Modular LTS for Open Reactive Systems. IFIP TCS (2012)
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Counterpart Semantics for a Second-Order μ-Calculus. Fundam. Informaticae 118 (1-2) (2012)
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
Adaptable Transition Systems. WADT (2012)
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) (2012)
Fabio Gadducci, Giacoma Valentina Monreale
A decentralised graphical implementation of mobile ambients. J. Log. Algebraic Methods Program. 80 (2) (2011)
Fabio Gadducci, Leonardo Mariani
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011)
Paolo Baldan, Fabio Gadducci, Pawel Sobocinski
Adhesivity Is Not Enough: Local Church-Rosser Revisited. MFCS (2011)
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Towards a General Theory of Barbs, Contexts and Labels. APLAS (2011)
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
An Algebra of Hierarchical Graphs. TGC (2010)
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin
-Calculus. ICGT (2010)
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)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Concurrency Can't Be Observed, Asynchronously. APLAS (2010)
Andrea Corradini, Fabio Gadducci, Leila Ribeiro
An Institution for Graph Transformation. WADT (2010)
Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini
Extending Soft Arc Consistency Algorithms to Non-invertible Semirings. MICAI (1) (2010)
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari
Saturated LTSs for Adhesive Rewriting Systems. ICGT (2010)
Paolo Baldan, Andrea Corradini, Fabio Gadducci, Ugo Montanari
From Petri Nets to Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafuente
An Algebra of Hierarchical Graphs and its Application to Structural Encoding. Sci. Ann. Comput. Sci. 20 (2010)
Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci
Preface. Electron. Notes Theor. Comput. Sci. 236 (2009)
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
A Net-based Approach to Web Services Publication and Replaceability. Fundam. Informaticae 94 (3-4) (2009)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci
Encoding Asynchronous Interactions Using Open Petri Nets. CONCUR (2009)

Fabio Gadducci.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fabio Gadducci