Sfoglia per Serie
Pattern-preserving k-anonymization of sequences and its application to mobility data mining
2008-01-01 Pensa, R. G.; Monreale, A.; Pinelli, F.; Pedreschi, D.
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper)
2024-01-01 Perini Brogi, Cosimo; DE NICOLA, Rocco; Inverso, Omar
Toward Dynamic Epistemic Verification of Zero-Knowledge Protocols
2024-01-01 Costa, Gabriele; Perini Brogi, Cosimo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Pattern-preserving k-anonymization of sequences and its application to mobility data mining | 1-gen-2008 | Pensa, R. G.; Monreale, A.; Pinelli, F.; Pedreschi, D. | |
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper) | 1-gen-2024 | Perini Brogi, Cosimo; DE NICOLA, Rocco; Inverso, Omar | |
Toward Dynamic Epistemic Verification of Zero-Knowledge Protocols | 1-gen-2024 | Costa, Gabriele; Perini Brogi, Cosimo |
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