VOLPE, Marco
VOLPE, Marco
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.012 secondi).
A labeled deduction system for the logic UB
2013-01-01 C., Caleiro; Vigano', Luca; Volpe, Marco
A Labeled Natural Deduction System for a Fragment of CTL∗
2009-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
Labeled natural deduction systems for a family of tense logics
2008-01-01 Vigano', Luca; Volpe, Marco
Quantum State Transformations and Branching Distributed Temporal Logic
2014-01-01 Vigano', Luca; Volpe, Marco; Zorzi, Margherita
Using interpolation for the verification of security protocols
2013-01-01 Rocchetto, Marco; Vigano', Luca; Volpe, Marco; G., Dalle Vedove
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A labeled deduction system for the logic UB | 1-gen-2013 | C., Caleiro; Vigano', Luca; Volpe, Marco | |
| A Labeled Natural Deduction System for a Fragment of CTL∗ | 1-gen-2009 | Masini, Andrea; Vigano', Luca; Volpe, Marco | |
| Labeled natural deduction systems for a family of tense logics | 1-gen-2008 | Vigano', Luca; Volpe, Marco | |
| Quantum State Transformations and Branching Distributed Temporal Logic | 1-gen-2014 | Vigano', Luca; Volpe, Marco; Zorzi, Margherita | |
| Using interpolation for the verification of security protocols | 1-gen-2013 | Rocchetto, Marco; Vigano', Luca; Volpe, Marco; G., Dalle Vedove |