Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kohei Suenaga
A Guess-And-Assume Approach to Loop Fusion for Program Verification
Resource Usage Analysis for the Π-Calculus
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Unified Approach of Program Verification
Acta Universitatis Sapientiae, Informatica
A Unified Approach to Authorship Attribution and Verification
American Statistician
Mathematics
Statistics
Uncertainty
Probability
Offline Signature Verification: An Approach Based on Score Level Fusion
International Journal of Computer Applications
A Metric for Testing Program Verification Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Searching for a Solution to Program Verification=Equation Solving in CCS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Checking for Program Verification
A General Approach to Deadlock Freedom Verification for Software Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Fusion Approach for Signature Recognition
International Journal of Computer and Electrical Engineering
Iterative Collective Loop Fusion
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
