IRIS Institutional Research Information System

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.561 a 3.580 di 7.938
Titolo Data di pubblicazione Autore(i) File
Monitoring data-aware business constraints with finite state automataProceedings of the 2014 International Conference on Software and System Process - ICSSP 2014 1-gen-2014 De Masellis, Riccardo; Fabrizio M., Maggi; Marco, Montali
Runtime Enforcement of First-Order LTL Properties on Data-Aware Business ProcessesService-Oriented Computing 1-gen-2013 De Masellis, Riccardo; Jianwen, Su
Foundations of Relational Artifacts VerificationBusiness Process Management 1-gen-2011 Babak Bagheri, Hariri; Diego, Calvanese; Giuseppe De, Giacomo; De Masellis, Riccardo; Paolo, Felli
Verification of Artifact-Centric Systems: Decidability and Modeling IssuesService-Oriented Computing 1-gen-2013 Dmitry, Solomakhin; Marco, Montali; Sergio, Tessaris; De Masellis, Riccardo
Verification of Description Logic Knowledge and Action Bases 1-gen-2012 Bagheri Hariri, B.; Calvanese, D.; De Giacomo, G.; De Masellis, Riccardo; Felli, P.; Montali, M.
Business artifacts with guard-stage-milestone lifecyclesProceedings of the 5th ACM international conference on Distributed event-based system - DEBS '11 1-gen-2011 Richard, Hull; Anil, Nigam; Piwadee Noi, Sukaviriya; Roman, Vaculin; Elio, Damaggio; De Masellis, Riccardo; Fabiana, Fournier; Manmohan, Gupta; Fenno Terry, Heath; Stacy, Hobson; Mark, Linehan; Sridhar, Maradugu
A 160x120-pixel analog-counting single-photon imager with Sub-ns time-gating and self-referenced column-parallel A/D conversion for fluorescence lifetime imaging2015 IEEE International Solid-State Circuits Conference - (ISSCC) Digest of Technical Papers 1-gen-2015 Perenzoni, Matteo; Massari, Nicola; Perenzoni, Daniele; Gasparini, Leonardo; Stoppa, David
Tailoring design and fabrication of capacitive RF MEMS switches for K-band applications 1-gen-2015 F., Quaranta; A., Persano; G., Capoccia; A., Taurino; A., Cola; P., Siciliano; A., Lucibello; R., Marcelli; E., Proietti; Bagolini, Alvise; Margesin, Benno; Bellutti, Pierluigi; Iannacci, Jacopo
Optimization Method for Designing Multimodal Piezoelectric MEMS Energy Harvesters 1-gen-2015 Sordo, Guido; Serra, Enrico; U., Schmid; Iannacci, Jacopo
From MEMS to Macro-World: A Micro-Milling Machined Wideband Vibration Piezoelectric Energy Harvester 1-gen-2015 Iannacci, Jacopo; Sordo, Guido
Experimental Verification of a Novel MEMS Multi-Modal Vibration Energy Harvester for Ultra-Low Power Remote Sensing Nodes 1-gen-2015 Iannacci, Jacopo; Sordo, Guido; Serra, Enrico; M., Kucera; U., Schmid
MEMS packaging by using dry film resist2015 XVIII AISEM Annual Conference 1-gen-2015 Giacomozzi, Flavio; Mulloni, Viviana; Resta, Giuseppe; Margesin, Benno
Geo-referenced Proximity Detection of Wildlife with WildScope: Design and Characterization 1-gen-2015 Picco, Gian Pietro; Davide, Molteni; Murphy, Amy Lynn; Federico, Ossi; Francesca, Cagnacci; Michele, Corra; Sandro, Nicoloso
Tuning of the Optical Properties of In-rich InxGa1-xN (x=0.82-0.49) Alloys by Light-ion Irradiation at Low Energy. 1-gen-2013 M., De Luca; G., Pettinari; A., Polimeni; M., Capizzi; G., Ciatto; L., Amidani; E., Fonda; F., Boscherini; F., Filippone; Aa, Bonapasta; A., Knubel; V., Cimalla; O., Ambacher; Giubertoni, Damiano; Bersani, Massimo
Micromachined Silicon Radiation Sensors – Part 2: Fabrication Technologies 1-gen-2015 Bagolini, Alvise; Boscardin, Maurizio; Conci, Paolo; Crivellari, Michele; Giacomini, Gabriele; Mattedi, Francesca; Piemonte, Claudio; Ronchin, Sabina; Zorzi, Nicola; Benkechkache, M. A.; Dalla Betta, Gian Franco; Mendicino, R.; Pancheri, Lucio; Povoli, Marco; Sultan, D. M. S.
Micromachined Silicon Radiation Sensors – Part 1: Design And Experimental Characterization 1-gen-2015 Bagolini, Alvise; Boscardin, Maurizio; Conci, Paolo; Crivellari, Michele; Giacomini, Gabriele; Mattedi, Francesca; Piemonte, Claudio; Ronchin, Sabina; Zorzi, Nicola; Benkechkache, M. A.; Dalla Betta, Gian Franco; Mendicino, R.; Pancheri, Lucio; Povoli, Marco; Sultan, D. M. S.
Using Multi-Locators to Increase the Robustness of Web Test Cases 1-gen-2015 Maurizio, Leotta; Andrea, Stocco; Filippo, Ricca; Tonella, Paolo
Automated Generation of Visual Web Tests from DOM-based Web Tests 1-gen-2015 Maurizio, Leotta; Andrea, Stocco; Filippo, Ricca; Tonella, Paolo
Reformulating Branch Coverage as a Many-Objective Optimization Problem 1-gen-2015 Annibale, Panichella; Kifetew, Fitsum Meshesha; Tonella, Paolo
Monolithic focal plane arrays for terahertz active spectroscopic imaging: an experimental study 1-gen-2011 Manijeh, Razeghi; Michele, Ortolani; Roberto, Casini; Fabio, Chiarello; Sara, Cibella; Alessandra Di, Gaspare; Florestano, Evangelisti; Vittorio, Foglietti; Ennio, Giovine; Roberto, Leoni; Guido, Torrioli; Tredicucci, Alessandro; Miriam S., Vitiello; Gaetano, Scamarcio; Rengarajan, Sudharsanan; Gail J., Brown
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 3.561 a 3.580 di 7.938
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 ...7937
Autore
  • Cimatti, Alessandro261
  • 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 - 20261561
  • 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 SCIENCE230
  • 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 fulltext6823
  • open482
  • restricted464
  • reserved165
  • partially open2
  • mixed1