A geometric consistency theorem for a symbolic perturbation scheme
SCG '88 Proceedings of the fourth annual symposium on Computational geometry
Implementing an irregular application on a distributed memory multiprocessor
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Programming models for irregular applications
ACM SIGPLAN Notices - Workshop on languages, compilers and run-time environments for distributed memory multiprocessors
The complexity of resolvent resolved
SODA '94 Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms
Non-linear loop invariant generation using Gröbner bases
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constructing invariants for hybrid systems
Formal Methods in System Design
Utilizing moment invariants and Grobner bases to reason about shapes
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.07 |