Forschungsgruppen zur Zeit : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ehemalige Forschungsgruppe : | ACASA |
Publikationen APR | 2023 | 2024 | Total |
---|---|---|---|
Bücher | 0 | 0 | 0 |
Bucheditionen | 0 | 0 | 0 |
Artikel in wissenschaftlichen Zeitschriften | 10 | 4 | 14 |
Buchkapitel | 0 | 0 | 0 |
Veröffentlichungen in Papierform | 8 | 7 | 15 |
Habilitationen | 1 | 0 | 1 |
Doktorarbeiten | 2 | 1 | 3 |
- 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]