Searching for authors named "Kazuhiro Ogata" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
The Evaluation Strategy for Head Normal Form With and Without on-Demand Flags
- …-demand ags Masaki Nakamura and Kazuhiro Ogata School of Information Science Japan Advanced Institute…
- Cited by 15 (2 self) – Add To MetaCart
-
Model-checking observational transition system with maude
- …Model-Checking Observational Transition Systems with Maude Weiqiang Kong 1 , Kazuhiro Ogata 1, 2…
- Cited by 1 (1 self) – Add To MetaCart
-
Modeling and verification of hybrid systems based on equations
- …MODELING AND VERIFICATION OF HYBRID SYSTEMS BASED ON EQUATIONS Kazuhiro Ogata NEC Software…
- Cited by 1 (1 self) – Add To MetaCart
-
The Design and Implementation of HoME
- …The Design and Implementation of HoME Kazuhiro Ogata, Satoshi Kurihara, Mikio Inari and Norihisa…
- Cited by 4 (1 self) – Add To MetaCart
-
How to Give Local Strategies to Function Symbols for Equality of Two Implementations of the E-strategy with and without Evaluated Flags
- … Takashi Nagaya, Michihiro Matsumoto 3 , Kazuhiro Ogata and Kokichi Futatsugi Graduate School…
- Cited by 3 (1 self) – Add To MetaCart
-
CafeOBJ: Logical Foundations and Methodologies
- … Advanced Institute of Science and Technology (JAIST) e-mail: kokichi@(email omitted); Kazuhiro Ogata NEC…
- Cited by 4 (0 self) – Add To MetaCart
-
Verifying design with proof scores
- …Verifying Design with Proof Scores Kokichi FUTATSUGI 1 , Joseph A. GOGUEN 2 , and Kazuhiro OGATA 3…
- Cited by 1 (0 self) – Add To MetaCart
-
The equivalence of the reductions with the E-strategy with and without marks
- …, Michihiro Matsumoto yz Kazuhiro Ogata y, and Kokichi Futatsugi y IS-RR-97-0034F yGraduate School…
- Add To MetaCart
-
Proof Scores in the OTS/CafeOBJ method
- …Proof Scores in the OTS/CafeOBJ Method Kazuhiro Ogata 1,2 and Kokichi Futatsugi 2 1 NEC Software…
- Cited by 12 (9 self) – Add To MetaCart
Showing 1 through 9.
