| Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Former team : | ACASA |
| Publications APR | 2023 | 2024 | Total |
|---|---|---|---|
| Books | 0 | 0 | 0 |
| Edited books | 0 | 0 | 0 |
| Journal articles | 10 | 5 | 15 |
| Book chapters | 0 | 0 | 0 |
| Conference papers | 7 | 10 | 17 |
| Habilitations | 1 | 0 | 1 |
| Thesis | 2 | 2 | 4 |
- J. Clement, A. Genitrini : “An Iterative Approach for Counting Reduced Ordered Binary Decision Diagrams”, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), vol. 272, Leibniz International Proceedings in Informatics (LIPIcs), Bordeaux, France, pp. 36:1-36:15, (Schloss Dagstuhl - Leibniz-Zentrum für Informatik), (ISBN: 978-3-95977-292-1) [Clement 2023]
- R. Demangeon, C. Dima, D. Varacca : “Observational Preorders for Alternating Transition Systems”, 20th European Conference on Multi-Agent Systems - EUMAS 2023, vol. 14282, Lecture Notes in Computer Science, Naples, Italy, pp. 312-327, (Springer Nature Switzerland) [Demangeon 2023]
- M. Dien, F. Peschanski : “Counting Linear Extensions of Modular Partial Orders”, 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Nancy, France, pp. 60-67, (IEEE) [Dien 2023]
- Ch. Garth, R. Maack, M. Pont, J. Tierny : “A Hands-on TTK Tutorial for Absolute Beginners”, IEEE VIS Tutorials, Melbourne, Australia [Garth 2023]
- R. Monat, A. Ouadjaout, A. Miné : “Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)”, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), vol. 13994, Lecture Notes in Computer Science, Paris, France, pp. 565-570, (Springer, Cham), (ISBN: 978-3-031-30820-8) [Monat 2023]
- H. Suzanne, E. Chailloux : “A Reusable Machine-Calculus for Automated Resource Analyses”, Logic-Based Program Synthesis and Transformation, vol. 14330, Lecture Notes in Computer Science, Cascais, Portugal, pp. 61-79, (Springer Nature Switzerland) [Suzanne 2023]
- J. Villacis‑Llobet, B.‑M. Bui‑Xuan, M. Potop‑Butucaru : “Marche sans escale dans un graphe temporel”, AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Cargese, France [Villacis-Llobet 2023]