Cerca per relatore della tesi

Risultati da 1 a 12 di 14

Titolo	Corso di studi	Anno di discussione	Relatore
Verifying Quantum Protocols via Quantum Probabilities	INFORMATICA	2026	Ceragioli, Lorenzo Gadducci, Fabio
Process-oriented Data Science for the Analysis and Comparison of the inner Processes of Italian Legal Courts	DATA SCIENCE AND BUSINESS INFORMATICS	2025	Caponecchia, Vittoria Gadducci, Fabio Vandin, Andrea
VoxLogicA UI: Supporting Declarative Medical Image Analysis	INFORMATICA	2025	Ciancia, Vincenzo Gadducci, Fabio Massink, Mieke
Quantum Bisimilarity via Barbs, Contexts and Schedulers	INFORMATICA	2025	Ceragioli, Lorenzo Gadducci, Fabio
Model checking properties with identity binding in space-time	INFORMATICA	2024	Ciancia, Vincenzo Gadducci, Fabio
Counterpart Semantics for Quantified Temporal Logics: Sets, Categories and Agda	INFORMATICA	2022	Gadducci, Fabio Trotta, Davide
Exploring Quantum Process Calculi via barbs and contexts	INFORMATICA	2022	Ceragioli, Lorenzo Gadducci, Fabio
Counterpart semantics for First-Order Linear Temporal Logic	INFORMATICA	2021	Gadducci, Fabio
A GPU based implementation of the spatial model checker VoxLogicA	INFORMATICA	2020	Ciancia, Vincenzo Gadducci, Fabio
A Network-Aware Process Calculus for Global Computing and its Categorical Framework	SCIENZE DI BASE	2013	Degano, Pierpaolo Gadducci, Fabio Montanari, Ugo
Firing and Step semantics for a class of Open Petri Nets	INFORMATICA	2011	Gadducci, Fabio Montangero, Carlo
Adequacy Issues in Reactive Systems: Barbed Semantics for Mobile Ambients	INFORMATICA	2011	Gadducci, Fabio

ETD