Algorithms in Real Algebraic Geometry S Basu, R Pollack, MF Roy | 2113* | 2006 |

On the combinatorial and algebraic complexity of quantifier elimination S Basu, R Pollack, MF Roy Journal of the ACM (JACM) 43 (6), 1002-1045, 1996 | 403 | 1996 |

Computing roadmaps of semi-algebraic sets on a variety S Basu, R Pollack, MF Roy Journal of the American Mathematical Society 13 (1), 55-82, 2000 | 133 | 2000 |

On bounding the Betti numbers and computing the Euler characteristic of semi-algebraic sets S Basu Proceedings of the twenty-eighth annual ACM symposium on Theory of computing …, 1996 | 112 | 1996 |

New results on quantifier elimination over real closed fields and applications to constraint databases S Basu Journal of the ACM (JACM) 46 (4), 537-555, 1999 | 104 | 1999 |

Design of CAECC-cellular automata based error correcting code DR Chowdhury, S Basu, IS Gupta, PP Chaudhuri IEEE Transactions on Computers 43 (6), 759-764, 1994 | 98 | 1994 |

On the combinatorial and algebraic complexity of quantifier elimination S Basu, R Pollack, MF Roy Proceedings 35th Annual Symposium on Foundations of Computer Science, 632-641, 1994 | 95 | 1994 |

A new algorithm to find a point in every cell defined by a family of polynomials S Basu, R Pollack, MF Roy Quantifier elimination and cylindrical algebraic decomposition, 341-350, 1998 | 93 | 1998 |

On the number of cells defined by a family of polynomials on a variety S Basu, R Pollak, MF Roy Mathematika 43 (1), 120-126, 1996 | 69 | 1996 |

Refined bounds on the number of connected components of sign conditions on a variety S Barone, S Basu Discrete & Computational Geometry 47 (3), 577-597, 2012 | 57 | 2012 |

A baby step–giant step roadmap algorithm for general algebraic sets S Basu, MF Roy, M El Din, É Schost Foundations of Computational Mathematics 14 (6), 1117-1172, 2014 | 46 | 2014 |

On computing a set of points meeting every cell defined by a family of polynomials on a variety S Basu, R Pollack, MF Roy Journal of Complexity 13 (1), 28-37, 1997 | 46 | 1997 |

Different bounds on the different Betti numbers of semi-algebraic sets S Basu Discrete and Computational Geometry 30 (1), 65-85, 2003 | 43 | 2003 |

Computing the first few Betti numbers of semi-algebraic sets in single exponential time S Basu Journal of Symbolic Computation 41 (10), 1125-1154, 2006 | 42 | 2006 |

Polynomial partitioning on varieties of codimension two and point-hypersurface incidences in four dimensions S Basu, M Sombra Discrete & Computational Geometry 55 (1), 158-184, 2016 | 41 | 2016 |

The combinatorial and topological complexity of a single cell S Basu Discrete & Computational Geometry 29 (1), 41-59, 2002 | 41* | 2002 |

M.-F. Roy Algorithms in real algebraic geometry S Basu, R Pollack Algorithms and Computation in Mathematics 10, 2006 | 40 | 2006 |

On the Betti numbers of sign conditions S Basu, R Pollack, MF Roy Proceedings of the American Mathematical Society 133 (4), 965-974, 2005 | 38 | 2005 |

Nephron‐sparing surgery across a nation–outcomes from the British Association of Urological Surgeons 2012 national partial nephrectomy audit A Fernando, S Fowler, T O'Brien, ... BJU international 117 (6), 874-882, 2016 | 33 | 2016 |

Computing roadmaps of semi-algebraic sets S Basu, R Pollack, MF Roy Proceedings of the twenty-eighth annual ACM symposium on Theory of computing …, 1996 | 32 | 1996 |