GADDUCCI, FABIO Statistiche
GADDUCCI, FABIO
DIPARTIMENTO DI INFORMATICA
A simple criterion for M,N-adhesivity
2024-01-01 Castelnovo, Davide; Gadducci, Fabio; Miculan, Marino
A Spatial Logic with Time and Quantifiers
2024-01-01 Bussi, Laura; Ciancia, Vincenzo; Gadducci, Fabio
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers
2024-01-01 Ceragioli, L.; Gadducci, F.; Lomurno, G.; Tedeschi, G.
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness
2023-01-01 Fritz, Tobias; Gadducci, Fabio; Trotta, Davide; Corradini, Andrea
Specification and modelling of computing systems through graphs and graph transformation
2023-01-01 Gadducci, F; Kehrer, T
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation
2023-01-01 Gadducci, F.; Laretto, A.; Trotta, D.
Weakly Markov Categories and Weakly Affine Monads
2023-01-01 Fritz, Tobias; Gadducci, Fabio; Perrone, Paolo; Trotta, Davide
A new criterion for M, N-adhesivity, with an application to hierarchical graphs
2022-01-01 Castelnovo, Davide; Gadducci, Fabio; Miculan, Marino
Categorical specification and implementation of Replicated Data Types
2022-01-01 Gadducci, F.; Melgratti, H.; Roldan, C.; Sammartino, M.
Distributivity and residuation for lexicographic orders
2022-01-01 Gadducci, Fabio; Santini, Francesco
Graph Rewriting Components
2022-01-01 Heckel, R.; Corradini, A.; Gadducci, F.
On Binding in the Spatial Logics for Closure Spaces
2022-01-01 Bussi, L.; Ciancia, V.; Gadducci, F.; Latella, D.; Massink, M.
Soft Concurrent Constraint Programming with Local Variables
2022-01-01 Bussi, L; Gadducci, F; Santini, F
Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020)
2022-01-01 Kehrer, T; Gadducci, F
Special issue on Theoretical Topics in Graph Transformation Preface
2022-01-01 Gadducci, F; Kehrer, T
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
2022-01-01 Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio
String diagram rewrite theory II: Rewriting with symmetric monoidal structure
2022-01-01 Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F
String diagram rewrite theory III: Confluence with and without Frobenius
2022-01-01 Bonchi, F; Gadducci, F; Kissinger, A; Sobocinski, P; Zanasi, F
Towards Model Checking Video Streams Using VoxLogicA on GPUs
2022-01-01 Bussi, L.; Ciancia, V.; Gadducci, F.; Latella, D.; Massink, M.
Una storia nazionale: il Museo degli Strumenti per il calcolo
2022-01-01 Bodei, Chiara; Gadducci, Fabio; Lettieri, Giuseppe