GADDUCCI, FABIO Statistiche

GADDUCCI, FABIO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 162 (tempo di esecuzione: 0.033 secondi).
Titolo Data di pubblicazione Autore(i) File
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
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
Algebra and Coalgebra in Computer Science, 9th Conference (CALCO 2021) 1-gen-2021 Gadducci, Fabio; Silva, Alexandra
Concurrent semantics for fusions: Weak prime domains and connected event structures 1-gen-2021 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 1-gen-2021 Bodei, C.; Gadducci, F.
Graph Transformation, 14th International Conference (ICGT 2021) 1-gen-2021 Gadducci, Fabio; Kehrer, Timo
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques 1-gen-2021 Gadducci, F.; Santini, F.
Soft constraint automata with memory 1-gen-2021 Dokter, K.; Gadducci, F.; Lion, B.; Santini, F.