IRIS Institutional Research Information System

4.1 Contributo in Atti di convegno: [7939] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.961 a 5.980 di 7.939
Titolo Data di pubblicazione Autore(i) File
Indefinito - -
Software Model Checking via Large-Block Encoding 1-gen-2009 Dirk, Beyer; Cimatti, Alessandro; Griggio, Alberto; Erkan, Keremoglu; Sebastiani, Roberto
Structure-Aware Computation of Predicate Abstraction 1-gen-2009 Cimatti, Alessandro; Jori Juhani, Dubrovin; Tommi Antero, Junttila; Roveri, Marco
Current Assisted Photonic Mixing Demodulator implemented in 0.18µm Standard CMOS Technology 1-gen-2009 Hossain, Quazi Delwar; Dalla Betta, Gian Franco; Pancheri, Lucio; Stoppa, David
Simulation modelling for the analysis and the optimal design of SPAD detectors for time-resolved fluorescence measurements 1-gen-2009 Repich, Marina; Stoppa, David; Pancheri, Lucio; Dalla Betta, Gian Franco
A 10-bit Low-Power ADC for CMOS Image Sensors 1-gen-2009 Sgrott, Oreste; Borghetti, Fausto; Stoppa, David; Dalla Betta, Gian Franco
A 32x32 50ps Resolution 10 bit Time to Digital Converter Array in 130nm CMOS for Time Correlated Imaging 1-gen-2009 Justin, Richardson; Richard, Walker; Lindsay, Grant; Stoppa, David; Borghetti, Fausto; Edoardo, Charbon; Marek, Gersbach; Robert, Henderson
SPAD-based Time-gated Active pixel for 3D Imaging Applications 1-gen-2009 Pancheri, Lucio; Stoppa, David; Simoni, Andrea
Clustering Test Cases to Achieve Effective and Scalable Prioritisation Incorporating Expert Knowledge 1-gen-2009 Shin, Yoo; Mark, Harman; Tonella, Paolo; Susi, Angelo
A `Quick and Dirty` Meet-in-the-middle Approach for migrating to SOA 1-gen-2009 Ricca, Filippo; Marchetto, Alessandro
Study of Detonation Nano Diamonds/Hydroxyapatite Composite Layers 1-gen-2008 T., Hikov; L., Pramatarova; E., Pecheva; Iacob, Erica; Vanzetti, Lia Emanuela; N., Krasteva; R., Dimitrova; E., Radeva; T., Spassov; D., Fingarova
Intelligibility Assessment in Children with Cleft Lip and Palate in Italian and German 1-gen-2009 Scipioni, Marcello Paolo; Gerosa, Matteo; Giuliani, Diego; Elmar, Nöth; Andreas, Maier
Electronic confinement of silver nanoclusters in Er3+-activated silicate and phosphate glasses 1-gen-2009 Minati, Luca; Speranza, Giorgio; A., Chiappini; Chiasera, Alessandro; Ferrari, Maurizio; S., Berneschi; S., Pelli; G. C., Righini
MoKi: the Modelling wiKi 1-gen-2009 Rospocher, Marco; Ghidini, Chiara; Viktoria, Pammer; Serafini, Luciano; Stefanie, Lindstaedt
Mönche und Ordensbruder “an der Etsch und im Gebirge 1-gen-2006 Curzel, Emanuele
A Measurement Procedure of Technology-related Model Parameters for Enhanced RF-MEMS Design 1-gen-2009 Iannacci, Jacopo; Repchankova, Alena; D., Macii; M., Niessner
Impact of Continuous Actuation on the Reliability of Dielectric-less Ohmic RF-MEMS Switches 1-gen-2009 A., Tazzoli; E., Autizi; M., Barbato; Solazzi, Francesco; Iannacci, Jacopo; P., Farinelli; Giacomozzi, Flavio; Margesin, Benno; R., Sorrentino; G., Meneghesso
Contact Modeling of RF MEMS Switches Based On FEM Simulations 1-gen-2009 Solazzi, Francesco; Repchankova, Alena; P., Farinelli; Iannacci, Jacopo; Faes, Alessandro; Margesin, Benno
Inter-Program Properties 1-gen-2009 Andrei, Voronkov; Narasamdya, Iman
Abstract Model Checking without Computing the Abstraction 1-gen-2009 Tonetta, Stefano
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 5.961 a 5.980 di 7.939
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 in Atti di Convegno ...7938
Autore
  • Cimatti, Alessandro260
  • Remondino, Fabio256
  • Margesin, Benno203
  • Negri, Matteo203
  • Serafini, Luciano202
  • Lorenzelli, Leandro191
  • Magnini, Bernardo180
  • Federico, Marcello172
  • Tonella, Paolo172
  • Strapparava, Carlo169
Data di pubblicazione
  • In corso di stampa2
  • 2020 - 20261562
  • 2010 - 20193439
  • 2000 - 20092320
  • 1990 - 1999567
  • 1980 - 198948
Editore
  • IEEE620
  • Springer357
  • ACM148
  • Association for Computational Lin...91
  • CEUR-WS.org72
  • IEEE Computer Society61
  • SPIE60
  • ACL38
  • AAAI Press37
  • ieee31
Rivista
  • INTERNATIONAL ARCHIVES OF THE PHO...98
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • POS PROCEEDINGS OF SCIENCE22
  • JOURNAL OF PHYSICS. CONFERENCE SE...21
  • PROCEEDINGS OF SPIE, THE INTERNAT...17
  • PROCEEDINGS14
  • CEUR WORKSHOP PROCEEDINGS13
  • THE INTERNATIONAL ARCHIVES OF THE...12
  • EPJ WEB OF CONFERENCES10
  • LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE229
  • LECTURE NOTES IN ARTIFICIAL INTEL...48
  • CEUR WORKSHOP PROCEEDINGS38
  • PROCEEDINGS OF SPIE, THE INTERNAT...25
  • LECTURE NOTES IN COMPUTER SCIENCE23
  • LECTURE NOTES IN ELECTRICAL ENGIN...20
  • LECTURE NOTES IN ELECTRICAL ENGIN...17
  • LECTURE NOTES IN BUSINESS INFORMA...16
  • IEEE ENGINEERING IN MEDICINE AND ...11
  • ISPRS ANNALS OF THE PHOTOGRAMMETR...10
Keyword
  • NLP41
  • automatic speech recognition38
  • Content Processing33
  • MEMS31
  • RF-MEMS31
  • silicon radiation detectors28
  • SiPM26
  • RF MEMS25
  • machine translation23
  • Machine Translation22
Lingua
  • eng6441
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6824
  • open482
  • restricted464
  • reserved165
  • partially open2
  • mixed1