Sfoglia per Autore
Timed soft concurrent constraint programs: An interleaved and a parallel approach
2015-01-01 Bistarelli, S.; Gabbrielli, M.; Meo, MARIA CHIARA; Santini, F.
Narrowing Operators on Template Abstract Domains
2015-01-01 Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; Scozzari, Francesca
Exploiting Linearity in Sharing Analysis of Object-oriented Programs
2016-01-01 Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca
Verifying Controllability of Time-Aware Business Processes
2017-01-01 De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
Verification of time-aware business processes using constrained horn clauses
2017-01-01 De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
A Taxonomy of Program Analyses
2018-01-01 Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca
Descending chains and narrowing on template abstract domains
2018-01-01 Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; Scozzari, Francesca
Semantics and controllability of time-aware business processes
2019-01-01 De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
On collecting semantics for program analysis
2020-01-01 Amato, G.; Meo, M. C.; Scozzari, F.
Timed Concurrent Language for Argumentation
2021-01-01 Bistarelli, Stefano; Meo, MARIA CHIARA; Taticchi, Carlo
Concurrent Argumentation with Time: an Overview
2021-01-01 Bistarelli, Stefano; Meo, MARIA CHIARA; Taticchi, Carlo
Timed Concurrent Language for Argumentation: An Interleaving Approach
2022-01-01 Bistarelli, Stefano; Meo, MARIA CHIARA; Taticchi, Carlo
On the Need for a Common API for Abstract Domains of Object-Oriented Programs
2022-01-01 Amato, G.; Meo, M. C.; Scozzari, F.
The role of linearity in sharing analysis
2022-01-01 Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games
2023-01-01 Bistarelli, S; Taticchi, C; Meo, Mc
Timed concurrent language for argumentation with maximum parallelism
2023-01-01 Bistarelli, S.; Chiara Meo, M.; Taticchi, C.
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation
2023-01-01 Bistarelli, S.; Meo, M. C.; Taticchi, C.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Timed soft concurrent constraint programs: An interleaved and a parallel approach | 2015 | Bistarelli, S.; Gabbrielli, M.; Meo, MARIA CHIARA; Santini, F. | |
| Narrowing Operators on Template Abstract Domains | 2015 | Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; Scozzari, Francesca | |
| Exploiting Linearity in Sharing Analysis of Object-oriented Programs | 2016 | Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca | |
| Verifying Controllability of Time-Aware Business Processes | 2017 | De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio | |
| Verification of time-aware business processes using constrained horn clauses | 2017 | De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio | |
| A Taxonomy of Program Analyses | 2018 | Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca | |
| Descending chains and narrowing on template abstract domains | 2018 | Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; Scozzari, Francesca | |
| Semantics and controllability of time-aware business processes | 2019 | De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio | |
| On collecting semantics for program analysis | 2020 | Amato, G.; Meo, M. C.; Scozzari, F. | |
| Timed Concurrent Language for Argumentation | 2021 | Bistarelli, Stefano; Meo, MARIA CHIARA; Taticchi, Carlo | |
| Concurrent Argumentation with Time: an Overview | 2021 | Bistarelli, Stefano; Meo, MARIA CHIARA; Taticchi, Carlo | |
| Timed Concurrent Language for Argumentation: An Interleaving Approach | 2022 | Bistarelli, Stefano; Meo, MARIA CHIARA; Taticchi, Carlo | |
| On the Need for a Common API for Abstract Domains of Object-Oriented Programs | 2022 | Amato, G.; Meo, M. C.; Scozzari, F. | |
| The role of linearity in sharing analysis | 2022 | Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca | |
| An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games | 2023 | Bistarelli, S; Taticchi, C; Meo, Mc | |
| Timed concurrent language for argumentation with maximum parallelism | 2023 | Bistarelli, S.; Chiara Meo, M.; Taticchi, C. | |
| On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation | 2023 | Bistarelli, S.; Meo, M. C.; Taticchi, C. |
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