RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Risultati 111 - 116 di 116 (tempo di esecuzione: 0.066 secondi).
Verification of hibernate query language by abstract interpretation
2015-01-01 Jana, Angshuman; Halder, Raju; Cortesi, Agostino
Vulnerability analysis of android auto infotainment apps
2018-01-01 Mandal, AMIT KR; Cortesi, Agostino; Ferrara, Pietro; Panarotto, Federica; Spoto, Fausto
Weak Identities for Deliberative e-Democracy
2009-01-01 Candiello, A; Albarelli, Andrea; Cortesi, Agostino
Widening Operators for Abstract Interpretation
2008-01-01 Cortesi, Agostino
WiFi-related energy consumption analysis of mobile devices in a walkable area by abstract interpretation
2017-01-01 Eugenio, Enrico; Cortesi, Agostino
Zero-knowledge SoftwareWatermarking for C Programs
2010-01-01 Bhattacharya, Sukriti; Cortesi, Agostino
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
Verification of hibernate query language by abstract interpretation | 1-gen-2015 | CORTESI, Agostino + | 4.1 Articolo in Atti di convegno | - | |
Vulnerability analysis of android auto infotainment apps | 1-gen-2018 | MANDAL, AMIT KRCortesi, AgostinoFerrara, Pietro + | 4.1 Articolo in Atti di convegno | - | |
Weak Identities for Deliberative e-Democracy | 1-gen-2009 | ALBARELLI, AndreaCORTESI, Agostino + | 4.1 Articolo in Atti di convegno | - | |
Widening Operators for Abstract Interpretation | 1-gen-2008 | CORTESI, Agostino | 4.1 Articolo in Atti di convegno | - | |
WiFi-related energy consumption analysis of mobile devices in a walkable area by abstract interpretation | 1-gen-2017 | CORTESI, Agostino + | 4.1 Articolo in Atti di convegno | - | |
Zero-knowledge SoftwareWatermarking for C Programs | 1-gen-2010 | BHATTACHARYA, SukritiCORTESI, Agostino | 4.1 Articolo in Atti di convegno | - |
Risultati 111 - 116 di 116 (tempo di esecuzione: 0.066 secondi).
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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti convegno 116
- 4 Contributo in Atti convegno::4.... 116
Data di pubblicazione
- 2020 - 2023 13
- 2010 - 2019 60
- 2000 - 2009 35
- 1991 - 1999 8
Editore
- Springer Verlag 25
- ACM Press 7
- IEEE Computer Society 7
- Springer 7
- Elsevier 6
- Springer Science and Business Med... 5
- SciTePress – Science and Technolo... 4
- IEEE 3
- Institute of Electrical and Elect... 3
- Kluwer 3
Rivista
- LECTURE NOTES IN ARTIFICIAL INTEL... 1
- LECTURE NOTES IN COMPUTER SCIENCE 1
- PROCEEDINGS - INTERNATIONAL CONFE... 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 26
- LECTURE NOTES IN ARTIFICIAL INTEL... 7
- ELECTRONIC NOTES IN THEORETICAL C... 6
- LECTURE NOTES IN NETWORKS AND SYS... 3
- ANNALS OF COMPUTER SCIENCE AND IN... 2
- CEUR WORKSHOP PROCEEDINGS 2
- COMMUNICATIONS IN COMPUTER AND IN... 2
- ADVANCES IN INTELLIGENT SYSTEMS A... 1
- EUROGRAPHICS TECHNICAL REPORT SERIES 1
- IEEE INTERNATIONAL CONFERENCE ON ... 1
Keyword
- Abstract Interpretation 17
- Abstract interpretation 15
- Security 13
- Static Analysis 13
- Static analysis 12
- Databases 6
- Ambient Calculus 3
- Database watermarking 3
- eGovernment 3
- Hibernate Query Language 3
Lingua
- eng 105
- ita 2
Accesso al fulltext
- reserved 69
- open 26
- no fulltext 21