Searching for authors named "Koichi Takahashi" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Proving as Editing HOL Tactics
- … (Figure 3). Such a structured tactic can prove the Correspondence and oprint requests to: Koichi Takahashi…
- Cited by 2 (1 self) – Add To MetaCart
-
Nonce Analysis and Strand Space Model
- …Nonce Analysis and Strand Space Model Koichi Takahashi, Yozo Toda, and Masami Hagiya…
- Add To MetaCart
-
Searching for Synchronization Algorithms using BDDs
- … and Koichi Takahashi (9b66 9'0l) yy The impact of verication technologies would be much greater…
- Add To MetaCart
-
Distance Dependence of Microwave Delay Spread Measured in Urban Quasi Line-of-Sight Environments
- …MASU + , Koichi TAKAHASHI +# , Satoshi TAKAHASHI +## , Kouzou KAGE +### , and Takehiko KOBAYASHI + , Members…
- Add To MetaCart
-
Formalization of Graph Search Algorithms and Its Applications
- …Formalization of Graph Search Algorithms and Its Applications Mitsuharu Yamamoto 1 , Koichi…
- Cited by 6 (0 self) – Add To MetaCart
-
Notes on the Bisimulation Relation of Process Graphs
- … 8MB Koichi Takahashi Satoru Tomura Kokichi Futatsugi EE;R5;=QAm9g8&5f=j Electrotechnical…
- Add To MetaCart
-
Verification of Parallel Garbage Collection by Abstract Model Checking (Extended Abstract)
- … Hagiya (corresponding author) 1 , Koichi Takahashi 2 1 Department of Information Science, Graduate…
- Add To MetaCart
-
Groupoid of Equational Proofs
- …TR--95-17 Groupoid of Equational Proofs Yoshiki Kinoshita and Koichi Takahashi 3 Electrotechnical…
- Add To MetaCart
-
unknown title
- … matter microstructural changes on MRI in relation to early-stage atherosclerosis Tetsuya Takahashi, a…
- Add To MetaCart
Showing 1 through 9.
