Reasoning About Data Trees Using CHCs
2022-01-01 Faella, M.; Parlato, G.
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
2022-01-01 Fischer, B.; La Torre, S.; Parlato, G.; Schrammel, P.
Verifying Programs by Bounded Tree-Width Behavior Graphs
2023-01-01 Inverso, O.; La Torre, S.; Parlato, G.; Tomasco, E.
A Unified Automata-Theoretic Approach to LTLf Modulo Theories
2024-01-01 Faella, Marco; Parlato, Gennaro
Static Data Race Detection via Lazy Sequentialization
2024-01-01 Fischer, B.; Garbi, G.; La Torre, S.; Parlato, G.; Schrammel, P.
NUMERICAL ANALYSIS OF A SOLAR-ASSISTED DUAL-SOURCE HEAT PUMP COUPLED WITH A THERMAL STORAGE FOR RESIDENTIAL HEATING
2022-01-01 Mauro ALFONSO, William; Napoli, Giovanni; Pelella, Francesco; Viscito, Luca
Experimental development of alternative mixtures to isobutane. Energy optimization
2023-01-01 Calleja Anta, D; Napoli, Giovanni; Andres, L N; Garcia, D S; Cabello Lopez, R; Viscito, Luca; Mauro Alfonso, William; Llopis Domenech, R
Thermo-economic design and optimization of a waste heat driven system for medium temperature refrigeration
2023-01-01 Mastrullo, Rita; Mauro Alfonso, William; Napoli, Giovanni; Viscito, Luca
Solar driven ejector cooling system employing natural refrigerants: thermo-economic analysis and optimization strategy
2022-01-01 Mastrullo, Rita; Mauro, ALFONSO WILLIAM; Napoli, Giovanni; Trinchieri, Raniero; Viscito, Luca
Radiation-induced effects on UV-written LPGs inscribed in B-Ge doped optical fiber for experiments running at CERN
2020-01-01 Berruti, G. M.; Vaiano, P.; Quero, G.; Boniello, A.; Petagna, P.; Consales, M.; Cusano, A.
Breath figures onto optical fibers for miniaturized sensing probes
2014-01-01 Pisco, M.; Quero, G.; Iadicicco, A.; Giordano, M.; Galeotti, F.; Cusano, A.
Lab-on-fiber SERS optrodes for biological target detection
2021-01-01 Manago, S.; Quero, G.; Zito, G.; Tullii, G.; Galeotti, F.; Pisco, M.; Cusano, A.; De Luca, A. C.
Turn-Around-Point Long Period Gratings As Core-To- Cladding coupling mechanism For Highly Efficient Thermal Heating Devices
2022-01-01 Berruti, G. M.; Vaiano, P.; Quero, G.; Principe, S.; Boniello, A.; Persiano, G. V.; Consales, M.; Cusano, A.
Optical fiber Meta-tips as valuable platforms for enhanced biological sensing
2022-01-01 Vaiano, P.; Quero, G.; Spaziani, S.; Micco, A.; Principe, M.; Consales, M.; Cusano, A.
High Sensitivity Lab-on-Fiber Biosensing Platform Assisted by Oriented Antibody Immobilization Strategy
2023-01-01 Ucci, S.; Spaziani, S.; Quero, G.; Vaiano, P.; Principe, M.; Micco, A.; Sandomenico, A.; Ruvo, M.; Consales, M.; Cusano, A.
SERS biosensor for ultrasensitive detection of human Thyroglobulin
2024-01-01 Spaziani, S.; Quero, G.; Manago, S.; Zito, G.; Terracciano, D.; Macchia, P. E.; Galeotti, F.; Pisco, M.; De Luca, A. C.; Cusano, A.
Lab-on-fiber Optrodes based on All-Dielectric Fluorescence Enhancing Metasurfaces
2023-01-01 Alhalaby, H.; Principe, M.; Zaraket, H.; Vaiano, P.; Aliberti, A.; Quero, G.; Crescitelli, A.; Di Meo, V.; Esposito, E.; Consales, M.; Cusano, A.
Lab-on-fiber SERS optrodes for biomedical applications
2021-01-01 Manago, S.; Quero, G.; Zito, G.; Tullii, G.; Galeotti, F.; Pisco, M.; Cusano, A.; De Luca, A. C.
Engineered lab on fiber sers probes by self-assembly on fiber technique
2018-01-01 Quero, G.; Zito, G.; Manago, S.; Galeotti, F.; Pisco, M.; Cutolo, A.; De Luca, A. C.; Cusano, A.
FOS-based thermo-hygrometers in the ATLAS Inner Detector
2022-01-01 Scherino, L.; Schioppa, E. J.; Arapova, A.; Berruti, G. M.; Bock, W. J.; Borriello, A.; Campopiano, S.; Consales, M.; Cusanob, A.; Esposito, F.; Iadicicco, A.; Mikulic, P.; Neves, T.; Petagna, P.; Quero, G.; Srivastava, A.; Vaiano, P.; Zarrelli, M.; Zotti, A.; Zuppolini, S.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Reasoning About Data Trees Using CHCs | 1-gen-2022 | Faella, M.; Parlato, G. | |
| CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory | 1-gen-2022 | Fischer, B.; La Torre, S.; Parlato, G.; Schrammel, P. | |
| Verifying Programs by Bounded Tree-Width Behavior Graphs | 1-gen-2023 | Inverso, O.; La Torre, S.; Parlato, G.; Tomasco, E. | |
| A Unified Automata-Theoretic Approach to LTLf Modulo Theories | 1-gen-2024 | Faella, Marco; Parlato, Gennaro | |
| Static Data Race Detection via Lazy Sequentialization | 1-gen-2024 | Fischer, B.; Garbi, G.; La Torre, S.; Parlato, G.; Schrammel, P. | |
| NUMERICAL ANALYSIS OF A SOLAR-ASSISTED DUAL-SOURCE HEAT PUMP COUPLED WITH A THERMAL STORAGE FOR RESIDENTIAL HEATING | 1-gen-2022 | Mauro ALFONSO, William; Napoli, Giovanni; Pelella, Francesco; Viscito, Luca | |
| Experimental development of alternative mixtures to isobutane. Energy optimization | 1-gen-2023 | Calleja Anta, D; Napoli, Giovanni; Andres, L N; Garcia, D S; Cabello Lopez, R; Viscito, Luca; Mauro Alfonso, William; Llopis Domenech, R | |
| Thermo-economic design and optimization of a waste heat driven system for medium temperature refrigeration | 1-gen-2023 | Mastrullo, Rita; Mauro Alfonso, William; Napoli, Giovanni; Viscito, Luca | |
| Solar driven ejector cooling system employing natural refrigerants: thermo-economic analysis and optimization strategy | 1-gen-2022 | Mastrullo, Rita; Mauro, ALFONSO WILLIAM; Napoli, Giovanni; Trinchieri, Raniero; Viscito, Luca | |
| Radiation-induced effects on UV-written LPGs inscribed in B-Ge doped optical fiber for experiments running at CERN | 1-gen-2020 | Berruti, G. M.; Vaiano, P.; Quero, G.; Boniello, A.; Petagna, P.; Consales, M.; Cusano, A. | |
| Breath figures onto optical fibers for miniaturized sensing probes | 1-gen-2014 | Pisco, M.; Quero, G.; Iadicicco, A.; Giordano, M.; Galeotti, F.; Cusano, A. | |
| Lab-on-fiber SERS optrodes for biological target detection | 1-gen-2021 | Manago, S.; Quero, G.; Zito, G.; Tullii, G.; Galeotti, F.; Pisco, M.; Cusano, A.; De Luca, A. C. | |
| Turn-Around-Point Long Period Gratings As Core-To- Cladding coupling mechanism For Highly Efficient Thermal Heating Devices | 1-gen-2022 | Berruti, G. M.; Vaiano, P.; Quero, G.; Principe, S.; Boniello, A.; Persiano, G. V.; Consales, M.; Cusano, A. | |
| Optical fiber Meta-tips as valuable platforms for enhanced biological sensing | 1-gen-2022 | Vaiano, P.; Quero, G.; Spaziani, S.; Micco, A.; Principe, M.; Consales, M.; Cusano, A. | |
| High Sensitivity Lab-on-Fiber Biosensing Platform Assisted by Oriented Antibody Immobilization Strategy | 1-gen-2023 | Ucci, S.; Spaziani, S.; Quero, G.; Vaiano, P.; Principe, M.; Micco, A.; Sandomenico, A.; Ruvo, M.; Consales, M.; Cusano, A. | |
| SERS biosensor for ultrasensitive detection of human Thyroglobulin | 1-gen-2024 | Spaziani, S.; Quero, G.; Manago, S.; Zito, G.; Terracciano, D.; Macchia, P. E.; Galeotti, F.; Pisco, M.; De Luca, A. C.; Cusano, A. | |
| Lab-on-fiber Optrodes based on All-Dielectric Fluorescence Enhancing Metasurfaces | 1-gen-2023 | Alhalaby, H.; Principe, M.; Zaraket, H.; Vaiano, P.; Aliberti, A.; Quero, G.; Crescitelli, A.; Di Meo, V.; Esposito, E.; Consales, M.; Cusano, A. | |
| Lab-on-fiber SERS optrodes for biomedical applications | 1-gen-2021 | Manago, S.; Quero, G.; Zito, G.; Tullii, G.; Galeotti, F.; Pisco, M.; Cusano, A.; De Luca, A. C. | |
| Engineered lab on fiber sers probes by self-assembly on fiber technique | 1-gen-2018 | Quero, G.; Zito, G.; Manago, S.; Galeotti, F.; Pisco, M.; Cutolo, A.; De Luca, A. C.; Cusano, A. | |
| FOS-based thermo-hygrometers in the ATLAS Inner Detector | 1-gen-2022 | Scherino, L.; Schioppa, E. J.; Arapova, A.; Berruti, G. M.; Bock, W. J.; Borriello, A.; Campopiano, S.; Consales, M.; Cusanob, A.; Esposito, F.; Iadicicco, A.; Mikulic, P.; Neves, T.; Petagna, P.; Quero, G.; Srivastava, A.; Vaiano, P.; Zarrelli, M.; Zotti, A.; Zuppolini, S. |
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 (Proceeding)4678
Data di pubblicazione
- In corso di stampa20
- 2020 - 2025529
- 2010 - 20191495
- 2000 - 20091921
- 1990 - 1999613
- 1980 - 198998
- 1978 - 19791
Editore
- Institute of Electrical and Electronics Engineers Inc.106
- IEEE66
- Springer Science and Business Media Deutschland GmbH29
- Springer28
- Edizioni Scientifiche Italiane26
- IEEE Computer Society25
- SciTePress23
- Giuffrè21
- R. Cudabba, E. Marconi18
- Chiriotti Editori17
Rivista
- ISTISAN CONGRESSI15
- PROCEDIA COMPUTER SCIENCE14
- ATTI CONFERENZA NAZIONALE ASITA13
- JOURNAL OF PHYSICS. CONFERENCE SERIES9
- GIORNALE BOTANICO ITALIANO7
- PANORAMA DELLA SANITÀ7
- ACTA HORTICULTURAE6
- ITALIAN JOURNAL OF ANIMAL SCIENCE6
- THE FEBS JOURNAL5
- ACM INTERNATIONAL CONFERENCE PROCEEDINGS SERIES4
Serie
- LECTURE NOTES IN COMPUTER SCIENCE40
- LECTURE NOTES IN CIVIL ENGINEERING20
- PROCEEDINGS OF SPIE, THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING14
- COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE7
- CONFERENCE PROCEEDINGS - IEEE INSTRUMENTATION/MEASUREMENT TECHNOLOGY CONFERENCE7
- PROCEEDINGS - INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING7
- CEUR WORKSHOP PROCEEDINGS6
- PROCEEDINGS OF ... INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS5
- ADVANCES IN INTELLIGENT SYSTEMS AND COMPUTING4
- IEEE INTERNATIONAL FUZZY SYSTEMS CONFERENCE PROCEEDINGS4
Keyword
- Android34
- Security25
- suicide21
- Software20
- Malware17
- Machine Learning16
- suicidio16
- deep learning13
- machine learning13
- Machine learning12
Lingua
- eng2210
- ita1817
- fre33
- ger16
- und15
- spa14
- por3
- grc2
- lat2
- cze1
Accesso al fulltext
- no fulltext4674
- open2
- reserved2
Appartenenza
- DIPARTIMENTO AGRICOLTURA, AMBIENTE E ALIMENTI1181
- DIPARTIMENTO DI BIOSCIENZE E TERRITORIO1773
- DIPARTIMENTO DI ECONOMIA276
- DIPARTIMENTO DI MEDICINA E DI SCIENZE DELLA SALUTE908
- DIPARTIMENTO DI SCIENZE UMANISTICHE, SOCIALI E DELLA FORMAZIONE518
- DIPARTIMENTO GIURIDICO133