| 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 | 4 | 14 |
| Book chapters | 0 | 0 | 0 |
| Conference papers | 8 | 7 | 15 |
| Habilitations | 1 | 0 | 1 |
| Thesis | 2 | 1 | 3 |
- N. Brown, R. Nash, P. Poletti, G. Guzzetta, M. Manica, A. Zardini, M. Flatken, J. Vidal, Ch. Gueunet, E. Belikov, J. Tierny, A. Podobas, W. Der Chien, S. Markidis, A. Gerndt : “Utilising urgent computing to tackle the spread of mosquito-borne diseases”, IEEE/ACM HPC for Urgent Decision Making (UrgentHPC) 2021, St. Louis, United States, pp. 36-44, (IEEE) [Brown 2021]
- H. Bui Xuan, B.‑M. Bui‑Xuan, L. Van Chua, M. Bien : “Low Diameter Algebraic Graphs”, European Conference on Combinatorics, Graph Theory and Applications, vol. 14, Trends in Mathematics, Barcelona, Spain, pp. 465-471 [Bui Xuan 2021]
- D. Delmas, A. Ouadjaout, A. Miné : “Static Analysis of Endian Portability by Abstract Interpretation”, 28th Static Analysis Symposium (SAS 2021), vol. 12913, Lecture Notes in Computer Science, Chicago, Illinois, United States, pp. 102-123, (Springer International Publishing) [Delmas 2021]
- Ch. Garth, Ch. Gueunet, P. Guillou, L. Hofmann, J. Levine, J. Lukasczyk, J. Tierny, J. Vidal, B. Wang, F. Wetzels : “Topological Analysis of Ensemble Scalar Data with TTK”, IEEE VIS Tutorials, IEEE VIS Tutorials, New Orleans, United States [Garth 2021]
- A. Genitrini, M. Pépin, A. Viola : “Unlabelled ordered DAGs and labelled DAGs: constructive enumeration and uniform random sampling”, Procedia Computer Science, vol. 195, Proceedings of the XI Latin and American Algorithms, Graphs and Optimization Symposium, Sao Paulo, Brazil, pp. 468-477, (Elsevier) [Genitrini 2021b]
- D. Merigoux, R. Monat, J. Protzenko : “A Modern Compiler for the French Tax Code”, CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, CC 2021: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction, Virtual, Korea, Republic of, pp. 71-82, (ACM) [Merigoux 2021]
- R. Monat, A. Ouadjaout, A. Miné : “A Multilanguage Static Analysis of Python Programs with Native C Extensions”, Static Analysis Symposium (SAS), Chicago, Illinois, United States [Monat 2021]
- F. Nauleau, Th. Bridel‑Bertomeu, F. Vivodtzev, H. Beaugendre, J. Tierny : “Topological Data Analysis for numerical method comparisons of 2D turbulent flows”, Journée Visu 2021, Journée virtuelle, France [Nauleau 2021]
- P. Nigron, P.‑E. Dagand : “Reaching for the Star: Tale of a Monad in Coq”, Leibniz International Proceedings in Informatics, vol. 193, Leibniz International Proceedings in Informatics (LIPIcs), Rome, Italy, pp. 29:1-29:19, (Schloss Dagstuhl) [Nigron 2021]
- T. Picavet, N.‑T. Nguyen, B.‑M. Bui‑Xuan : “Temporal Matching on Geometric Graph Data”, 12th International Conference on Algorithms and Complexity, Larnaca, Cyprus [Picavet 2021]
- J. Sérot, E. Chailloux : “OCaml sur circuit FPGA”, JFLA 2021 - 32 èmes Journées Francophones des Langages Applicatifs, en ligne, France [Sérot 2021]
- J. Vidal, J. Tierny : “Fast Approximation of Persistence Diagrams with Guarantees”, IEEE Symposium on Large Data Analysis and Visualization, New Orleans, United States [Vidal 2021a]