Fabio Gadducci
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
36
Venues
16
Active years
1995–2025
Best venue rank
A*
Where they publish
Papers
36 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CALCO | EGGs Are Adhesive! | Roberto Biondo, Davide Castelnovo, Fabio Gadducci |
| 2025 | Coordination | A Constraint Opinion Model. | Fabio Gadducci, Carlos Olarte, Frank Valencia |
| 2024 | APLAS | Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers. | Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi |
| 2024 | CONCUR | Left-Linear Rewriting in Adhesive Categories. | Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci |
| 2024 | CONCUR | Effect Semantics for Quantum Process Calculi. | Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi |
| 2024 | ISoLA | Testing Quantum Processes. | Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi |
| 2023 | CALCO | Weakly Markov Categories and Weakly Affine Monads. | Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta |
| 2022 | Coordination | Soft Concurrent Constraint Programming with Local Variables. | Laura Bussi, Fabio Gadducci, Francesco Santini |
| 2022 | FOSSACS | A new criterion for | Davide Castelnovo, Fabio Gadducci, Marino Miculan |
| 2022 | ISoLA | On Binding in the Spatial Logics for Closure Spaces. | Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink |
| 2021 | FORTE | Towards a Spatial Model Checker on GPU. | Laura Bussi, Vincenzo Ciancia, Fabio Gadducci |
| 2021 | JELIA | Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. | Fabio Gadducci, Francesco Santini |
| 2020 | ICTAC | Implementation Correctness for Replicated Data Types, Categorically. | Fabio Gadducci, Hernn C. Melgratti, Christian Roldn, Matteo Sammartino |
| 2018 | LICS | Rewriting with Frobenius. | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2017 | Coordination | A Denotational View of Replicated Data Types. | Fabio Gadducci, Hernn C. Melgratti, Christian Roldn |
| 2017 | ESOP | Confluence of Graph Rewriting with Interfaces. | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2017 | LICS | Domains and event structures for fusions. | Paolo Baldan, Andrea Corradini, Fabio Gadducci |
| 2016 | LICS | Rewriting modulo symmetric monoidal structure. | Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi |
| 2015 | Coordination | A Labelled Semantics for Soft Concurrent Constraint Programming. | Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia |
| 2014 | Coordination | Encoding Synchronous Interactions Using Labelled Petri Nets. | Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| 2012 | FASE | A Conceptual Framework for Adaptation. | Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
| 2011 | APLAS | Towards a General Theory of Barbs, Contexts and Labels. | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| 2011 | MFCS | Adhesivity Is Not Enough: Local Church-Rosser Revisited. | Paolo Baldan, Fabio Gadducci, Pawel Sobocinski |
| 2010 | APLAS | Concurrency Can't Be Observed, Asynchronously. | Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| 2009 | CONCUR | Encoding Asynchronous Interactions Using Open Petri Nets. | Paolo Baldan, Filippo Bonchi, Fabio Gadducci |
| 2009 | FOSSACS | Reactive Systems, Barbed Semantics, and the Mobile Ambients. | Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| 2008 | ICLP | A Soft Approach to Multi-objective Optimization. | Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon |
| 2007 | CALCO | Graphical Encoding of a Spatial Logic for the | Fabio Gadducci, Alberto Lluch-Lafuente |
| 2006 | CONCUR | Concurrent Rewriting for Graphs with Equivalences. | Paolo Baldan, Fabio Gadducci, Ugo Montanari |
| 2006 | ECAI | Enhancing Constraints Manipulation in Semiring-Based Formalisms. | Stefano Bistarelli, Fabio Gadducci |
| 2005 | CONCUR | Deriving Weak Bisimulation Congruences from Reduction Systems. | Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski |
| 2003 | APLAS | Term Graph Rewriting for the pi-Calculus. | Fabio Gadducci |
| 2003 | MFCS | Denotational Testing Semantics in Coinductive Form. | Michele Boreale, Fabio Gadducci |
| 1998 | FOSSACS | Rational Term Rewriting. | Andrea Corradini, Fabio Gadducci |
| 1998 | ICALP | Axioms for Contextual Net Processes. | Fabio Gadducci, Ugo Montanari |
| 1995 | LICS | Modal mu-Types for Processes | Marino Miculan, Fabio Gadducci |