Low-noise single Photon Avalanche Diodes in 0.15 μm CMOS technology
2011-01-01 Pancheri, Lucio; Stoppa, David
Towards a hybrid CMOS-imager with organic semiconductors as photoactive layer
2011-01-01 D., Baierl; M., Schmidt; G., Scarpa; P., Lugli; Pancheri, Lucio; Stoppa, David; G. F., Dalla Betta
CMOS single-photon detector for advanced fluorescence sensing applications
2011-01-01 Benetti, Michele; Repich, Marina; G. F., Dalla Betta; Pancheri, Lucio; Collini, Cristian; Morganti, Elisa; Lorenzelli, Leandro; Lunelli, Lorenzo; Pasquardini, Laura; Pederzolli, Cecilia; Stoppa, David
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
Evolving Requirements in Socio-Technical Systems: Concepts and Practice
2011-01-01 Perini, Anna; Qureshi, Nauman Ahmed; Sabatucci, Luca; Siena, Alberto; Susi, Angelo
Reasoning about adaptive requirements for self-adaptive systems at runtime
2011-01-01 Qureshi, Nauman Ahmed; Sotirios, Liaskos; Perini, Anna
A mini-SiPM array for PET detectors implemented in a 0.35-um HV CMOS technology
2011-01-01 Huf Campos Braga, Leo; Pancheri, Lucio; Gasparini, Leonardo; R. K., Henderson; Stoppa, David
Continuously Tunable W-Band Phase Shifter based on Liquid Crystals and MEMS Technology
2011-01-01 C., Fritzsch; Giacomozzi, Flavio; O. H., Karabey; F., Goelden; A., Moessinger; S., Bildik; Colpo, Sabrina; R., Jakoby
Deploy, Adjust and Readjust: Supporting Dynamic Reconfiguration of Policy Enforcement
2011-01-01 G., Gheorghe; B., Crispo; Carbone, Roberto; L., Desmet; W., Joosen
Ahab's leg dilemma: on the design of a controlled experiment
2011-01-01 Sabatucci, Luca; Ceccato, Mariano; Marchetto, Alessandro; Susi, Angelo
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC
2010-01-01 A., Calvi; Ranise, Silvio; L., Vigano
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications
2010-01-01 M., Barletta; A., Calvi; Ranise, Silvio; L., Vigano; L., Zanetti
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
Automated Termination in Model Checking Modulo Theories
2011-01-01 A., Carioni; S., Ghilardi; Ranise, Silvio
Automated Analysis of Semantic-Aware Access Control Policies: a Logic-based Approach
2011-01-01 Armando, Alessandro; Carbone, Roberto; Ranise, Silvio
Rewriting-based Quantifier-free Interpolation for a Theory of Arrays
2011-01-01 R., Bruttomesso; S., Ghilardi; Ranise, Silvio
Automated Analysis of Infinite State Workflows with Access Control Policies
2011-01-01 Armando, Alessandro; Ranise, Silvio
ASASP: Automated Symbolic Analysis of Security Policies
2011-01-01 F., Alberti; Armando, Alessandro; Ranise, Silvio
Effect of Nanodiamond Particles Incorporation in Hydroxyapatite Coatings
2009-01-01 Emilia, Pecheva; Lilyana, Pramatarova; Attila, Toth; Todor, Hikov; Dimitrinka, Fingarova; Stavri, Stavrev; Iacob, Erica; Vanzetti, Lia Emanuela
Towards the Extraction of Domain Concepts from the Identifiers
2011-01-01 Abebe, Surafel Lemma; Tonella, Paolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Low-noise single Photon Avalanche Diodes in 0.15 μm CMOS technology | 1-gen-2011 | Pancheri, Lucio; Stoppa, David | |
| Towards a hybrid CMOS-imager with organic semiconductors as photoactive layer | 1-gen-2011 | D., Baierl; M., Schmidt; G., Scarpa; P., Lugli; Pancheri, Lucio; Stoppa, David; G. F., Dalla Betta | |
| CMOS single-photon detector for advanced fluorescence sensing applications | 1-gen-2011 | Benetti, Michele; Repich, Marina; G. F., Dalla Betta; Pancheri, Lucio; Collini, Cristian; Morganti, Elisa; Lorenzelli, Leandro; Lunelli, Lorenzo; Pasquardini, Laura; Pederzolli, Cecilia; Stoppa, David | |
| Characterization of a CMOS SPAD sensor designed for fluorescence lifetime spectroscopy | 1-gen-2011 | Benetti, Michele; Repich, Marina; Dalla Betta, Gian Franco; Pancheri, Lucio; Stoppa, David | |
| Evolving Requirements in Socio-Technical Systems: Concepts and Practice | 1-gen-2011 | Perini, Anna; Qureshi, Nauman Ahmed; Sabatucci, Luca; Siena, Alberto; Susi, Angelo | |
| Reasoning about adaptive requirements for self-adaptive systems at runtime | 1-gen-2011 | Qureshi, Nauman Ahmed; Sotirios, Liaskos; Perini, Anna | |
| A mini-SiPM array for PET detectors implemented in a 0.35-um HV CMOS technology | 1-gen-2011 | Huf Campos Braga, Leo; Pancheri, Lucio; Gasparini, Leonardo; R. K., Henderson; Stoppa, David | |
| Continuously Tunable W-Band Phase Shifter based on Liquid Crystals and MEMS Technology | 1-gen-2011 | C., Fritzsch; Giacomozzi, Flavio; O. H., Karabey; F., Goelden; A., Moessinger; S., Bildik; Colpo, Sabrina; R., Jakoby | |
| Deploy, Adjust and Readjust: Supporting Dynamic Reconfiguration of Policy Enforcement | 1-gen-2011 | G., Gheorghe; B., Crispo; Carbone, Roberto; L., Desmet; W., Joosen | |
| Ahab's leg dilemma: on the design of a controlled experiment | 1-gen-2011 | Sabatucci, Luca; Ceccato, Mariano; Marchetto, Alessandro; Susi, Angelo | |
| Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC | 1-gen-2010 | A., Calvi; Ranise, Silvio; L., Vigano | |
| WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications | 1-gen-2010 | M., Barletta; A., Calvi; Ranise, Silvio; L., Vigano; L., Zanetti | |
| A Combination of Rewriting and Constraint Solving for the Quantifier-free Interpolation of Arrays with Integer Difference Constraints | 1-gen-2011 | R., Bruttomesso; S., Ghilardi; Ranise, Silvio | |
| Automated Termination in Model Checking Modulo Theories | 1-gen-2011 | A., Carioni; S., Ghilardi; Ranise, Silvio | |
| Automated Analysis of Semantic-Aware Access Control Policies: a Logic-based Approach | 1-gen-2011 | Armando, Alessandro; Carbone, Roberto; Ranise, Silvio | |
| Rewriting-based Quantifier-free Interpolation for a Theory of Arrays | 1-gen-2011 | R., Bruttomesso; S., Ghilardi; Ranise, Silvio | |
| Automated Analysis of Infinite State Workflows with Access Control Policies | 1-gen-2011 | Armando, Alessandro; Ranise, Silvio | |
| ASASP: Automated Symbolic Analysis of Security Policies | 1-gen-2011 | F., Alberti; Armando, Alessandro; Ranise, Silvio | |
| Effect of Nanodiamond Particles Incorporation in Hydroxyapatite Coatings | 1-gen-2009 | Emilia, Pecheva; Lilyana, Pramatarova; Attila, Toth; Todor, Hikov; Dimitrinka, Fingarova; Stavri, Stavrev; Iacob, Erica; Vanzetti, Lia Emanuela | |
| Towards the Extraction of Domain Concepts from the Identifiers | 1-gen-2011 | Abebe, Surafel Lemma; Tonella, Paolo |
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
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