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.
Rewriting-based Quantifier-free Interpolation for a Theory of Arrays
2011-01-01 R., Bruttomesso; S., Ghilardi; Ranise, Silvio
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC
2010-01-01 A., Calvi; Ranise, Silvio; L., Vigano
A Combination of Rewriting and Constraint Solving for the Quantifier-free Interpolation of Arrays with Integer Difference Constraints
2011-01-01 R., Bruttomesso; S., Ghilardi; Ranise, Silvio
Are Heroes common in FLOSS projects?
2010-01-01 Ricca, Filippo; Marchetto, Alessandro
On the difficulty of computing the Truck Factor
2011-01-01 Filippo, Ricca; Marchetto, Alessandro; Marco, Torchiano
Characterization of a CMOS SPAD sensor designed for fluorescence lifetime spectroscopy
2011-01-01 Benetti, Michele; Repich, Marina; Dalla Betta, Gian Franco; Pancheri, Lucio; Stoppa, David
Integrating consumer-oriented vocabularies with selected professional ones from the UMLS using Semantic Web Technologies
2010-01-01 Cardillo, Elena; G., Hernandez; O., Bodenreider
Low-noise single Photon Avalanche Diodes in 0.15 μm CMOS technology
2011-01-01 Pancheri, Lucio; Stoppa, David
Reverse engineering and 3D modeling for digital documentation of maritime heritage
2011-01-01 Menna, Fabio; Nocerino, E.; Scamardella,
Development and optical characterization of vertical tapers in SiON waveguides using gray-scale lithography
2011-01-01 B., Han; E., Rigo; R., Guider; S., Larcheri; M. R., Vanacharla; L., Pavesi; G., Nunzi Conti; G. C., Righini; A., Chiasera; M., Ferrari; Pucker, Georg; Ghulinyan, Mher
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