Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Publications APR | 2023 | 2024 | 2025 | Total |
---|---|---|---|---|
Books | 0 | 0 | 0 | 0 |
Edited books | 0 | 0 | 0 | 0 |
Journal articles | 10 | 5 | 1 | 16 |
Book chapters | 0 | 0 | 0 | 0 |
Conference papers | 7 | 10 | 1 | 18 |
Habilitations | 1 | 0 | 0 | 1 |
Thesis | 2 | 2 | 0 | 4 |
- S. Dovgal, Kh. Nurligareev : “Asymptotics for graphically divergent series: dense digraphs and 2-SAT formulae”, [Dovgal 2024]
- S. Dreyer, A. Genitrini, M. Naima : “Optimal Uniform Shortest Path Sampling”, [Dreyer 2024]
- M. Milanese, A. Miné : “Under-approximating Memory Abstractions”, [Milanese 2024b]