Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ramayya Kumar
Automating Most Parts of Hardware Proofs in HOL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formally Embedding Existing High Level Synthesis Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Certified Connection Tableaux Proofs for HOL Light and TPTP
Nuprl as Logical Framework for Automating Proofs in Category Theory
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Computer Vision Hardware System for Automating Rough Mills of Furniture Plants
Refinement to Imperative/Hol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Formalization of Discrete Fourier Transform in HOL
Mathematical Problems in Engineering
Mathematics
Engineering
On Definitions of Constants and Types in HOL
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
From LCF to Isabelle/Hol
Formal Aspects of Computing
Theoretical Computer Science
Software
Automating Localization Microscopy
Biophysical Journal
Biophysics
Proofs for Free
Journal of Functional Programming
Software
