Parametric and probabilistic model checking of confidentiality in data dispersal algorithms
2016 Baldi, Marco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract)
2017 Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach
2017 Baldi, Marco; Chiaraluce, Franco; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
Bioenergy potential from green waste through lab-scale anaerobic digestion: Thermophilic versus mesophilic conditions
2024 Folino, Adele; Randazzo, Antonio; Tassi, Franco; Tatano, Fabio; De Rosa, Sandro; Gambioli, Alma
On Reversibility in Petri Nets
2026 Melgratti, Hernán; Mezzina, Claudio Antares; Michele Pinna, G.
Event-Driven Digital Twins
2026 Picone, Marco; Morandi, Riccardo; Burattini, Samuele; Croatti, Angelo; Mariani, Stefano; Montagna, Sara; Ricci, Alessandro
Creazione, incarnazione, ispirazione. L'artista a “immagine di Dio” nel pensiero di Denis de Rougemont
2011 Bondi, D
Preserving Cultural Heritage in Italian Inner Areas: The Key Role of Participatory Processes
2025 Limongi, Giada; Gasparetto, Francesca; Galderisi, Adriana; Zerlenga, Ornella; Baratin, Laura
Iscrizioni dalmatiche del Museo Nani. Nuovi spunti di ricerca
2025 Calvelli, Lorenzo; Luciani, Franco
Ancora sul «Nonius Auctus»: indagini sul codice di Nonio impiegato da Niccolò Perotti
2026 De Lazzer, Michele
Natural Language Processing For Construction Sites Management
2023 Corneli, Alessandra; Binni, Leonardo; Spegni, Francesco; Naticchia, Berardo; Messi, Leonardo
Process-based simulation models using BPMN for construction management at runtime
2021 Messi, Leonardo; Spegni, Francesco; Carbonari, Alessandro; Ridolfi, Luigi; Vaccarini, Massimo
Development of Natural Language Application for Construction Site Processes Safety Support
2024 Corneli, Alessandra; Spegni, Francesco; Naticchia, Berardo; Messi, Leonardo
Combining Blockchain and BPMN Choreographies for Construction Management
2021 Corneli, Alessandra; Naticchia, Berardo; Spegni, Francesco; Spalazzi, Luca
Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment
2024 Messi, Leonardo; Spegni, Francesco; Vaccarini, Massimo; Corneli, Alessandra; Binni, Leonardo
A first evaluation of the seamless markerless augmented reality registration system supporting facility management
2024 Messi, Leonardo; Spegni, Francesco; Vaccarini, Massimo; Corneli, Alessandra; Binni, Leonardo
A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes
2021 Corneli, Alessandra; Spegni, Francesco; Bragadin, Marco Alvise; Vaccarini, Massimo
Liveness of parameterized timed networks
2015 Aminof, B.; Rubin, S.; Zuleger, F.; Spegni, F.
Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy
2025 Spegni, Francesco; Spalazzi, Luca; Rosetti, Roberto; Murano, Aniello
Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations
2023 Messi, Leonardo; Spegni, Francesco; Vaccarini, Massimo; Corneli, Alessandra; Binni, Leonardo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Parametric and probabilistic model checking of confidentiality in data dispersal algorithms | 1-gen-2016 | Baldi, Marco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco | |
| A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) | 1-gen-2017 | Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco | |
| Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach | 1-gen-2017 | Baldi, Marco; Chiaraluce, Franco; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco | |
| Bioenergy potential from green waste through lab-scale anaerobic digestion: Thermophilic versus mesophilic conditions | 1-gen-2024 | Folino, Adele; Randazzo, Antonio; Tassi, Franco; Tatano, Fabio; De Rosa, Sandro; Gambioli, Alma | |
| On Reversibility in Petri Nets | 1-gen-2026 | Melgratti, Hernán; Mezzina, Claudio Antares; Michele Pinna, G. | |
| Event-Driven Digital Twins | 1-gen-2026 | Picone, Marco; Morandi, Riccardo; Burattini, Samuele; Croatti, Angelo; Mariani, Stefano; Montagna, Sara; Ricci, Alessandro | |
| Creazione, incarnazione, ispirazione. L'artista a “immagine di Dio” nel pensiero di Denis de Rougemont | 1-gen-2011 | Bondi, D | |
| Preserving Cultural Heritage in Italian Inner Areas: The Key Role of Participatory Processes | 1-gen-2025 | Limongi, Giada; Gasparetto, Francesca; Galderisi, Adriana; Zerlenga, Ornella; Baratin, Laura | |
| Iscrizioni dalmatiche del Museo Nani. Nuovi spunti di ricerca | 1-gen-2025 | Calvelli, Lorenzo; Luciani, Franco | |
| Ancora sul «Nonius Auctus»: indagini sul codice di Nonio impiegato da Niccolò Perotti | 1-gen-2026 | De Lazzer, Michele | |
| Natural Language Processing For Construction Sites Management | 1-gen-2023 | Corneli, Alessandra; Binni, Leonardo; Spegni, Francesco; Naticchia, Berardo; Messi, Leonardo | |
| Process-based simulation models using BPMN for construction management at runtime | 1-gen-2021 | Messi, Leonardo; Spegni, Francesco; Carbonari, Alessandro; Ridolfi, Luigi; Vaccarini, Massimo | |
| Development of Natural Language Application for Construction Site Processes Safety Support | 1-gen-2024 | Corneli, Alessandra; Spegni, Francesco; Naticchia, Berardo; Messi, Leonardo | |
| Combining Blockchain and BPMN Choreographies for Construction Management | 1-gen-2021 | Corneli, Alessandra; Naticchia, Berardo; Spegni, Francesco; Spalazzi, Luca | |
| Infrastructure-Free Localization System for Augmented Reality Registration in Indoor Environments: A First Accuracy Assessment | 1-gen-2024 | Messi, Leonardo; Spegni, Francesco; Vaccarini, Massimo; Corneli, Alessandra; Binni, Leonardo | |
| A first evaluation of the seamless markerless augmented reality registration system supporting facility management | 1-gen-2024 | Messi, Leonardo; Spegni, Francesco; Vaccarini, Massimo; Corneli, Alessandra; Binni, Leonardo | |
| A Smart Contract-based BPMN Choreography Execution for Management of Construction Processes | 1-gen-2021 | Corneli, Alessandra; Spegni, Francesco; Bragadin, Marco Alvise; Vaccarini, Massimo | |
| Liveness of parameterized timed networks | 1-gen-2015 | Aminof, B.; Rubin, S.; Zuleger, F.; Spegni, F. | |
| Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy | 1-gen-2025 | Spegni, Francesco; Spalazzi, Luca; Rosetti, Roberto; Murano, Aniello | |
| Seamless indoor/outdoor marker-less augmented reality registration supporting facility management operations | 1-gen-2023 | Messi, Leonardo; Spegni, Francesco; Vaccarini, Massimo; Corneli, Alessandra; Binni, Leonardo |
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
Scopri
Tipologia
- 4 Contributo Atto di Convegno (ex...5325
- 1 Contributo su rivista1
Data di pubblicazione
- In corso di stampa45
- 2020 - 2026639
- 2010 - 20191634
- 2000 - 20092192
- 1990 - 1999667
- 1980 - 1989127
- 1973 - 197921
Editore
- IEEE106
- Springer88
- s.n37
- QuattroVenti24
- ACM21
- World Scientific19
- ETS18
- Società Italiana Marketing18
- IEEE Computer Society17
- SPRINGER17
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...22
- RENT21
- ELECTRONIC PROCEEDINGS IN THEORET...12
- JOURNAL OF PHYSICS. CONFERENCE SE...12
- SPORT SCIENCES FOR HEALTH11
- BIOLOGIA MARINA MEDITERRANEA10
- RENDICONTI ONLINE DELLA SOCIETÀ G...10
- ANNALS OF ONCOLOGY8
- CLASSICAL AND QUANTUM GRAVITY7
- ITALIAN JOURNAL OF BIOCHEMISTRY6
Serie
- LECTURE NOTES IN COMPUTER SCIENCE74
- CEUR WORKSHOP PROCEEDINGS17
- SARDINIA...9
- WIT TRANSACTIONS ON ECOLOGY AND T...8
- ATTI CONFERENZA NAZIONALE ASITA7
- INTED PROCEEDINGS5
- SELECTED PAPERS OF INTERNET RESEARCH5
- ARCHEOMED4
- BIBLIOTECA DELLA RICERCA. CULTURA...4
- MOUSAI4
Keyword
- Marche26
- SMEs25
- Urbino15
- internationalization14
- Montefeltro12
- Cirene11
- Italy11
- performance10
- cultural heritage8
- iconografia8
Lingua
- eng2364
- ita1604
- fre87
- spa37
- ger29
- rus19
- lat7
- por6
- mul3
- enm2
Accesso al fulltext
- no fulltext5127
- restricted95
- open85
- embargoed10
- reserved7
- partially open1