Bounding the Vapnik-Chervonenkis dimension of concept classes parameterized by real numbers
COLT '93 Proceedings of the sixth annual conference on Computational learning theory
Motion planning in the presence of moving obstacles
Journal of the ACM (JACM)
Towards a theory of spatial database queries (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Monomial bases and polynomial system solving (extended abstract)
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Quantifier elimination for real algebra—the cubic case
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Computational geometry: a retrospective
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Lower bounds on testing membership to a polyhedron by algebraic decision trees
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Constraint programming and database languages: a tutorial
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the combinatorial and algebraic complexity of quantifier elimination
Journal of the ACM (JACM)
Towards practical constraint databases (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Uniform quantifier elimination and constraint query processing
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
On the containment and equivalence of database queries with linear constraints (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Computing local dimension of a semialgebraic set
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
A black box approach to the algebraic set decomposition problem
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
MARS: a MAPLE/MATLAB/C resultant-based solver
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Complexity estimates depending on condition and round-off error
Journal of the ACM (JACM)
On the complexity of diophantine geometry in low dimensions (extended abstract)
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A new algorithm for the geometric decomposition of a variety
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
On linear-time deterministic algorithms for optimization problems in fixed dimension
SODA '93 Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms
Journal of the ACM (JACM)
A subdivision-based algorithm for the sparse resultant
Journal of the ACM (JACM)
New complexity bounds for cylindrical decompositions of sub-pfaffian sets
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Improved projection for cylindrical algebraic decomposition
Journal of Symbolic Computation
On moving object queries: (extended abstract)
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Decidable verification for reducible timed automata specified in a first order logic with time
Theoretical Computer Science
Transfer theorems via sign conditions
Information Processing Letters
Testing Positiveness of Polynomials
Journal of Automated Reasoning
A New Approach for Automatic Theorem Proving in Real Geometry
Journal of Automated Reasoning
On the Complexity of Semidefinite Programs
Journal of Global Optimization
Algebraic Geometry and Computer Vision: Polynomial Systems, Real andComplex Roots
Journal of Mathematical Imaging and Vision
Real computations with fake numbers
Journal of Complexity
A New Criterion for Normal Form Algorithms
AAECC-13 Proceedings of the 13th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Real Computations with Fake Numbers
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Variable Independence, Quantifier Elimination, and Constraint Representations
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Learning from Approximate Data
COCOON '00 Proceedings of the 6th Annual International Conference on Computing and Combinatorics
Moving Objects: Logical Relationships and Queries
SSTD '01 Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases
Learning Real Polynomials with a Turing Machine
ALT '99 Proceedings of the 10th International Conference on Algorithmic Learning Theory
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Continuous First-Order Constraint Satisfaction
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Real solving for positive dimensional systems
Journal of Symbolic Computation
Proceedings of the nineteenth annual symposium on Computational geometry
Extending the constraint database framework
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Learning from rounded-off data
Information and Computation
Multivariate Polynomial Minimization and Its Application in Signal Processing
Journal of Global Optimization
Variable independence for first-order definable constraints
ACM Transactions on Computational Logic (TOCL)
Computer algebra handbook
Polynomial equation solving by lifting procedures for ramified fibers
Theoretical Computer Science - Algebraic and numerical algorithm
Computing the first Betti number and the connected components of semi-algebraic sets
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
An Algebraic Geometry Approach to Protein Structure Determination from NMR Data
CSB '05 Proceedings of the 2005 IEEE Computational Systems Bioinformatics Conference
On the Complexity of Real Functions
FOCS '05 Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science
Generalized polar varieties: geometry and algorithms
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
Computational complexity of diagram satisfaction in Euclidean geometry
Journal of Complexity
Efficient solving of quantified inequality constraints over the real numbers
ACM Transactions on Computational Logic (TOCL)
An elementary proof of Sylvester's double sums for subresultants
Journal of Symbolic Computation
Recurrence with affine level mappings is p-time decidable for clp$({\mathbb r})$
Theory and Practice of Logic Programming
Computing the global optimum of a multivariate polynomial over the reals
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Automata, Probability, and Recursion
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
Inclusion dynamics hybrid automata
Information and Computation
Approximability and Parameterized Complexity of Minmax Values
WINE '08 Proceedings of the 4th International Workshop on Internet and Network Economics
Variant real quantifier elimination: algorithm and application
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
A logic for reasoning about evidence
Journal of Artificial Intelligence Research
Artifact-Centric Workflow Dominance
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Generalized polar varieties: geometry and algorithms
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
Out of order quantifier elimination for Standard Quantified Linear Programs
Journal of Symbolic Computation
VPSPACE and a transfer theorem over the reals
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
Algorithms and theory of computation handbook
On the computational complexity of degenerate unit distance representations of graphs
IWOCA'10 Proceedings of the 21st international conference on Combinatorial algorithms
On probabilistic parallel programs with process creation and synchronisation
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
Recursive concurrent stochastic games
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
A logic for reasoning about evidence
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Two logical hierarchies of optimization problems over the real numbers
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
The expressivity of constraint query languages with boolean algebra linear cardinality constraints
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
An algebraic approach for the unsatisfiability of nonlinear constraints
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Root isolation of zero-dimensional polynomial systems with linear univariate representation
Journal of Symbolic Computation
Variant quantifier elimination
Journal of Symbolic Computation
Computing a nonnegative matrix factorization -- provably
STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
Survey: Nash equilibria: Complexity, symmetries, and approximation
Computer Science Review
Exotic quantifiers, complexity classes, and complete problems
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Relational Hidden Variables and Non-Locality
Studia Logica
Verified error bounds for real solutions of positive-dimensional polynomial systems
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Lifts of Convex Sets and Cone Factorizations
Mathematics of Operations Research
Hi-index | 0.00 |