Algorithms in Real Algebraic Geometry S Basu, R Pollack, MF Roy | 2443* | 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 | 427 | 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 | 145 | 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 | 123 | 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 | 112 | 1999 |

Removal of organic dyes from water by liquid–liquid extraction using reverse micelles P Pandit, S Basu Journal of colloid and interface science 245 (1), 208-214, 2002 | 110 | 2002 |

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 | 109 | 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 | 105 | 1998 |

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 | 101 | 1994 |

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 | 71 | 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 | 60 | 2012 |

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

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 | 50 | 2016 |

Different bounds on the different Betti numbers of semi-algebraic sets Basu Discrete & Computational Geometry 30, 65-85, 2003 | 50 | 2003 |

Algorithms in real algebraic geometry: a survey S Basu arXiv preprint arXiv:1409.1534, 2014 | 47 | 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 | 47 | 1997 |

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 | 44 | 2006 |

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

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

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