| Solving systems of polynomial inequalities in subexponential time DY Grigor'ev, NN Vorobjov Jr Journal of symbolic computation 5 (1-2), 37-64, 1988 | 478 | 1988 |
| Complexity of Null-and Positivstellensatz proofs D Grigoriev, N Vorobjov Annals of Pure and Applied Logic 113 (1-3), 153-160, 2001 | 108 | 2001 |
| Complexity of computations with Pfaffian and Noetherian functions A Gabrielov, N Vorobjov Normal forms, bifurcations and finiteness problems in differential equations …, 2004 | 102 | 2004 |
| Counting connected components of a semialgebraic set in subexponential time DY Grigor'ev, NN Vorobjov Computational Complexity 2, 133-186, 1992 | 102 | 1992 |
| Betti numbers of semialgebraic and sub-Pfaffian sets A Gabrielov, N Vorobjov, T Zell Journal of the London Mathematical Society 69 (1), 27-43, 2004 | 61 | 2004 |
| Complexity of stratification of semi-Pfaffian sets A Gabrielov, N Vorobjov Discrete & computational geometry 14 (1), 71-91, 1995 | 52 | 1995 |
| Betti numbers of semialgebraic sets defined by quantifier-free formulae A Gabrielov, N Vorobjov Discrete & Computational Geometry 33, 395-401, 2005 | 49 | 2005 |
| Finding connected components of a semialgebraic set in subexponential time J Canny, DY Grigor'ev, NN Vorobjov Jr Applicable Algebra in Engineering, Communication and Computing 2 (4), 217-238, 1992 | 46 | 1992 |
| Approximation of definable sets by compact families, and upper bounds on homotopy and homology A Gabrielov, N Vorobjov Journal of the London Mathematical Society 80 (1), 35-54, 2009 | 43 | 2009 |
| Complexity of cylindrical decompositions of sub-Pfaffian sets A Gabrielov, N Vorobjov Journal of Pure and Applied Algebra 164 (1-2), 179-197, 2001 | 38 | 2001 |
| Bounds on numers of vectors of multiplicities for polynomials which are easy to compute D Grigoriev, N Vorobjov Proceedings of the 2000 international symposium on Symbolic and algebraic …, 2000 | 31 | 2000 |
| Complexity of finding irreducible components of a semialgebraic set A Galligo, N VOROBJov Journal of Complexity 11 (1), 174-193, 1995 | 31 | 1995 |
| Pfaffian hybrid systems M Korovina, N Vorobjov Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual …, 2004 | 29 | 2004 |
| On the number of homotopy types of fibres of a definable map S Basu, N Vorobjov Journal of the London Mathematical Society 76 (3), 757-776, 2007 | 28 | 2007 |
| Complexity lower bounds for computation trees with elementary transcendental function gates D Grigoriev, N Vorobjov Theoretical computer science 157 (2), 185-214, 1996 | 24 | 1996 |
| Improved lower bound on testing membership to a polyhedron by algebraic decision trees D Grigoriev, M Karpinski, N Vorobjov Proceedings of IEEE 36th Annual Foundations of Computer Science, 258-265, 1995 | 24 | 1995 |
| Computing the complexification of a semi-algebraic set MF Roy, N Vorobjov Proceedings of the 1996 international symposium on Symbolic and algebraic …, 1996 | 21 | 1996 |
| Semi-monotone sets. S Basu, A Gabrielov, N Vorobjov Journal of the European Mathematical Society (EMS Publishing) 15 (2), 2013 | 20 | 2013 |
| Deciding consistency of systems of polynomial in exponent inequalities in subexponential time NN Vorobjov Jr Effective Methods in Algebraic Geometry, 491-500, 1991 | 20 | 1991 |
| Upper and lower bounds on sizes of finite bisimulations of Pfaffian hybrid systems M Korovina, N Vorobjov Conference on Computability in Europe, 267-276, 2006 | 19 | 2006 |
