Nicolas Ratier

According to our database, Nicolas Ratier authored at least 5 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Uniqueness of the discrete Fourier transform.

Isabelle Baraquin, Nicolas Ratier

Signal Process., 2023

2022

Unification and combination of a class of traversal strategies made with pattern matching and fixed-points.

Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner

J. Log. Algebraic Methods Program., 2022

2019

Unification and combination of iterative insertion strategies with rudimentary traversals and failure.

Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner

CoRR, 2019

Unification and combination of iterative insertion strategies with one-step traversals.

Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner

CoRR, 2019

2015

Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array.

Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frédéric Zamkotsian, Horatiu Cirstea

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015