| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno: Probabilistic Model Checking of the One-Dimensional Ising Model. IEICE Transactions 92-D(5): 1003-1011 (2009) |
| 2 | EE | Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi: Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus. IEICE Transactions 92-D(5): 995-1002 (2009) |
| 2008 | ||
| 1 | EE | Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi: Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. VSTTE 2008: 115-129 |
| 1 | Tohru Kikuno | [3] |
| 2 | Koichi Takahashi | [1] [2] [3] |
| 3 | Yoshinori Tanabe | [1] [2] |
| 4 | Tatsuhiro Tsuchiya | [3] |
| 5 | Yoshifumi Yuasa | [1] [2] |