Decidable problems for powerful programs
Journal of the ACM (JACM)
The complexity of linear problems in fields
Journal of Symbolic Computation
The complexity of almost linear diophantine problems
Journal of Symbolic Computation
Simulation and optimization by quantifier elimination
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
On the SUP-INF Method for Proving Presburger Formulas
Journal of the ACM (JACM)
An NP-Complete Number-Theoretic Problem
Journal of the ACM (JACM)
Verification Decidability of Presburger Array Programs
Journal of the ACM (JACM)
Loop Parallelization in the Polytope Model
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Elementary bounds for presburger arithmetic
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Presburger arithmetic with bounded quantifier alternation
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Mixed real-integer linear quantifier elimination
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Exact analysis of the cache behavior of nested loops
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Quantifier elimination for the reals with a predicate for the powers of two
Theoretical Computer Science
Proof Synthesis and Reflection for Linear Arithmetic
Journal of Automated Reasoning
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Modular inference of subprogram contracts for safety checking
Journal of Symbolic Computation
Interpolating quantifier-free Presburger arithmetic
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Quantifier elimination for constraint logic programming
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
New domains for applied quantifier elimination
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
Weak integer quantifier elimination beyond the linear case
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
| Hi-index | 0.00 |