A Data-Adaptive Eof Based Method for Displacement Signal Extraction from Interferogram Time Series. - Rémi Prébet; Yajing Yan; Matthias Jauvin; Emmanuel Trouvé (IGARSS, 2018)

A Data-Adaptive EOF-Based Method for Displacement Signal Retrieval From InSAR Displacement Measurement Time Series for Decorrelating Targets. - Rémi Prébet; Yajing Yan; Matthias Jauvin; Emmanuel Trouvé (IEEE Trans. Geosci. Remote. Sens., 2019)

Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry. - Damien Chablat; Rémi Prébet; Mohab Safey El Din; Durgesh Haribhau Salunkhe; Philippe Wenger (ISSAC, 2022)

Algorithm for Connectivity Queries on Real Algebraic Curves. - Md. Nazrul Islam; Adrien Poteaux; Rémi Prébet (ISSAC, 2023)

Connectivity in real algebraic sets: algorithms and applications. (Connexité dans les ensembles algébriques réels: algorithmes et applications). - Rémi Prébet (2023)

Algebraic Tools for Computing Polynomial Loop Invariants. - Erdenebayar Bayarmagnai; Fatemeh Mohammadi; Rémi Prébet (ISSAC, 2024)

Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity. - Rémi Prébet; Mohab Safey El Din; Éric Schost (CoRR, 2024)

Algebraic Tools for Computing Polynomial Loop Invariants (Extended Version). - Erdenebayar Bayarmagnai; Fatemeh Mohammadi; Rémi Prébet (CoRR, 2024)

Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results. - Rémi Prébet; Mohab Safey El Din; Éric Schost (J. Symb. Comput., 2024)

Beyond Affine Loops: A Geometric Approach to Program Synthesis. - Erdenebayar Bayarmagnai; Fatemeh Mohammadi; Rémi Prébet (SOAP@PLDI, 2025)

Efficient Algorithms for Minimal Matroid Extensions and Irreducible Decompositions of Circuit Varieties. - Emiliano Liwski; Fatemeh Mohammadi; Rémi Prébet (CoRR, 2025)