Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by TOORU UOI
On Verification of Superiority in Pharmacometrics and the Equivalence Verification.
Japanese Journal of Clinical Pharmacology and Therapeutics
Pharmacology
Related publications
Regression Verification: Proving the Equivalence of Similar Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Post-Reboot Equivalence and Compositional Verification of Hardware
Verification of Concurrent Quantum Protocols by Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Source Code Transformations by Program Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Choice of Tests for Logic Verification and Equivalence Checking and the Use of Fault Simulation
Kinship Verification in the Wild: The First Kinship Verification Competition
On Verification of Software Components
International Journal of Software Engineering & Applications
On Quantitative Software Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Performance Analysis of SPHINCS+ Verification
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
