Logique et géométrie algébrique réelle. - Marie-Françoise Roy (Logic Colloquium, 1985)

On the Computation of the Local and Global Analytic Branches of a Real Algebraic Curve. - Felipe Cucker; Luis Miguel Pardo; Mario Raimondo; Tomás Recio; Marie-Françoise Roy (AAECC, 1987)

Curves and Computer Algebra. - Dominique Duval; Marie-Françoise Roy (Geometry and Robotics, 1988)

Thom's Lemma, the Coding of Real Algebraic Numbers and the Computation of the Topology of Semi-Algebraic Sets. - Michel Coste; Marie-Françoise Roy (J. Symb. Comput., 1988)

On the Complexity of Semialgebraic Sets. - Joos Heintz; Pablo Solernó; Marie-Françoise Roy (IFIP Congress, 1989)

Sturm-Habicht Sequence. - Laureano González; Henri Lombardi; Tomás Recio; Marie-Françoise Roy (ISSAC, 1989)

Geometric Problems Solvable in Single Exponential Time. - Joos Heintz; Teresa Krick; Marie-Françoise Roy; Pablo Solernó (AAECC, 1990)

Single Exponential Path Finding in Semialgebraic Sets. Part 1: The Case of a Regular Bounded Hypersurface. - Joos Heintz; Marie-Françoise Roy; Pablo Solernó (AAECC, 1990)

Algorithms in Real Algebraic Geometry and Applications to Computational Geometry. - Joos Heintz; Tomás Recio; Marie-Françoise Roy (Discrete and Computational Geometry, 1990)

Spécialisation de la suite de Sturm et sous-résulants. - Laureano González-Vega; Henri Lombardi; Tomás Recio; Marie-Françoise Roy (RAIRO Theor. Informatics Appl., 1990)

A Theorem on Random Polynomials and Some Consequences in Average Complexity. - Felipe Cucker; Marie-Françoise Roy (J. Symb. Comput., 1990)

Complexity of the Computation on Real Algebraic Numbers. - Marie-Françoise Roy; Aviva Szpirglas (J. Symb. Comput., 1990)

NC Algorithms for Real Algebraic Numbers. - Felipe Cucker; Hervé Lanneau; Bud Mishra; Paul Pedersen; Marie-Françoise Roy (Appl. Algebra Eng. Commun. Comput., 1992)

Aspect Graphs of Algebraic Surfaces. - Marie-Françoise Roy (ISSAC, 1993)

On the Theoretical and Practical Complexity of the Existential Theory of Reals. - Joos Heintz; Marie-Françoise Roy; Pablo Solernó (Comput. J., 1993)

Examples of Automatic Theorem Proving a Real Geometry. - Ahmed Guergueb; Jean Mainguené; Marie-Françoise Roy (ISSAC, 1994)

Finding Irreducible Components of Some Real Transcendental Varieties. - Marie-Françoise Roy; Nicolai N. Vorobjov Jr. (Comput. Complex., 1994)

Description of the Connected Components of a Semialgebraic in Single Exponential Time. - Joos Heintz; Marie-Françoise Roy; Pablo Solernó (Discret. Comput. Geom., 1994)

Spécialisation de la suite de Sturm. - Laureano González-Vega; Henri Lombardi; Tomás Recio; Marie-Françoise Roy (RAIRO Theor. Informatics Appl., 1994)

Computing the Complexification of a Semi-Algebraic Set. - Marie-Françoise Roy; Nicolai N. Vorobjov Jr. (ISSAC, 1996)

Computing Roadmaps of Semi-Algebraic Sets (Extended Abstract). - Saugata Basu; Richard Pollack; Marie-Françoise Roy (STOC, 1996)

On the Combinatorial and Algebraic Complexity of Quantifier Elimination. - Saugata Basu; Richard Pollack; Marie-Françoise Roy (J. ACM, 1996)

Semi-algebraic Complexity of Quotients and Sign Determination of Remainders. - Thomas Lickteig; Marie-Françoise Roy (J. Complex., 1996)

On Computing a Set of Points Meeting Every Cell Defined by a Family of Polynomials on a Variety. - Saugata Basu; Richard Pollack; Marie-Françoise Roy (J. Complex., 1997)

Complexity of Computing Semi-Algebraic Descriptions of the Connected Components of a Semi-Algebraic Set. - Saugata Basu; Richard Pollack; Marie-Françoise Roy (ISSAC, 1998)

Finding at Least One Point in Each Connected Component of a Real Algebraic Set Defined by a Single Equation. - Fabrice Rouillier; Marie-Françoise Roy; Mohab Safey El Din (J. Complex., 2000)

New Structure Theorem for Subresultants. - Henri Lombardi; Marie-Françoise Roy; Mohab Safey El Din (J. Symb. Comput., 2000)

Dynamical method in algebra: effective Nullstellensätze. - Michel Coste; Henri Lombardi; Marie-Françoise Roy (Ann. Pure Appl. Log., 2001)

Sylvester-Habicht Sequences and Fast Cauchy Index Computation. - Thomas Lickteig; Marie-Françoise Roy (J. Symb. Comput., 2001)

An elementary characterisation of Krull dimension. - Thierry Coquand; Henri Lombardi; Marie-Françoise Roy (From sets and types to topology and analysis, 2005)

05021 Abstracts Collection – Mathematics, Algorithms, Proofs. - Thierry Coquand; Henri Lombardi; Marie-Françoise Roy (Mathematics, Algorithms, Proofs, 2005)

Subdiscriminant of symmetric matrices are sums of squares. - Marie-Françoise Roy (Mathematics, Algorithms, Proofs, 2005)

Computing the first Betti number and the connected components of semi-algebraic sets. - Saugata Basu; Richard Pollack; Marie-Françoise Roy (STOC, 2005)

Computing the euler-poincaré characteristics of sign conditions. - Saugata Basu; Richard Pollack; Marie-Françoise Roy (Comput. Complex., 2005)

Generalized Budan-Fourier theorem and virtual roots. - Michel Coste; Tomás Lajous-Loaeza; Henri Lombardi; Marie-Françoise Roy (J. Complex., 2005)

Preface. - Arjeh M. Cohen; Gert-Martin Greuel; Marie-Françoise Roy (J. Symb. Comput., 2005)

Computing the First Betti Numberand Describing the Connected Components of Semi-algebraic Sets - Saugata Basu; Richard Pollack; Marie-Françoise Roy (CoRR, 2006)

An asymptotically tight bound on the number of connected components of realizable sign conditions - Saugata Basu; Richard Pollack; Marie-Françoise Roy (CoRR, 2006)

Betti numbers of semi-algebraic sets defined by partly quadratic systems of polynomials - Saugata Basu; Dmitrii V. Pasechnik; Marie-Françoise Roy (CoRR, 2007)

Certificates of Positivity in the Bernstein Basis. - Fatima Boudaoud; Fabrizio Caruso; Marie-Françoise Roy (Discret. Comput. Geom., 2008)

Quantitative results on quadratic semi-algebraic sets. - Marie-Françoise Roy (Electron. Notes Discret. Math., 2008)

Computing the First Betti Number of a Semi-Algebraic Set. - Saugata Basu; Richard Pollack; Marie-Françoise Roy (Found. Comput. Math., 2008)

An asymptotically tight bound on the number of semi-algebraically connected components of realizable sign conditions. - Saugata Basu; Richard Pollack; Marie-Françoise Roy (Comb., 2009)

A bound on the minimum of a real positive polynomial over the standard simplex - Saugata Basu; Richard Leroy; Marie-Françoise Roy (CoRR, 2009)

Bounding the radii of balls meeting every connected component of semi-algebraic sets. - Saugata Basu; Marie-Françoise Roy (J. Symb. Comput., 2010)

Sylvester double sums and subresultants. - Marie-Françoise Roy; Aviva Szpirglas (J. Symb. Comput., 2011)

Complexity of deciding connectivity in real algebraic sets: recent results and future research directions. - Marie-Françoise Roy (ISSAC, 2012)

Zero-nonzero and real-nonreal sign determination - Daniel Perrucci; Marie-Françoise Roy (CoRR, 2013)

New fast euclidean algorithms. - Marie-Françoise Roy; Sidi Mohamed Sedjelmaci (J. Symb. Comput., 2013)

On the computation of the topology of plane curves. - Daouda Niang Diatta; Fabrice Rouillier; Marie-Françoise Roy (ISSAC, 2014)

Divide and Conquer Roadmap for Algebraic Sets. - Saugata Basu; Marie-Françoise Roy (Discret. Comput. Geom., 2014)

A Baby Step-Giant Step Roadmap Algorithm for General Algebraic Sets. - Saugata Basu; Marie-Françoise Roy; Mohab Safey El Din; Éric Schost (Found. Comput. Math., 2014)

Elementary recursive quantifier elimination based on Thom encoding and sign determination. - Daniel Perrucci; Marie-Françoise Roy (Ann. Pure Appl. Log., 2017)

A data analysis of women's trails among ICM speakers. - Helena Mihaljevic; Marie-Françoise Roy (CoRR, 2019)

Sylvester double sums, subresultants and symmetric multivariate Hermite interpolation. - Marie-Françoise Roy; Aviva Szpirglas (J. Symb. Comput., 2020)

Bounds for Polynomials on Algebraic Numbers and Application to Curve Topology. - Daouda Niang Diatta; Sény Diatta; Fabrice Rouillier; Marie-Françoise Roy; Michael Sagraloff (Discret. Comput. Geom., 2022)

A new general formula for the Cauchy index on an interval with subresultants. - Daniel Perrucci; Marie-Françoise Roy (J. Symb. Comput., 2022)