Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tomohiro HIRAKAWA
Polynomial Time Verification of Behavioral Inheritance for Interworkflows Based on WfMC Protocol
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Electronic Engineering
Computer Graphics
Signal Processing
Applied Mathematics
Electrical
Computer-Aided Design
Related publications
Modeling and Verification of a Time-Triggered Networking Protocol
An Optimization for Differential Power Analysis Based on Time Series Verification
Observer‐based Controller for Positive Polynomial Systems With Time Delay
Optimal Control Applications and Methods
Control
Systems Engineering
Applied Mathematics
Optimization
Software
Inter- And Transgenerational Inheritance of Behavioral Phenotypes
Current Opinion in Behavioral Sciences
Psychiatry
Mental Health
Behavioral Neuroscience
Cognitive Neuroscience
Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Protocol Verification in Nuprl
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Public Quadratic Polynomial-Tuples for Efficient Signature-Verification and Message-Encryption
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
