GADDUCCI, FABIO Statistiche

GADDUCCI, FABIO  

DIPARTIMENTO DI INFORMATICA  

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