Gruppi di ricerca attuali : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Gruppo precedente : | ACASA |
Pubblicazioni APR | 2023 | 2024 | Total |
---|---|---|---|
Libri | 0 | 0 | 0 |
Curatele di libri | 0 | 0 | 0 |
Articoli su rivista | 10 | 4 | 14 |
Capitoli di libri | 0 | 0 | 0 |
Articoli su atti di conferenza | 8 | 7 | 15 |
Abilitazioni | 1 | 0 | 1 |
Tesi | 2 | 1 | 3 |
- Ph. Baufreton, E. Chailloux, J.‑L. Dufour, G. Henry, P. Manoury, E. Prun, F. Thibord, Ph. Wang : “Compositional certification: the CERCLES2 project”, Embedded Real Time Software and Systems (ERTS2), Toulouse, France, pp. 582-591 [Baufreton 2014]
- O. Bodini, A. Genitrini, N. Rolin : “Pointed versus Singular Boltzmann Samplers”, 9th edition of the conference GASCom on random generation of combinatorial structures (GASCom'14), Bertinoro, Italy [Bodini 2014]
- M. Bourgoin, E. Chailloux : “GPGPU Composition with OCaml”, ACM SIGPLAN International Workshop on LIbraries, Languages and Compilers for Array Programming, ARRAY'14, Edinburgh, United Kingdom, pp. 1-6 [Bourgoin 2014a]
- M. Bourgoin, E. Chailloux : “High Performance Client-Side Web Programming with SPOC and Js of ocaml”, The OCaml Users and Developers Workshop, Boston, MA, United States [Bourgoin 2014b]
- A. Deharbe, F. Peschanski : “The Omniscient Garbage Collector : a Resource Analysis Framework”, ACSD 2014 - 14th International Conference on Application of Concurrency to System Design, La Marsa, Tunisia, pp. 102-111, (IEEE) [Deharbe 2014a]
- R. Demangeon, R. Hu, K. Honda, N. Yoshida, T.‑Ch. Chen, R. Neykova : “Structuring Communication with Session Types”, Concurrent Objects and Beyond, vol. 8665, Lecture Notes in Computer Science, Kobe, Japan, pp. 105-127 [Demangeon 2014]
- A. Genitrini, B. Gittenberger, C. Mailler : “No Shannon Effect Induced by And/Or Trees”, Proceedings of the 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, AofA 2014, vol. BA, DMTCS, Paris, France, pp. 109-120 [Genitrini 2014a]
- A. Genitrini, C. Mailler : “Equivalence Classes of Random Boolean Trees and Application to the Catalan Satisfiability Problem”, International Symposium on Latin American Theoretical Informatics, LATIN 2014, vol. 8392, Lecture Notes in Computer Science, Montevideo, Uruguay, pp. 466-477, (Springer) [Genitrini 2014b]
- P. Manoury, Ph. Baufreton, J.‑L. Dufour, E. Prun, E. Chailloux, G. Henry, F. Thibord, Ph. Wang, E. Millon : “Certification de l’assemblage de composants dans le développement de logiciels critiques”, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'14), Paris, France, pp. 109-114 [Manoury 2014]
- B. Mourrain, Ph. Trébuchet : “Toric Border Basis”, Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (ISSAC), Kobe, Japan, pp. 343-350, (ACM New York, NY, USA) [Mourrain 2014]
- B. Serpette, P. Manoury, E. Chailloux : “Unification des couleurs dans un lambda-calcul polychrome”, Journées Francophones des Langages Applicatifs, Fréjus, France [Serpette 2014]