Rémi Prébet

19 papers B 3C 1Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Algebraic and algorithmic methods for computing polynomial loop invariants.
J. Symb. Comput.
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
2026 J jnl
Computing roadmaps in unbounded smooth real algebraic sets II: Algorithm and complexity.
J. Symb. Comput.
Rémi Prébet, Mohab Safey El Din, Éric Schost
2025 — conf
Beyond Affine Loops: A Geometric Approach to Program Synthesis.
SOAP@PLDI
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
2025 J jnl
Beyond Affine Loops: A Geometric Approach to Program Synthesis.
CoRR
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
2025 J jnl
Efficient Algorithms for Minimal Matroid Extensions and Irreducible Decompositions of Circuit Varieties.
CoRR
Emiliano Liwski, Fatemeh Mohammadi, Rémi Prébet
2025 J jnl
From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry.
CoRR
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
2024 J jnl
Algebraic Tools for Computing Polynomial Loop Invariants (Extended Version).
CoRR
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
2024 B conf
Algebraic Tools for Computing Polynomial Loop Invariants.
ISSAC
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
2024 J jnl
Algebraic Tools for Computing Polynomial Loop Invariants.
CoRR
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
2024 J jnl
Computing roadmaps in unbounded smooth real algebraic sets I: Connectivity results.
J. Symb. Comput.
Rémi Prébet, Mohab Safey El Din, Éric Schost
2024 J jnl
Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity.
CoRR
Rémi Prébet, Mohab Safey El Din, Éric Schost
2023 B conf
Algorithm for Connectivity Queries on Real Algebraic Curves.
ISSAC
Md. Nazrul Islam, Adrien Poteaux, Rémi Prébet
2023 J jnl
Algorithm for connectivity queries on real algebraic curves.
CoRR
Md. Nazrul Islam, Adrien Poteaux, Rémi Prébet
2023 — —
Connectivity in real algebraic sets: algorithms and applications. (Connexité dans les ensembles algébriques réels: algorithmes et applications).
Rémi Prébet
2022 J jnl
Computing roadmaps in unbounded smooth real algebraic sets I: connectivity results.
CoRR
Rémi Prébet, Mohab Safey El Din, Éric Schost
2022 B conf
Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry.
ISSAC
Damien Chablat, Rémi Prébet, Mohab Safey El Din, Durgesh Haribhau Salunkhe, Philippe Wenger
2022 J jnl
Deciding cuspidality of manipulators through computer algebra and algorithms in real algebraic geometry.
CoRR
Damien Chablat, Rémi Prébet, Mohab Safey El Din, Durgesh Haribhau Salunkhe, Philippe Wenger
2019 J jnl
A Data-Adaptive EOF-Based Method for Displacement Signal Retrieval From InSAR Displacement Measurement Time Series for Decorrelating Targets.
IEEE Trans. Geosci. Remote. Sens.
Rémi Prébet, Yajing Yan, Matthias Jauvin, Emmanuel Trouvé
2018 C conf
A Data-Adaptive Eof Based Method for Displacement Signal Extraction from Interferogram Time Series.
IGARSS
Rémi Prébet, Yajing Yan, Matthias Jauvin, Emmanuel Trouvé