Flavio Ascari
From MaRDI portal
Person:6141756
Available identifiers
zbMath Open ascari.flavioMaRDI QIDQ6141756
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Limits and difficulties in the design of under-approximation abstract domains | 2024-01-23 | Paper |
| Exploiting adjoints in property directed reachability analysis | 2024-01-12 | Paper |
| Logics for extensional, locally complete analysis via domain refinements | 2023-11-24 | Paper |
Research outcomes over time
This page was built for person: Flavio Ascari
