Cerca per relatore della tesi |
Risultati da
1 a 4 di 4
| Titolo | Corso di studi | Anno di discussione | Relatore |
|---|---|---|---|
| VoxLogicA UI: Supporting Declarative Medical Image Analysis | INFORMATICA | 2025 | |
| Model checking properties with identity binding in space-time | INFORMATICA | 2024 | |
| A GPU based implementation of the spatial model checker VoxLogicA | INFORMATICA | 2020 | |
| Spatio-Temporal Model Checking: Explicit and Abstraction-Based Methods | MATEMATICA | 2016 |
| Nuova ricerca |