An improved systolic algorithm for the algebraic path problem
Integration, the VLSI Journal - Special issue on algorithms and architectures
Computability of recurrence equations
Theoretical Computer Science
Structuring and automating hardware proofs in a higher-order theorem-proving environment
Formal Methods in System Design - Special issue on computer-aided verification: special methods II
The Organization of Computations for Uniform Recurrence Equations
Journal of the ACM (JACM)
Towards Verified Systems
A Modular Coding of UNITY in COQ
TPHOLs '96 Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
The Algebraic Path Problem Revisited
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
A logical framework to prove properties of Alpha programs
ASAP '97 Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors
A Methodology for Proving Control Systems with Lustre and PVS
DCCA '99 Proceedings of the conference on Dependable Computing for Critical Applications
Hi-index | 0.00 |