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 | 2 | 12 |
Book chapters | 0 | 0 | 0 |
Conference papers | 7 | 3 | 10 |
Habilitations | 1 | 0 | 1 |
Thesis | 2 | 0 | 2 |
- S. Abbes, J. Mairesse : “Uniform Generation in Trace Monoids”, Mathematical Foundations of Computer Science 2015, vol. 9234, Lecture Notes in Computer Science, Milan, Italy, pp. 63-75, (Springer) [Abbes 2015b]
- S. Alayrangues, G. Dowek, E. Kerrien, J. Mairesse, Th. Viéville : “Médiation en sciences du numériques : un levier pour comprendre notre quotidien ?”, http://www.science-and-you.com, Nancy, France [Alayrangues 2015]
- O. Bodini, A. Genitrini : “Cuts in Increasing Trees”, 2015 Proceedings of the Twelfth Workshop on Analytic Algorithmics and Combinatorics (ANALCO), San Diego, CA, United States, pp. 66-77 [Bodini 2015a]
- O. Bodini, A. Genitrini, F. Peschanski, N. Rolin : “Associativity for Binary Parallel Processes: a Quantitative Study”, Algorithms and Discrete Applied Mathematics, vol. 8959, Lecture Notes in Computer Science, Kanpur, India, pp. 217-228, (Springer) [Bodini 2015b]
- M. Bourgoin, E. Chailloux : “High-Level Accelerated Array Programming in the Web Browser”, ACM SIGPLAN International Workshop on LIbraries, Languages and Compilers for Array Programming, Portland, OR, United States, pp. 31-36 [Bourgoin 2015a]
- M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “High Level Data Structures for GPGPU Programming in a Statically Typed Language”, 8th International Symposium on High-level Parallel Programming and Applications, Pisa, Italy [Bourgoin 2015b]
- B. Carré, G. Henry, X. Clerc, E. Chailloux : “O’Jacaré : un pont entre OCaml et Java”, 4ème Conférence en IngénieriE du Logiciel, Bordeaux, France [Carré 2015]
- R. Demangeon, N. Yoshida : “On the Expressiveness of Multiparty Sessions”, 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, vol. 45, Leibniz International Proceedings in Informatics (LIPIcs), Bangalore, India, pp. 560-574 [Demangeon 2015b]
- A. Miné, D. Delmas : “Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software”, Embedded Software (EMSOFT), 2015 International Conference on, Amsterdam, Netherlands, pp. 65-74, (IEEE) [Miné 2015]
- J. Salvucci, E. Chailloux : “Analyse statique de consommation mémoire pour un langage fonctionnel/impératif typé”, Actes des vingt-sixièmes journées francophones des langages applicatifs, Val d'Ajol, France [Salvucci 2015]
- B. Vaugon, Ph. Wang, E. Chailloux : “Programming Microcontrollers in Ocaml: the OCaPIC Project”, International Symposium on Practical Aspects of Declarative Languages (PADL 2015), vol. 9131, Lecture Notes in Computer Science, Portland, OR, United States, pp. 132-148, (Springer Verlag) [Vaugon 2015]
- X. Wu, L. Chen, A. Miné, W. Dong, J. Wang : “Numerical Static Analysis of Interrupt-Driven Programs via Sequentialization”, Embedded Software (EMSOFT), 2015 International Conference on, Amsterdam, Netherlands, pp. 55-64, (IEEE) [Wu 2015]