Current teams : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former team : | Phare |
Publications APR | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023 | Total |
---|---|---|---|---|---|---|---|---|
Books | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 2 |
Edited books | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Journal articles | 5 | 4 | 5 | 6 | 5 | 6 | 5 | 36 |
Book chapters | 0 | 1 | 0 | 0 | 2 | 0 | 0 | 3 |
Conference papers | 13 | 12 | 18 | 14 | 12 | 11 | 2 | 82 |
Habilitations | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 2 |
Theses | 1 | 2 | 7 | 1 | 3 | 3 | 1 | 18 |
- G. Bau, A. Miné, V. Botbol, M. Bouaziz : “Abstract interpretation of Michelson smart-contracts”, SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, United States, pp. 36-43, (ACM) [Bau 2022]
- C. Bertrand, H. Klaudel, F. Peschanski : “Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory”, 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), vol. 13288, Lecture Notes in Computer Science, Bergen, Norway, pp. 43-63, (Springer International Publishing) [Bertrand 2022]
- M. Dien, A. Genitrini, F. Peschanski : “A Combinatorial Study of Async/Await Processes”, The 19th International Colloquium on Theoretical Aspects of Computing, vol. 13572, Lecture Notes in Computer Science, Tbilisi, Georgia, pp. 170-187, (Springer) [Dien 2022]
- Ch. Garth, Ch. Gueunet, P. Guillou, F. Iuricich, J. Levine, J. Lukasczyk, M. Pont, J. Tierny, J. Vidal, B. Wang, F. Wetzels : “Topological Analysis of Ensemble Scalar Data with TTK, A Sequel”, IEEE VIS Tutorials, Oklahoma City, United States [Garth 2022]
- A. Genitrini, M. Naima, O. Bodini : “A combinatorial link between labelled graphs and increasingly labelled Schröder trees”, The 15th Latin American Theoretical Informatics Symposium, vol. 13568, Lecture Notes in Computer Science, Guanajuato, Mexico, pp. 493-509, (Springer) [Genitrini 2022a]
- A. Guatto, Ch. Tasson, A. Vienot : “A reactive operational semantics for a lambda-calculus with time warps”, Journées Francophones des Langages Applicatifs - JFLA 2022, Saint-Médard-d'Excideuil, France [Guatto 2022]
- F. Nauleau, F. Vivodtzev, Th. Bridel‑Bertomeu, H. Beaugendre, J. Tierny : “Topological analysis of ensembles of hydrodynamic turbulent flows -- An experimental study”, IEEE Symposium on Large Data Analysis and Visualization, Oklahoma City, United States [Nauleau 2022]
- L. Sylvestre, E. Chailloux, J. Sérot : “Accelerating OCaml programs on FPGA”, 15th International Symposium on High-level Parallel Programming and Applications (HLPP 2022), Porto, Portugal [Sylvestre 2022a]
- L. Sylvestre, J. Sérot, E. Chailloux : “A Virtual Machine Approach for High-level FPGA Programming”, 2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), New York City, United States, (IEEE) [Sylvestre 2022b]
- L. Sylvestre, J. Sérot, E. Chailloux : “Macle : un langage dédié à l'accélération de programmes OCaml sur circuits FPGA”, Journées Francophones des Langages Applicatifs, Saint-Médard-d'Excideuil, France, pp. 93-109 [Sylvestre 2022c]
- J. Villacis‑Llobet, B.‑M. Bui‑Xuan, M. Potop‑Butucaru : “Foremost non-stop journey arrival in linear time”, 29th International Colloquium on Structural Information and Communication Complexity, vol. 13298, Lecture Notes in Computer Science, Paderborn, Germany, pp. 283-301, (Springer) [Villacis-Llobet 2022]