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
Effect Semantics for Quantum Process Calculi
2024-01-01 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Left-Linear Rewriting in Adhesive Categories
2024-01-01 Baldan, Paolo; Castelnovo, Davide; Corradini, Andrea; Gadducci, Fabio
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers
2024-01-01 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers
2024-01-01 Ceragioli, L.; Gadducci, F.; Lomurno, G.; Tedeschi, G.
Testing Quantum Processes
2024-01-01 Ceragioli, L.; Gadducci, F.; Lomurno, G.; Tedeschi, G.
A Presheaf Semantics for Quantified Temporal Logics
2023-01-01 Gadducci, Fabio; Trotta, Davide
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
| 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 | |
| Effect Semantics for Quantum Process Calculi | 1-gen-2024 | Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele | |
| Left-Linear Rewriting in Adhesive Categories | 1-gen-2024 | Baldan, Paolo; Castelnovo, Davide; Corradini, Andrea; Gadducci, Fabio | |
| Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers | 1-gen-2024 | Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele | |
| Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers | 1-gen-2024 | Ceragioli, L.; Gadducci, F.; Lomurno, G.; Tedeschi, G. | |
| Testing Quantum Processes | 1-gen-2024 | Ceragioli, L.; Gadducci, F.; Lomurno, G.; Tedeschi, G. | |
| A Presheaf Semantics for Quantified Temporal Logics | 1-gen-2023 | Gadducci, Fabio; Trotta, Davide | |
| 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 |