| Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Ancienne équipe : | ACASA |
| Publications APR | 2023 | 2024 | Total |
|---|---|---|---|
| Livres | 0 | 0 | 0 |
| Éditions de livres | 0 | 0 | 0 |
| Articles de revues | 10 | 4 | 14 |
| Chapitres de livres | 0 | 0 | 0 |
| Conférences | 8 | 7 | 15 |
| Habilitations | 1 | 0 | 1 |
| Thèses | 2 | 1 | 3 |
- S. Dreyer, A. Genitrini, M. Naima : “Optimal Uniform Shortest Path Sampling through Random Walk”, [Dreyer 2024]
- M. Milanese, A. Miné : “Under-approximating Memory Abstractions”, [Milanese 2024b]
- R. Monat, A. Ouadjaout, A. Miné : “Easing Maintenance of Academic Static Analyzers”, [Monat 2024a]