| 2014 | ISSAC | On the computation of the topology of plane curves. | Daouda Niang Diatta, Fabrice Rouillier, Marie-Franoise Roy |
| 2012 | ISSAC | Complexity of deciding connectivity in real algebraic sets: recent results and future research directions. | Marie-Franoise Roy |
| 2005 | STOC | Computing the first Betti number and the connected components of semi-algebraic sets. | Saugata Basu, Richard Pollack, Marie-Franoise Roy |
| 1998 | ISSAC | Complexity of Computing Semi-Algebraic Descriptions of the Connected Components of a Semi-Algebraic Set. | Saugata Basu, Richard Pollack, Marie-Franoise Roy |
| 1996 | ISSAC | Computing the Complexification of a Semi-Algebraic Set. | Marie-Franoise Roy, Nicolai N. Vorobjov Jr. |
| 1996 | STOC | Computing Roadmaps of Semi-Algebraic Sets (Extended Abstract). | Saugata Basu, Richard Pollack, Marie-Franoise Roy |
| 1994 | FOCS | On the Combinatorial and Algebraic Complexity of Quantifier Elimination | Saugata Basu, Richard Pollack, Marie-Franoise Roy |
| 1994 | ISSAC | Examples of Automatic Theorem Proving a Real Geometry. | Ahmed Guergueb, Jean Mainguen, Marie-Franoise Roy |
| 1993 | ISSAC | Aspect Graphs of Algebraic Surfaces. | Marie-Franoise Roy |
| 1989 | ISSAC | Sturm-Habicht Sequence. | Laureano Gonzlez, Henri Lombardi, Toms Recio, Marie-Franoise Roy |