Three-dimensional object recognition
ACM Computing Surveys (CSUR) - Annals of discrete mathematics, 24
A Structure-preserving Clause Form Translation
Journal of Symbolic Computation
Introducing symbolic problem solving techniques in the dependence testing phases of a vectorizer
ICS '88 Proceedings of the 2nd international conference on Supercomputing
RSF: A Formalism for Executable Requirement Specifications
IEEE Transactions on Software Engineering
The complexity of almost linear diophantine problems
Journal of Symbolic Computation
Eliminating false data dependences using the Omega test
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
A multi-theory constraint satisfaction system
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Going Beyond Integer Programming with the Omega Test to Eliminate False Data Dependences
IEEE Transactions on Parallel and Distributed Systems
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Complexity and uniformity of elimination in Presburger arithmetic
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Eliminating array bound checking through dependent types
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
A Practical Decision Procedure for Arithmetic with Function Symbols
Journal of the ACM (JACM)
Deciding Linear Inequalities by Computing Loop Residues
Journal of the ACM (JACM)
Reasoning About Analog-Level Implementationsof Digital Systems
Formal Methods in System Design
Static and dynamic analysis of real-time systems
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Metalogical Frameworks II: Developing a Reflected Decision Procedure
Journal of Automated Reasoning
Verifying the SRT Division Algorithm Using Theorem Proving Techniques
Formal Methods in System Design
Modular Verification of SRT Division
Formal Methods in System Design
Theorem Proving for Verification
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Timed Verification of Asynchronous Circuits
Concurrency and Hardware Design, Advances in Petri Nets
Theorem proving for verification
Modeling and verification of parallel processes
Constructing decision procedures in equational clausal logic
Fundamenta Informaticae
Dependent ML An approach to practical programming with dependent types
Journal of Functional Programming
Model-based three dimensional interpretations of two dimensional images
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Hierarchical reasoning about inequalities
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Hierarchical reasoning about inequalities
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
The two variable per inequality abstract domain
Higher-Order and Symbolic Computation
Proving properties of stateflow models using ISO standard z and CADiZ
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Constructing Decision Procedures in Equational Clausal Logic
Fundamenta Informaticae
| Hi-index | 0.00 |