Nicolas Ratier

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 5

Top Topics

Failure Prediction

Pattern Matching

Iterative Optimization

Top Venues

J. Log. Algebraic Methods Program.

Signal Process.

Publications

Isabelle Baraquin, Nicolas Ratier
Uniqueness of the discrete Fourier transform. Signal Process. 209 (2023)
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points. J. Log. Algebraic Methods Program. 125 (2022)
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner
Unification and combination of iterative insertion strategies with one-step traversals. CoRR (2019)
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner
Unification and combination of iterative insertion strategies with rudimentary traversals and failure. CoRR (2019)
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frederic Zamkotsian, Horatiu Cirstea
Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array. SYNASC (2015)