Sfoglia per Autore
Descending chains and narrowing on template abstract domains
2018-01-01 Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; Scozzari, Francesca
A Taxonomy of Program Analyses
2018-01-01 Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca
Preface
2018-01-01 Scozzari, Francesca
A fuzzy approach for analysing equitable and sustainable well-being in Italian regions
2019-01-01 Porreca, Annamaria; Cruz Rambaud, Salvador; Scozzari, Francesca; Di Nicola, Marta
On collecting semantics for program analysis
2020-01-01 Amato, G.; Meo, M. C.; Scozzari, F.
Using text mining and sentiment analysis to analyse YouTube Italian videos concerning vaccination
2020-01-01 Porreca, Annamaria; Scozzari, Francesca; Di Nicola, Marta
The role of linearity in sharing analysis
2022-01-01 Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca
On the Need for a Common API for Abstract Domains of Object-Oriented Programs
2022-01-01 Amato, G.; Meo, M. C.; Scozzari, F.
JGMP: Java bindings and wrappers for the GMP library
2023-01-01 Amato, Gianluca; Scozzari, Francesca
A survey on the role of artificial intelligence in managing Long COVID
2023-01-01 Ahmad, I.; Amelio, A.; Merla, A.; Scozzari, F.
The ScalaFix Equation Solver
2023-01-01 Amato, Gianluca; Scozzari, Francesca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Descending chains and narrowing on template abstract domains | 2018 | Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; Scozzari, Francesca | |
| A Taxonomy of Program Analyses | 2018 | Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca | |
| Preface | 2018 | Scozzari, Francesca | |
| A fuzzy approach for analysing equitable and sustainable well-being in Italian regions | 2019 | Porreca, Annamaria; Cruz Rambaud, Salvador; Scozzari, Francesca; Di Nicola, Marta | |
| On collecting semantics for program analysis | 2020 | Amato, G.; Meo, M. C.; Scozzari, F. | |
| Using text mining and sentiment analysis to analyse YouTube Italian videos concerning vaccination | 2020 | Porreca, Annamaria; Scozzari, Francesca; Di Nicola, Marta | |
| The role of linearity in sharing analysis | 2022 | Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca | |
| On the Need for a Common API for Abstract Domains of Object-Oriented Programs | 2022 | Amato, G.; Meo, M. C.; Scozzari, F. | |
| JGMP: Java bindings and wrappers for the GMP library | 2023 | Amato, Gianluca; Scozzari, Francesca | |
| A survey on the role of artificial intelligence in managing Long COVID | 2023 | Ahmad, I.; Amelio, A.; Merla, A.; Scozzari, F. | |
| The ScalaFix Equation Solver | 2023 | Amato, Gianluca; Scozzari, Francesca |
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