GADDUCCI, FABIO Statistiche
GADDUCCI, FABIO
DIPARTIMENTO DI INFORMATICA
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
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
Algebra and Coalgebra in Computer Science, 9th Conference (CALCO 2021)
2021-01-01 Gadducci, Fabio; Silva, Alexandra
Concurrent semantics for fusions: Weak prime domains and connected event structures
2021-01-01 Baldan, P.; Corradini, A.; Gadducci, F.
Giornate Fibonacci: 850° anniversario della nascita di Leonardo Pisano, detto il Fibonacci, Pisa, Università di Pisa, 20-23 novem- bre 2020
2021-01-01 Bodei, C.; Gadducci, F.
Graph Transformation, 14th International Conference (ICGT 2021)
2021-01-01 Gadducci, Fabio; Kehrer, Timo
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques
2021-01-01 Gadducci, F.; Santini, F.
Soft constraint automata with memory
2021-01-01 Dokter, K.; Gadducci, F.; Lion, B.; Santini, F.