Sfoglia per Serie
Validating Requirements of Access Control for Cloud-Edge IoT Solutions
2018-01-01 Ahmad, Tahir; Ranise, Silvio
Verifiable Contracting
2020-01-01 Nóbrega Gonçalves, Sérgio Manuel; Tomasi, Alessandro; Bisegna, Andrea; Pellizzari, Giulio; Ranise, Silvio
Verification of SMT Systems with Quantifiers
2022-01-01 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca
Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
2023-01-01 Lal, Akash; Tonetta, Stefano
Visual Aids to the Rescue: Predicting Creativity in Multimodal Artwork
2023-01-01 Strapparava, Carlo; Tekiroglu, Serra Sinem; Özbal, Gözde
VM-NeRF: Tackling Sparsity in NeRF with View Morphing
2023-01-01 Bortolon, Matteo; Del Bue, Alessio; Poiesi, Fabio
Where to Explore Next? ExHistCNN for History-Aware Autonomous 3D Exploration
2020-01-01 Wang, Yiming; Del Bue, Alessio
Your Favorite Gameplay Speaks Volumes About You: Predicting User Behavior and Hexad Type
2023-01-01 Hadi Mogavi, Reza; Deng, Chao; Hoffman, Jennifer; Haq, Ehsan-Ul; Gujar, Sujit; Bucchiarone, Antonio; Hui, Pan
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Validating Requirements of Access Control for Cloud-Edge IoT Solutions | 1-gen-2018 | Ahmad, Tahir; Ranise, Silvio | |
| Verifiable Contracting | 1-gen-2020 | Nóbrega Gonçalves, Sérgio Manuel; Tomasi, Alessandro; Bisegna, Andrea; Pellizzari, Giulio; Ranise, Silvio | |
| Verification of SMT Systems with Quantifiers | 1-gen-2022 | Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca | |
| Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers | 1-gen-2023 | Lal, Akash; Tonetta, Stefano | |
| Visual Aids to the Rescue: Predicting Creativity in Multimodal Artwork | 1-gen-2023 | Strapparava, Carlo; Tekiroglu, Serra Sinem; Özbal, Gözde | |
| VM-NeRF: Tackling Sparsity in NeRF with View Morphing | 1-gen-2023 | Bortolon, Matteo; Del Bue, Alessio; Poiesi, Fabio | |
| Where to Explore Next? ExHistCNN for History-Aware Autonomous 3D Exploration | 1-gen-2020 | Wang, Yiming; Del Bue, Alessio | |
| Your Favorite Gameplay Speaks Volumes About You: Predicting User Behavior and Hexad Type | 1-gen-2023 | Hadi Mogavi, Reza; Deng, Chao; Hoffman, Jennifer; Haq, Ehsan-Ul; Gujar, Sujit; Bucchiarone, Antonio; Hui, Pan |
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