Tsuchiya Tatsuhiro | Osaka Univ. Suita‐shi Jpn
スポンサーリンク
概要
関連著者
-
Kikuno Tohru
Osaka Univ. Osaka
-
Tsuchiya Tatsuhiro
Osaka Univ. Suita‐shi Jpn
-
Kikuno Tohru
Osaka University
-
TSUCHIYA Tatsuhiro
Osaka University
-
Choi Eun-hye
National Institute Of Advanced Industrial Science And Technology
-
Kikuno Tohru
Osaka Univ. Suita‐shi Jpn
-
KIMOTO Masahiro
Osaka University
-
NANBA Toru
Osaka University
著作論文
- 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
- Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints
- Model Checking Active Database Rules under Various Rule Processing Strategies
- Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints