TSUCHIYA Tatsuhiro | Osaka University
スポンサーリンク
概要
関連著者
-
Kikuno Tohru
Osaka Univ. Osaka
-
TSUCHIYA Tatsuhiro
Osaka University
-
Tsuchiya Tatsuhiro
Osaka Univ. Suita‐shi Jpn
-
Kikuno Tohru
Osaka University
-
Kikuno Tohru
Osaka Univ. Suita‐shi Jpn
-
KIMOTO Masahiro
Osaka University
-
Choi Eun-hye
National Institute Of Advanced Industrial Science And Technology
著作論文
- On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm
- Model Checking Active Database Rules under Various Rule Processing Strategies
- The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm