Cerca per relatore della tesi |
Risultati da
1 a 3 di 3
| Titolo | Corso di studi | Anno di discussione | Relatore |
|---|---|---|---|
| Verifying Quantum Protocols via Quantum Probabilities | INFORMATICA | 2026 | |
| Quantum Bisimilarity via Barbs, Contexts and Schedulers | INFORMATICA | 2025 | |
| Exploring Quantum Process Calculi via barbs and contexts | INFORMATICA | 2022 |
| Nuova ricerca |