Sfoglia per Serie
Revisiting Polyhedral Analysis for Hybrid Systems
2019-01-01 Becchi, Anna; Zaffanella, Enea
A set solver for finite relation algebra
2018-01-01 Cristià, Maximiliano; Rossi, Gianfranco
Symbolic Analysis of Linear Hybrid Automata – 25 Years Later
2022-01-01 Frehse, Goran; Giacobbe, Mirco; Zaffanella, Enea
Teaching Through Practice: Advanced Static Analysis with LiSA
2024-01-01 Negrini, Luca; Arceri, Vincenzo; Olivieri, Luca; Cortesi, Agostino; Ferrara, Pietro
Toward a Kinetic Framework to Model the Collective Dynamics of Multi-agent Systems
2022-01-01 Monica, S.; Bergenti, F.; Zambonelli, F.
Towards a Better Understanding of Human Emotions: Challenges of Dataset Labeling
2024-01-01 Guerdelli, H.; Ferrari, C.; Cardia Neto, J. B.; Berretti, S.; Barhoumi, W.; Del Bimbo, A.
Two analytic models of compromise in multi-agent systems
2017-01-01 Monica, Stefania; Bergenti, Federico
Unconstrained Variable Oracles for Faster Numeric Static Analyses
2023-01-01 Arceri, V.; Dolcetti, G.; Zaffanella, E.
A wearable sensor for AAL-based continuous monitoring
2016-01-01 Bianchi, Valentina; Guerra, Claudio; DE MUNARI, Ilaria; Ciampolini, Paolo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Revisiting Polyhedral Analysis for Hybrid Systems | 1-gen-2019 | Becchi, Anna; Zaffanella, Enea | |
A set solver for finite relation algebra | 1-gen-2018 | Cristià, Maximiliano; Rossi, Gianfranco | |
Symbolic Analysis of Linear Hybrid Automata – 25 Years Later | 1-gen-2022 | Frehse, Goran; Giacobbe, Mirco; Zaffanella, Enea | |
Teaching Through Practice: Advanced Static Analysis with LiSA | 1-gen-2024 | Negrini, Luca; Arceri, Vincenzo; Olivieri, Luca; Cortesi, Agostino; Ferrara, Pietro | |
Toward a Kinetic Framework to Model the Collective Dynamics of Multi-agent Systems | 1-gen-2022 | Monica, S.; Bergenti, F.; Zambonelli, F. | |
Towards a Better Understanding of Human Emotions: Challenges of Dataset Labeling | 1-gen-2024 | Guerdelli, H.; Ferrari, C.; Cardia Neto, J. B.; Berretti, S.; Barhoumi, W.; Del Bimbo, A. | |
Two analytic models of compromise in multi-agent systems | 1-gen-2017 | Monica, Stefania; Bergenti, Federico | |
Unconstrained Variable Oracles for Faster Numeric Static Analyses | 1-gen-2023 | Arceri, V.; Dolcetti, G.; Zaffanella, E. | |
A wearable sensor for AAL-based continuous monitoring | 1-gen-2016 | Bianchi, Valentina; Guerra, Claudio; DE MUNARI, Ilaria; Ciampolini, 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