EDBT 2026 Demo / reviewers in the wild / expert
Fabio Gadducci
dblp:g/FabioGadducci
· DBLP profile ↗
11ranked-venue papers in the field
6as first author
3since 2021 · last 2023
0000-0003-0690-3051ORCID · verified
Domains — venue-derived; a paper can count in several
Other / Interdisciplinary · 11 (6 first)
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation
Fabio Gadducci, Andrea Laretto, Davide Trotta |
ICGT | 1 |
| 2022 | Graph Rewriting Components
Reiko Heckel, Andrea Corradini 0001, Fabio Gadducci |
ICGT | 3 |
| 2022 | Distributivity and residuation for lexicographic orders
Fabio Gadducci, Francesco Santini 0001 |
Inf. Process. Lett. | 1 |
| 2017 | Residuation for bipolar preferences in soft constraints
Fabio Gadducci, Francesco Santini 0001 |
Inf. Process. Lett. | 1 |
| 2012 | Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
ICGT | 1 |
| 2010 | Saturated LTSs for Adhesive Rewriting Systems
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari |
ICGT | 2 |
| 2010 | Counterpart Semantics for a Second-Order µ-Calculus
Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
ICGT | 1 |
| 2008 | Parallel and Sequential Independence for Borrowed Contexts
Filippo Bonchi, Fabio Gadducci, Tobias Heindel |
ICGT | 2 |
| 2008 | A Decentralized Implementation of Mobile Ambients
Fabio Gadducci, Giacoma Valentina Monreale |
ICGT | 1 |
| 2006 | Graph Transactions as Processes
Paolo Baldan, Andrea Corradini 0001, Luciana Foss, Fabio Gadducci |
ICGT | 4 |
| 2006 | Process Bisimulation Via a Graphical Encoding
Filippo Bonchi, Fabio Gadducci, Barbara König 0001 |
ICGT | 2 |