Books
Edited books
Journal articles
Book chapters
Conference papers
Other publications
Habilitations
Theses
Current teams : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Former teams : AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Former research topics : ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF
Publications PEQUAN201420152016201720182019Total
Books0000101
Edited books0000000
Journal articles58968541
Book chapters1100002
Conference papers181620129580
Habilitations0010113
Theses24012110
LIP6
  • 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”, 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), Vancouver, Canada, pp. 1016-1025, (IEEE) [Eberhart 2018]
  • 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. Minisymposium on Trusted Numerical Computations. International Conference on Emerging Trends in Applied Mathematics and Mechanics, 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, USA, (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]
 Mentions légales
Site map |