Sfoglia per Serie
The use of Decentralized and Semantic Web Technologies for Personal Data Protection and Interoperability
2019 Mirko, Zichichi; Rodriguez-Doncel, Victor; Ferretti, Stefano
The Use of Decentralized and Semantic Web Technologies for Personal Data Protection and Interoperability
2021 Zichichi, Mirko; Rodríguez-Doncel, Víctor; Ferretti, Stefano
Using Justified True Beliefs to Explore Formal Ignorance
2023 Tagliaferri, Mirko
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems
2009 Aldini, Alessandro; Bernardo, Marco
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes
2011 Bernardo, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
The use of Decentralized and Semantic Web Technologies for Personal Data Protection and Interoperability | 1-gen-2019 | Mirko, Zichichi; Rodriguez-Doncel, Victor; Ferretti, Stefano | |
The Use of Decentralized and Semantic Web Technologies for Personal Data Protection and Interoperability | 1-gen-2021 | Zichichi, Mirko; Rodríguez-Doncel, Víctor; Ferretti, Stefano | |
Using Justified True Beliefs to Explore Formal Ignorance | 1-gen-2023 | Tagliaferri, Mirko | |
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems | 1-gen-2009 | Aldini, Alessandro; Bernardo, Marco | |
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes | 1-gen-2011 | Bernardo, Marco |
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