APR - Artigos de Conferencia

Pesquisa
Publicações
Research reports

Current teams : ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL

Publicações APR	2021	2022	2023	2024	2025	Total
Livros	1	0	0	0	0	1
Livros Editados	0	0	0	0	0	0
Jornais	5	6	10	5	2	28
Capítulos de livros	2	0	0	0	0	2
Artigos de Conferencia	12	11	7	10	5	45
Habilitações (Livre Docência)	1	0	1	0	0	2
Teses	3	3	2	2	1	11

LIP6

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 Veriﬁcation with Session Types and Python”, 4^th 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”, 24^th International Meeting on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, AofA13, Cala Galdana, Menorca, Spain [Soria 2013]