| Équipes actuelles : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL |
| Ancienne équipe : | MLIA |
| Publications APR | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | Total |
|---|---|---|---|---|---|---|---|
| Livres | 0 | 0 | 0 | 1 | 1 | 0 | 2 |
| Éditions de livres | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Articles de revues | 5 | 4 | 5 | 6 | 6 | 0 | 26 |
| Chapitres de livres | 0 | 1 | 0 | 0 | 2 | 0 | 3 |
| Conférences | 13 | 12 | 16 | 15 | 11 | 0 | 67 |
| Habilitations | 1 | 0 | 0 | 0 | 1 | 0 | 2 |
| Thèses | 1 | 2 | 7 | 1 | 3 | 1 | 15 |
- O. Bodini, A. Genitrini, F. Peschanski : “The Combinatorics of Non-determinism”, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 24, Leibniz International Proceedings in Informatics, Guwahati, India, pp. 425-436 [Bodini 2013]
- M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “Efficient Abstractions for GPGPU Programming”, International Symposium on High-level Parallel Programming and Applications, Paris, France [Bourgoin 2013a]
- M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “High-Performance GPGPU Programming with OCaml”, The OCaml Users and Developers Workshop, Boston, MA, United States [Bourgoin 2013b]
- M. Bourgoin, E. Chailloux, J.‑L. Lamotte : “Retour d'expérience : portage d'une application haute-performance vers un langage de haut niveau”, Compas'13, Grenoble, France, pp. 8 [Bourgoin 2013c]
- B. Canou, E. Chailloux, V. Balat : “A declarative-friendly API for Web document manipulation”, International Symposium on Practical Aspects of Declarative Languages (PADL 2013), vol. 7752, Lecture Notes in Computer Science, Rome, Italy, pp. 109-124, (Springer) [Canou 2013a]
- B. Canou, E. Chailloux, V. Botbol : “Static Typing and JavaScript Libraries: Towards a More Considerate Relationship”, International World Wide Web Conference, dev track, Rio de Janeiro, Brazil, pp. 15-17 [Canou 2013b]
- R. Demangeon, R. Hu, R. Neykova, N. Yoshida : “Practical interruptible conversations: Distributed Dynamic Verification with Session Types and Python”, 4th International Conference, RV 2013, vol. 8174, Lecture Notes in Computer Science, Rennes, France, pp. 130-148, (Springer Berlin Heidelberg) [Demangeon 2013]
- M. Soria : “Combinatorial Systems and Newton iteration”, 24th International Meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, AofA13, Cala Galdana, Menorca, Spain [Soria 2013]