Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Publications PEQUAN | 2023 | 2024 | 2025 | Total |
---|---|---|---|---|
Books | 0 | 0 | 0 | 0 |
Edited books | 0 | 0 | 0 | 0 |
Journal articles | 9 | 5 | 2 | 16 |
Book chapters | 0 | 0 | 0 | 0 |
Conference papers | 9 | 13 | 0 | 22 |
Habilitations | 0 | 0 | 0 | 0 |
Thesis | 1 | 3 | 0 | 4 |
- M. Ceberio, A. Contreras, C. Jeangoudoux, F. Larribe : “Constraints over Intervals for Specification Based Automatic Software Test Generation”, 18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), 18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), Book of Abstracts, Tokyo, Japan, pp. 54-55 [Ceberio 2018]
- P. Eberhart, B. Landreau, J. Brajard, P. Fortin, F. Jézéquel : “Improving CADNA Performance on GPUs”, 19th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing (PDSEC) in conjunction with the 32nd International Parallel and Distributed Processing Symposium (IPDPS), Vancouver, Canada, pp. 1016-1025, (IEEE) [Eberhart 2018]
- G. Favelier, Ch. Gueunet, A. Gyulassy, J. Kitware, J. Levine, J. Lukasczyk, D. Sakurai, M. Soler, J. Tierny, W. Usher, Q. Wu : “Topological Data Analysis Made Easy with the Topology ToolKit”, IEEE VIS Tutorials, Berlin, Germany [Favelier 2018a]
- D. Gallois‑Wong, S. Boldo, Th. Hilaire : “A Coq formalization of digital filters”, CICM 2018 - 11th Conference on Intelligent Computer Mathematics, Intelligent Computer Mathematics, Hagenberg, Austria, pp. 87-103 [Gallois-Wong 2018]
- S. Graillat, F. Jézéquel : “Tight interval inclusions with compensated algorithms”, 18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), 18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), Book of Abstracts, Tokyo, Japan, pp. 86-87 [Graillat 2018b]
- S. Graillat, F. Jézéquel, R. Picot, F. Févotte, B. Lathuilière : “Numerical validation in quadruple precision using stochastic arithmetic”, TNC'18. Trusted Numerical Computations, vol. 8, Kalpa Publications in Computing, Krakow, Poland, pp. 38-53, (EasyChair) [Graillat 2018d]
- E. Huot, D. Béréziat, A. Zébiri : “Prévision de la pluie à court terme par assimilation d’images radar”, Colloque scientifique international «Observation et prévision des pluies, impacts sur les crues», Tunis, Tunisia [Huot 2018]
- C. Jeangoudoux, Ch. Lauter : “A Correctly Rounded Mixed-Radix Fused-Multiply-Add”, 2018 IEEE 25th Symposium on Computer Arithmetic (ARITH), Amherst, MA, United States, (IEEE) [Jeangoudoux 2018]
- M. Soler, M. Plainchault, B. Conche, J. Tierny : “Lifted Wasserstein Matcher for Fast and Robust Topology Tracking”, IEEE Symposium on Large Data Analysis and Visualization, Berlin, Germany [Soler 2018a]
- M. Soler, M. Plainchault, B. Conche, J. Tierny : “Topologically Controlled Lossy Compression”, IEEE Pacific Conference on Visualisation, Kobe, Japan, pp. 46-55, (IEEE) [Soler 2018b]
- A. Volkova : “FiXiF toolbox : validated numerics for sound digital filter implementations”, 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics., Tokyo, Japan [Volkova 2018]