Coercion-resistant i-voting with short PIN and OAuth 2.0
2024-01-01 Bitussi, Matteo; Longo, Riccardo; Antonio Marino, Francesco; Morelli, Umberto; Sharif, Amir; Spadafora, Chiara; Tomasi, Alessandro
Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability
2024-01-01 Cimatti, Alessandro; Moller Grosen, Thomas; Larsen, Kim G.; Tonetta, Stefano; Zimmermann, Martin
RF-MEMS as a Key Enabling Technology in the Road to 6G, Future Networks and Tactile Internet
2025-01-01 Iannacci, J.; Tagliapietra, G.
LDASR: An Experimental Study on Layer Drop Using Conformer-Based Architecture
2024-01-01 Hannan, Abdul; Brutti, Alessio; Falavigna, Daniele
Mind the error! detection and localization of instruction errors in vision-and-language navigation
2024-01-01 Taioli, Francesco; Rosa, Stefano; Castellini, Alberto; Natale, Lorenzo; Del Bue, Alessio; Farinelli, Alessandro; Cristani, Marco; Wang, Yiming
AI-assisted Design of UAV Docking Station Network for Dual Use Purposes
2024-01-01 Avi, Arrigo; Quaranta, Giuseppe; Valentini, Alessandro
Parameter-Efficient Transfer Learning of Audio Spectrogram Transformers
2024-01-01 Cappellazzo, Umberto; Falavigna, Daniele; Brutti, Alessio; Ravanelli, Mirco
Model-Based Testing of Railway Interlocking Systems
2024-01-01 Cimatti, Alessandro; Khandaker, Shaker; Kifetew, Fitsum; Leone, Lorenzo; Prandi, Davide; Scaglione, Giuseppe; Susi, Angelo; Turboli, Orazio
Stability Verification of an Industrial Switched PI Control Systems
2024-01-01 Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios
Formal Verification of Stability for Parametric affine Switched Systems
2024-01-01 Battista, Ludovico; Tonetta, Stefano
A Switching Event-Triggered Model Predictive Control for HVAC Systems
2024-01-01 Sharifzadeh, Mojtaba; Beirami, Hani; Bonafini, Federico; Campidelli, Matteo; Cavada, Roberto; Cimatti, Alessandro; Tonetta, Stefano
Demo: Cloud-native Cyber Deception with Decepto
2024-01-01 Santoro, Daniele; Zambianco, Marco; Facchinetti, Claudio; Siracusa, Domenico
On the Key-Role of EM Skins in Building a Smart Electromagnetic Environment
2022-01-01 Massa, A.; Lorenzelli, L.; Oliveri, G.; Rocca, P.; Salucci, M.
Towards the Formal Analysis of Algorithmic Requirements
2024-01-01 Cappelletti, Lorenzo; Cavada, Roberto; Cimatti, Alessandro; Keppel, Marco
Towards Verification Modulo Theories of asynchronous systems via abstraction refinement
2024-01-01 Redondi, Gianluca; Cimatti, Alessandro; Griggio, Alberto
The Large Area Detector for the eXTP mission
2024-01-01 Feroci, Marco; Ambrosi, Giovanni; Antonelli, Matias; Argan, Andrea; Babinec, Viktor; Barbera, Marco; Bastia, Paolo; Bayer, Joerg; Bellutti, Pierluigi; Bertucci, Bruna; Bertuccio, Giuseppe; Bonfitto, Federica; Bonvicini, Valter; Bozzo, Enrico; Baudin, David; Bouyjou, Florent; Brienza, Daniele; Cadoux, Franck; Campana, Riccardo; Candia, Roberto; Cao, Jiewei; Cavazzuti, Elisabetta; Ceraudo, Francesco; Chen, Tianxiang; Chen, Wen; Coimbra, Artur; Colucci, Angelo; Cong, Xiaoqing; Cirrincione, Daniela; De Angelis, Nicolas; De Rosa, Alessandra; Della Casa, Giovanni; Del Monte, Ettore; Di Cicca, Gaspare; Di Cosimo, Sergio; Dilillo, Giuseppe; Dohnal, Roman; Donnarumma, Immacolata; Evangelista, Yuri; Fan, Peng; Fan, Qingmei; Favre, Yannick; Fiandrini, Emanuele; Ficorella, Francesco; Gao, Na; Gevin, Olivier; Grassi, Marco; Guedel, Manuel; Guzman Cabrera, Alejandro; Han, Dong; He, Huilin; Hedderman, Paul; den Herder, Jan-Willem; Hynek, Richard; Reynaard Kole, Merlin; Karas, Vladimir; Komarek, Martin; Labanti, Claudio; La Marra, Daniel; Lesci, Giuseppe; Li, Gang; Li, Loghui; Li, Tiangtong; Limousin, Olivier; Liu, Hongwei; Liu, Rui; Liu, Yichen; Liu, Xiaojing; Lo Cicero, Ugo; Loehring, Jens; Lombardi, Giovanni; Lu, Fang-Jun; Luo, Tao; Malcovati, Piero; Marinucci, Andrea; Mele, Filippo; Mendes, Vasco; Merkl, Martin; Meuris, Aline; Michalska, Malgorzata; Morbidini, Alfredo; Morgante, Gianluca; Muleri, Fabio; Munini, Riccardo; Mussolin, Lorenzo; Negri, Barbara; Novák, Petr; Nowosielski, Witold; Nuti, Alessio; Orleanski, Piotr; Ottensamer, Roland; Pacciani, Luigi; Paltani, Stephane; Pan, Teng; Pepponi, Giancarlo; Perinati, Emanuele; Piazzolla, Raffaele; Picciotto, Antonino; Pliego, Samuel; Putz, Andreas; Rachevski, Alexandre; Rashevskaia, Irina; Samusenko, Alina; Santangelo, Andrea; Schanne, Stephane; Serafinelli, Roberto; Skup, Konrad; Sveda, Libor; Svoboda, Jiri; Tenzer, Chris; Todaro, Michela; Torok, Gabriel; Trois, Alessio; Vacchi, Andrea; Varisco, Salvatore; Villa, Francesco; Virgilli, Enrico; Xiang, Hongwen; Xiong, Hao; Wang, Jian; Wang, Xianqi; Winter, Berend; Wu, Zhenyu; Wu, Xin; Xu, Yupeng; Zampa, Gianluigi; Zampa, Nicola; Zdziarski, Andrzej A.; Zhang, Long; Zhang, Shu; Zhang, Shuang-Nan; Zhang, Yonghe; Zhang, Wenda; Zhao, Qiao; Zhu, Cheng; Zhu, Xiaofei; Zorzi, Nicola
Indium-Gallium-Zinc-Oxide Based Semitransparent Electrodes on Flexible Substrates for Biodegradable Electronics
2024-01-01 Pompilio, M.; Gharehbagh, J. Shoae; Krik, S.; Trentini, G.; Lanthaler, A. H.; Pires, F.; Morgado, J.; Lugli, P.; Münzenrieder, N.; Gaiardo, A.; Ciocca, M.; Cacialli, F.
The detector assembly of the cameras of the Lunar Electromagnetic Monitor in X-rays (LEM-X)
2024-01-01 Ceraudo, Francesco; Nuti, Alessio; Bertuccio, Giuseppe; Campana, Riccardo; Cirrincione, Daniela; Della Casa, Giovanni; Del Monte, Ettore; Dilillo, Giuseppe; Evangelista, Yuri; Feroci, Marco; Fiorini, Mauro; Grassi, Marco; Lombardi, Giovanni; Malcovati, Piero; Mele, Filippo; Pepponi, Giancarlo; Rachevski, Alexandre; Rashevskaya, Irina; Zampa, Gianluigi; Zampa, Nicola; Esposito, Francesca; Donnarumma, Immacolata; Cortesi, Ugo; D'Amico, Fabio; Turchi, Alessandro; Gai, Marco; Argan, Andrea
PolyGloT-UML: A Gamified Framework for Enhancing UML Learning Paths
2024-01-01 Bucchiarone, Antonio; Guidolin, Tommaso; Fasol, Lorenzo; Schiavo, Gianluca; Kienzle, Jörg; Gerard, Sebastien; Négrier, David; Martorella, Tommaso
Designing and Generating Lesson Plans combining Open Educational Content and Generative AI
2024-01-01 Bucchiarone, Antonio; Cicchetti, Antonio; Vázquez-Ingelmo, Andrea; Adami, Filippo; Schiavo, Gianluca; García-Holgado, Alicia; José García-Peñalvo, Francisco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Coercion-resistant i-voting with short PIN and OAuth 2.0 | 1-gen-2024 | Bitussi, Matteo; Longo, Riccardo; Antonio Marino, Francesco; Morelli, Umberto; Sharif, Amir; Spadafora, Chiara; Tomasi, Alessandro | |
| Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability | 1-gen-2024 | Cimatti, Alessandro; Moller Grosen, Thomas; Larsen, Kim G.; Tonetta, Stefano; Zimmermann, Martin | |
| RF-MEMS as a Key Enabling Technology in the Road to 6G, Future Networks and Tactile Internet | 1-gen-2025 | Iannacci, J.; Tagliapietra, G. | |
| LDASR: An Experimental Study on Layer Drop Using Conformer-Based Architecture | 1-gen-2024 | Hannan, Abdul; Brutti, Alessio; Falavigna, Daniele | |
| Mind the error! detection and localization of instruction errors in vision-and-language navigation | 1-gen-2024 | Taioli, Francesco; Rosa, Stefano; Castellini, Alberto; Natale, Lorenzo; Del Bue, Alessio; Farinelli, Alessandro; Cristani, Marco; Wang, Yiming | |
| AI-assisted Design of UAV Docking Station Network for Dual Use Purposes | 1-gen-2024 | Avi, Arrigo; Quaranta, Giuseppe; Valentini, Alessandro | |
| Parameter-Efficient Transfer Learning of Audio Spectrogram Transformers | 1-gen-2024 | Cappellazzo, Umberto; Falavigna, Daniele; Brutti, Alessio; Ravanelli, Mirco | |
| Model-Based Testing of Railway Interlocking Systems | 1-gen-2024 | Cimatti, Alessandro; Khandaker, Shaker; Kifetew, Fitsum; Leone, Lorenzo; Prandi, Davide; Scaglione, Giuseppe; Susi, Angelo; Turboli, Orazio | |
| Stability Verification of an Industrial Switched PI Control Systems | 1-gen-2024 | Basagiannis, Stylianos; Battista, Ludovico; Becchi, Anna; Cimatti, Alessandro; Giantamidis, Georgios; Mover, Sergio; Tacchella, Alberto; Tonetta, Stefano; Tsachouridis, Vassilios | |
| Formal Verification of Stability for Parametric affine Switched Systems | 1-gen-2024 | Battista, Ludovico; Tonetta, Stefano | |
| A Switching Event-Triggered Model Predictive Control for HVAC Systems | 1-gen-2024 | Sharifzadeh, Mojtaba; Beirami, Hani; Bonafini, Federico; Campidelli, Matteo; Cavada, Roberto; Cimatti, Alessandro; Tonetta, Stefano | |
| Demo: Cloud-native Cyber Deception with Decepto | 1-gen-2024 | Santoro, Daniele; Zambianco, Marco; Facchinetti, Claudio; Siracusa, Domenico | |
| On the Key-Role of EM Skins in Building a Smart Electromagnetic Environment | 1-gen-2022 | Massa, A.; Lorenzelli, L.; Oliveri, G.; Rocca, P.; Salucci, M. | |
| Towards the Formal Analysis of Algorithmic Requirements | 1-gen-2024 | Cappelletti, Lorenzo; Cavada, Roberto; Cimatti, Alessandro; Keppel, Marco | |
| Towards Verification Modulo Theories of asynchronous systems via abstraction refinement | 1-gen-2024 | Redondi, Gianluca; Cimatti, Alessandro; Griggio, Alberto | |
| The Large Area Detector for the eXTP mission | 1-gen-2024 | Feroci, Marco; Ambrosi, Giovanni; Antonelli, Matias; Argan, Andrea; Babinec, Viktor; Barbera, Marco; Bastia, Paolo; Bayer, Joerg; Bellutti, Pierluigi; Bertucci, Bruna; Bertuccio, Giuseppe; Bonfitto, Federica; Bonvicini, Valter; Bozzo, Enrico; Baudin, David; Bouyjou, Florent; Brienza, Daniele; Cadoux, Franck; Campana, Riccardo; Candia, Roberto; Cao, Jiewei; Cavazzuti, Elisabetta; Ceraudo, Francesco; Chen, Tianxiang; Chen, Wen; Coimbra, Artur; Colucci, Angelo; Cong, Xiaoqing; Cirrincione, Daniela; De Angelis, Nicolas; De Rosa, Alessandra; Della Casa, Giovanni; Del Monte, Ettore; Di Cicca, Gaspare; Di Cosimo, Sergio; Dilillo, Giuseppe; Dohnal, Roman; Donnarumma, Immacolata; Evangelista, Yuri; Fan, Peng; Fan, Qingmei; Favre, Yannick; Fiandrini, Emanuele; Ficorella, Francesco; Gao, Na; Gevin, Olivier; Grassi, Marco; Guedel, Manuel; Guzman Cabrera, Alejandro; Han, Dong; He, Huilin; Hedderman, Paul; den Herder, Jan-Willem; Hynek, Richard; Reynaard Kole, Merlin; Karas, Vladimir; Komarek, Martin; Labanti, Claudio; La Marra, Daniel; Lesci, Giuseppe; Li, Gang; Li, Loghui; Li, Tiangtong; Limousin, Olivier; Liu, Hongwei; Liu, Rui; Liu, Yichen; Liu, Xiaojing; Lo Cicero, Ugo; Loehring, Jens; Lombardi, Giovanni; Lu, Fang-Jun; Luo, Tao; Malcovati, Piero; Marinucci, Andrea; Mele, Filippo; Mendes, Vasco; Merkl, Martin; Meuris, Aline; Michalska, Malgorzata; Morbidini, Alfredo; Morgante, Gianluca; Muleri, Fabio; Munini, Riccardo; Mussolin, Lorenzo; Negri, Barbara; Novák, Petr; Nowosielski, Witold; Nuti, Alessio; Orleanski, Piotr; Ottensamer, Roland; Pacciani, Luigi; Paltani, Stephane; Pan, Teng; Pepponi, Giancarlo; Perinati, Emanuele; Piazzolla, Raffaele; Picciotto, Antonino; Pliego, Samuel; Putz, Andreas; Rachevski, Alexandre; Rashevskaia, Irina; Samusenko, Alina; Santangelo, Andrea; Schanne, Stephane; Serafinelli, Roberto; Skup, Konrad; Sveda, Libor; Svoboda, Jiri; Tenzer, Chris; Todaro, Michela; Torok, Gabriel; Trois, Alessio; Vacchi, Andrea; Varisco, Salvatore; Villa, Francesco; Virgilli, Enrico; Xiang, Hongwen; Xiong, Hao; Wang, Jian; Wang, Xianqi; Winter, Berend; Wu, Zhenyu; Wu, Xin; Xu, Yupeng; Zampa, Gianluigi; Zampa, Nicola; Zdziarski, Andrzej A.; Zhang, Long; Zhang, Shu; Zhang, Shuang-Nan; Zhang, Yonghe; Zhang, Wenda; Zhao, Qiao; Zhu, Cheng; Zhu, Xiaofei; Zorzi, Nicola | |
| Indium-Gallium-Zinc-Oxide Based Semitransparent Electrodes on Flexible Substrates for Biodegradable Electronics | 1-gen-2024 | Pompilio, M.; Gharehbagh, J. Shoae; Krik, S.; Trentini, G.; Lanthaler, A. H.; Pires, F.; Morgado, J.; Lugli, P.; Münzenrieder, N.; Gaiardo, A.; Ciocca, M.; Cacialli, F. | |
| The detector assembly of the cameras of the Lunar Electromagnetic Monitor in X-rays (LEM-X) | 1-gen-2024 | Ceraudo, Francesco; Nuti, Alessio; Bertuccio, Giuseppe; Campana, Riccardo; Cirrincione, Daniela; Della Casa, Giovanni; Del Monte, Ettore; Dilillo, Giuseppe; Evangelista, Yuri; Feroci, Marco; Fiorini, Mauro; Grassi, Marco; Lombardi, Giovanni; Malcovati, Piero; Mele, Filippo; Pepponi, Giancarlo; Rachevski, Alexandre; Rashevskaya, Irina; Zampa, Gianluigi; Zampa, Nicola; Esposito, Francesca; Donnarumma, Immacolata; Cortesi, Ugo; D'Amico, Fabio; Turchi, Alessandro; Gai, Marco; Argan, Andrea | |
| PolyGloT-UML: A Gamified Framework for Enhancing UML Learning Paths | 1-gen-2024 | Bucchiarone, Antonio; Guidolin, Tommaso; Fasol, Lorenzo; Schiavo, Gianluca; Kienzle, Jörg; Gerard, Sebastien; Négrier, David; Martorella, Tommaso | |
| Designing and Generating Lesson Plans combining Open Educational Content and Generative AI | 1-gen-2024 | Bucchiarone, Antonio; Cicchetti, Antonio; Vázquez-Ingelmo, Andrea; Adami, Filippo; Schiavo, Gianluca; García-Holgado, Alicia; José García-Peñalvo, Francisco |
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 ...7737
Data di pubblicazione
- In corso di stampa5
- 2020 - 20251385
- 2010 - 20193415
- 2000 - 20092317
- 1990 - 1999567
- 1980 - 198948
Editore
- IEEE614
- Springer353
- ACM147
- Association for Computational Lin...87
- CEUR-WS.org71
- IEEE Computer Society61
- SPIE60
- ACL38
- AAAI Press36
- ieee31
Rivista
- INTERNATIONAL ARCHIVES OF THE PHO...86
- LECTURE NOTES IN COMPUTER SCIENCE41
- POS PROCEEDINGS OF SCIENCE21
- JOURNAL OF PHYSICS. CONFERENCE SE...20
- PROCEEDINGS OF SPIE, THE INTERNAT...17
- PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS13
- LECTURE NOTES IN ARTIFICIAL INTEL...9
- PROCEDIA ENGINEERING9
- ELECTRONIC PROCEEDINGS IN THEORET...8
Serie
- LECTURE NOTES IN COMPUTER SCIENCE214
- LECTURE NOTES IN ARTIFICIAL INTEL...48
- CEUR WORKSHOP PROCEEDINGS34
- PROCEEDINGS OF SPIE, THE INTERNAT...25
- LECTURE NOTES IN COMPUTER SCIENCE22
- LECTURE NOTES IN ELECTRICAL ENGIN...19
- LECTURE NOTES IN ELECTRICAL ENGIN...15
- LECTURE NOTES IN BUSINESS INFORMA...12
- IEEE ENGINEERING IN MEDICINE AND ...11
- PROCEEDINGS OF SPIE10
Keyword
- NLP41
- automatic speech recognition38
- Content Processing33
- MEMS31
- RF-MEMS30
- silicon radiation detectors28
- SiPM26
- RF MEMS25
- machine translation23
- Machine Translation22
Lingua
- eng6253
- ita158
- ger15
- spa6
- fre5
- enm4
- lat1
- rum1
Accesso al fulltext
- no fulltext6713
- open445
- restricted412
- reserved164
- partially open2
- mixed1