Sfoglia per Rivista THEORETICAL COMPUTER SCIENCE
Mostrati risultati da 1 a 4 di 4
Multi-stage Proof-of-Works: Properties and vulnerabilities
2023-01-01 D'Arco, Paolo; Ansaroudi, Zahra Ebadi; Mogavero, Francesco
Parameterized verification of time-sensitive models of ad hoc network protocols
2016-01-01 Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Othmane; Sangnier, Arnaud; Traverso, Riccardo
Structured coalgebras and minimal HD-automata for the pi-calculus
2005-01-01 Ugo, Montanari; Pistore, Marco
Which fragments of the interval temporal logic HS are tractable in model checking?
2018-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Multi-stage Proof-of-Works: Properties and vulnerabilities | 1-gen-2023 | D'Arco, Paolo; Ansaroudi, Zahra Ebadi; Mogavero, Francesco | |
Parameterized verification of time-sensitive models of ad hoc network protocols | 1-gen-2016 | Abdulla, Parosh Aziz; Delzanno, Giorgio; Rezine, Othmane; Sangnier, Arnaud; Traverso, Riccardo | |
Structured coalgebras and minimal HD-automata for the pi-calculus | 1-gen-2005 | Ugo, Montanari; Pistore, Marco | |
Which fragments of the interval temporal logic HS are tractable in model checking? | 1-gen-2018 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile