E-LIB Suche - Ergebnisse für: Gadducci, Fabio

1

A simple criterion for M,N-adhesivity:

Castelnovo, Davide ; Gadducci, Fabio ; Miculan, Marino
Theoretical Computer Science. 982 (2024) - p. 114280 , 2024

2

Quantum Bisimilarity via Barbs and Contexts: Curbing the Po..:

Ceragioli, Lorenzo ; Gadducci, Fabio ; Lomurno, Giuseppe.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1269-1297 , 2024

Link: https://doi.org/10.1145/..

3

A Spatial Logic with Time and Quantifiers:

, In: Lecture Notes in Computer Science; Dynamic Logic. New Trends and Applications,

Bussi, Laura ; Ciancia, Vincenzo ; Gadducci, Fabio - p. 1-19 , 2024

Link: https://doi.org/10.1007/..

4

Specification and modelling of computing systems through gr..:

Gadducci, Fabio ; Kehrer, Timo
Journal of Logical and Algebraic Methods in Programming. 135 (2023) - p. 100905 , 2023

Link: https://doi.org/10.1016/..

5

A Presheaf Semantics for Quantified Temporal Logics:

, In: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science,

Gadducci, Fabio ; Trotta, Davide - p. 81-99 , 2023

Link: https://doi.org/10.1007/..

6

From Gs-monoidal to Oplax Cartesian Categories: Constructio..:

Fritz, Tobias ; Gadducci, Fabio ; Trotta, Davide.
Applied Categorical Structures. 31 (2023) 5 - p. , 2023

Link: https://doi.org/10.1007/..

7

Specification and Verification of a Linear-Time Temporal Lo..:

, In: Graph Transformation; Lecture Notes in Computer Science,

Gadducci, Fabio ; Laretto, Andrea ; Trotta, Davide - p. 22-42 , 2023

Link: https://doi.org/10.1007/..

8

A new criterion for $$\mathcal {M}, \mathcal {N}$$-adhesivi..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Castelnovo, Davide ; Gadducci, Fabio ; Miculan, Marino - p. 205-224 , 2022

Link: https://doi.org/10.1007/..

9

Distributivity and residuation for lexicographic orders:

Gadducci, Fabio ; Santini, Francesco
Information Processing Letters. 177 (2022) - p. 106271 , 2022

Link: https://doi.org/10.1016/..

10

Special issue on Theoretical Topics in Graph Transformation:

Gadducci, Fabio ; Kehrer, Timo
Theoretical Computer Science. 931 (2022) - p. 155-156 , 2022

Link: https://doi.org/10.1016/..

11

String diagram rewrite theory II: Rewriting with symmetric ..:

Bonchi, Filippo ; Gadducci, Fabio ; Kissinger, Aleks..
Mathematical Structures in Computer Science. 32 (2022) 4 - p. 511-541 , 2022

Link: https://doi.org/10.1017/..

12

String Diagram Rewrite Theory I: Rewriting with Frobenius S..:

Bonchi, Filippo ; Gadducci, Fabio ; Kissinger, Aleks..
Journal of the ACM. 69 (2022) 2 - p. 1-58 , 2022

Link: https://doi.org/10.1145/..

13

String diagram rewrite theory III: Confluence with and with..:

Bonchi, Filippo ; Gadducci, Fabio ; Kissinger, Aleks..
Mathematical Structures in Computer Science. 32 (2022) 7 - p. 829-869 , 2022

Link: https://doi.org/10.1017/..

14

Soft Concurrent Constraint Programming with Local Variables:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Bussi, Laura ; Gadducci, Fabio ; Santini, Francesco - p. 159-177 , 2022

Link: https://doi.org/10.1007/..

15

Towards Model Checking Video Streams Using VoxLogicA on GPU:

, In: From Data to Models and Back; Lecture Notes in Computer Science,

Bussi, Laura ; Ciancia, Vincenzo ; Gadducci, Fabio.. - p. 78-90 , 2022

Link: https://doi.org/10.1007/..