现有科研组 : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
以前科研组 : | ACASA |
刊物 APR | 2023 | 2024 | Total |
---|---|---|---|
书籍 | 0 | 0 | 0 |
参考书目 | 0 | 0 | 0 |
刊物文章 | 10 | 0 | 10 |
书籍章节 | 0 | 0 | 0 |
会议文章 | 7 | 3 | 10 |
特许任教资格 | 1 | 0 | 1 |
博士论文 | 2 | 0 | 2 |
- O. Bodini, J. Lumbroso : “Optimal Partial Tiling of Manhattan Polyominoes”, DGCI 2009 - 15th IAPR International Conference on Discrete Geometry for Computer Imagery, vol. 5810, Lecture Notes in Computer Science, Montreal, Canada, pp. 79-91, (Springer) [Bodini 2009b]
- O. Bodini, Th. Fernique, D. Regnault : “Cristallization by stochastic flips”, 6th International Conference on Aperiodic Crystals (APERIODIC'09), vol. 226 (1), Journal of Physics : Conference Series, Owford, United Kingdom, pp. 1-6, (IOP Sciences) [Bodini 2009c]
- O. Bodini, Th. Fernique, É. Rémila : “Distances on Lozenge Tilings”, DGCI 2009 - 15th IAPR International Conference on Discrete Geometry for Computer Imagery, vol. 5810, Lecture Notes in Computer Science, Montreal, Canada, pp. 240-251, (Springer) [Bodini 2009e]
- M. Bourgoin, B. Canou, E. Chailloux, A. Jonquet, Ph. Wang : “OC4MC: Objective Caml for Multicore Architectures”, 21st Symposium on Implementation and Application of Functional Languages, vol. SHU-TR-CS-2009-09-1, South Orange, United States, pp. 24-41 [Bourgoin 2009]
- B. Canou, A. Darrasse : “Fast and sound random generation for automated testing and benchmarking in Objective Caml”, 2009 ACM SIGPLAN Workshop on ML, Edinburgh, United Kingdom, pp. 61-70, (ACM) [Canou 2009]
- A. Darrasse, M. Soria : “Limiting distribution for distances in k-trees”, 20th International Workshop on Combinatorial Algorithms, IWOCA 2009, vol. 5874, Lecture Notes in Computer Science, Hradec nad Moravicí, Czechia, pp. 170-182 [Darrasse 2009]
- S. Graillat, Ph. Trébuchet : “A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system”, ISSAC'09 - Proceedings of the 2009 international symposium on Symbolic and algebraic computation, Seoul, Korea, Republic of, pp. 167-173, (ACM) [Graillat 2009c]
- F. Jézéquel, Ch. Denis, Ph. Trébuchet : “Reliable numerical evaluation of eigenvalues involved in polynomial systems solving”, Computer-assisted proofs - tools, methods and applications, Dagstuhl, Germany [Jézéquel 2009]
- A. Mougenot, A. Darrasse, X. Blanc, M. Soria : “Uniform random generation of huge metamodel instances”, Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009), Enschede, Netherlands, pp. 130-145 [Mougenot 2009a]
- B. Pagano, O. Andrieu, Th. Moniot, B. Canou, E. Chailloux, Ph. Wang, P. Manoury, J.‑L. Colaço : “Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certification framework”, The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), Edinburgh, United Kingdom, pp. 215-220, (ACM) [Pagano 2009]
- F. Peschanski, J.‑A. Bialkiewicz : “Modelling and Verifying Mobile Systems Using Pi-Graphs”, 35th International Conference on Current Trends in Theory and Practice of Computer Science (Sofsem 2009), vol. 5404, Lecture Notes in Computer Science, Špindlerův Mlýn, Czechia, pp. 437-442, (Springer) [Peschanski 2009]
- O. Roussel, M. Soria : “Boltzmann sampling of ordered structures”, LAGOS 2009 - 5th Latin-American Algorithms, Graphs and Optimization Symposium, vol. 35, Electronic Notes in Discrete Mathematics, Rio Grande do Sul, Brazil, pp. 305-310, (Elsevier) [Roussel 2009]
- A. Valibouze, I. Abdeljaouad, A. Ben Kahla : “Galoisian separators for biological systems”, Mathematics, algorithms and proofs, MAP'09, Monastir, Tunisia [Valibouze 2009c]