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.
A Survey: Electronic Voting Development and Trends
2010-01-01 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Context-driven Semantic Enrichment of Italian News Archive
2010-01-01 Tamilin, Andrei; Magnini, Bernardo; Serafini, Luciano; Girardi, Christian; Joseph, Mathew; Zanoli, Roberto
Acquiring Thesauri from Wikis by Exploiting Domain Models and Lexical Substitution
2010-01-01 Giuliano, Claudio; Gliozzo, Alfio Massimiliano; Aldo, Gangemi; Tymoshenko, Kateryna
Brain Connectivity Analysis by Reduction to Pair Classification
2010-01-01 Olivetti, Emanuele; Veeramachaneni, Sriharsha; Greiner, Susanne; Avesani, Paolo
Under and Over Approximation of State Models Recovered for Ajax Applications
2010-01-01 Marchetto, Alessandro; Tonella, Paolo; Ricca, Filippo
Security Threat Identification and Testing
2015-01-01 Carbone, Roberto; Compagna, Luca; Panichella, Annibale; Ponta, Serena Elisa
A NuSMV Extension for Graded-CTL Model Checking
2010-01-01 Ferrante, Alessandro; Maurizio, Memoli; Margherita, Napoli; Mimmo, Parente; Francesco, Sorrentino
Model Checking of Hybrid Systems using Shallow Synchronization
2010-01-01 Lei, Bu; Cimatti, Alessandro; Xuandong, Li; Mover, Sergio; Tonetta, Stefano
Formal Analysis and Verification of Self-Healing Systems
2010-01-01 H., Ehrig; C., Ermel; O., Runge; Bucchiarone, Antonio; P., Pelliccione:
Ipoacusia a Scuola: il Contributo delle Nuove Tecnologie
2010-01-01 F., Fusillo; Mich, Ornella; M. S., Mazzi
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Survey: Electronic Voting Development and Trends | 1-gen-2010 | Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo | |
Context-driven Semantic Enrichment of Italian News Archive | 1-gen-2010 | Tamilin, Andrei; Magnini, Bernardo; Serafini, Luciano; Girardi, Christian; Joseph, Mathew; Zanoli, Roberto | |
Acquiring Thesauri from Wikis by Exploiting Domain Models and Lexical Substitution | 1-gen-2010 | Giuliano, Claudio; Gliozzo, Alfio Massimiliano; Aldo, Gangemi; Tymoshenko, Kateryna | |
Brain Connectivity Analysis by Reduction to Pair Classification | 1-gen-2010 | Olivetti, Emanuele; Veeramachaneni, Sriharsha; Greiner, Susanne; Avesani, Paolo | |
Under and Over Approximation of State Models Recovered for Ajax Applications | 1-gen-2010 | Marchetto, Alessandro; Tonella, Paolo; Ricca, Filippo | |
Security Threat Identification and Testing | 1-gen-2015 | Carbone, Roberto; Compagna, Luca; Panichella, Annibale; Ponta, Serena Elisa | |
A NuSMV Extension for Graded-CTL Model Checking | 1-gen-2010 | Ferrante, Alessandro; Maurizio, Memoli; Margherita, Napoli; Mimmo, Parente; Francesco, Sorrentino | |
Model Checking of Hybrid Systems using Shallow Synchronization | 1-gen-2010 | Lei, Bu; Cimatti, Alessandro; Xuandong, Li; Mover, Sergio; Tonetta, Stefano | |
Formal Analysis and Verification of Self-Healing Systems | 1-gen-2010 | H., Ehrig; C., Ermel; O., Runge; Bucchiarone, Antonio; P., Pelliccione: | |
Ipoacusia a Scuola: il Contributo delle Nuove Tecnologie | 1-gen-2010 | F., Fusillo; Mich, Ornella; M. S., Mazzi |
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 di Convegno ... 3788
- 4 Contributo in Atti di Convegno ... 3331
- 4 Contributo in Atti di Convegno ... 273
- 4 Contributo in Atti di Convegno ... 184
Data di pubblicazione
- 2019 273
- 2018 294
- 2017 371
- 2016 355
- 2015 376
- 2014 447
- 2013 439
- 2012 434
- 2011 416
- 2010 383
Editore
- IEEE 302
- Springer 158
- ACM 92
- Association for Computational Lin... 40
- CEUR-WS.org 33
- IEEE Computer Society 32
- ieee 25
- European Language Resources Assoc... 24
- SPIE 24
- Springer International Publishing 18
Rivista
- INTERNATIONAL ARCHIVES OF THE PHO... 25
- LECTURE NOTES IN COMPUTER SCIENCE 25
- POS PROCEEDINGS OF SCIENCE 16
- PROCEEDINGS 15
- PROCEEDINGS OF SPIE, THE INTERNAT... 14
- CEUR WORKSHOP PROCEEDINGS 13
- JOURNAL OF PHYSICS. CONFERENCE SE... 10
- PROCEDIA ENGINEERING 8
- LECTURE NOTES IN ARTIFICIAL INTEL... 7
- EPJ WEB OF CONFERENCES 6
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 93
- LECTURE NOTES IN ARTIFICIAL INTEL... 23
- LECTURE NOTES IN COMPUTER SCIENCE 18
- CEUR WORKSHOP PROCEEDINGS 17
- IEEE ENGINEERING IN MEDICINE AND ... 11
- PROCEEDINGS OF SPIE, THE INTERNAT... 11
- LECTURE NOTES IN ELECTRICAL ENGIN... 6
- LECTURE NOTES OF THE INSTITUTE FO... 6
- PROCEEDINGS OF SPIE 6
- AIP CONFERENCE PROCEEDINGS 5
Keyword
- RF-MEMS 22
- SiPM 22
- Machine Translation 21
- MEMS 21
- Protocols 18
- Wireless communication 16
- Computer architecture 14
- Internet of Things 14
- Mobile communication 13
- CMOS 12
Lingua
- eng 2967
- ita 77
- spa 3
- enm 2
- fre 2
- rum 1
Accesso al fulltext
- no fulltext 3300
- open 205
- restricted 164
- reserved 116
- partially open 2
- mixed 1