| * | 2009 |
|---|
| 9 | EE | Watcharin Leungwattanakit,
Cyrille Artho,
Masami Hagiya,
Yoshinori Tanabe,
Mitsuharu Yamamoto:
Verifying networked programs using a model checker extension.
ICSE Companion 2009: 409-410 |
| 2005 |
|---|
| 8 | EE | Yoshinori Tanabe,
Koichi Takahashi,
Mitsuharu Yamamoto,
Akihiko Tozawa,
Masami Hagiya:
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.
TABLEAUX 2005: 277-291 |
| 7 | EE | Mitsuharu Yamamoto,
Yoshinori Tanabe,
Koichi Takahashi,
Masami Hagiya:
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.
VSTTE 2005: 518-527 |
| 2004 |
|---|
| 6 | EE | Masami Hagiya,
Koichi Takahashi,
Mitsuharu Yamamoto,
Takahiro Sato:
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic.
FLOPS 2004: 7-21 |
| 2003 |
|---|
| 5 | EE | Osamu Sato,
Richard Potter,
Mitsuharu Yamamoto,
Masami Hagiya:
UML Scrapbook and Realization of Snapshot Programming Environment.
ISSS 2003: 281-295 |
| 2002 |
|---|
| 4 | EE | Mitsuharu Yamamoto,
Jean-Marie Cottin,
Masami Hagiya:
Decidability of Safety Properties of Timed Multiset Rewriting.
FTRTFT 2002: 165-184 |
| 2001 |
|---|
| 3 | | Mitsuharu Yamamoto,
Masami Hagiya:
Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata.
APLAS 2001: 193-205 |
| 1998 |
|---|
| 2 | EE | Mitsuharu Yamamoto,
Koichi Takahashi,
Masami Hagiya,
Shin-ya Nishizaki,
Tetsuo Tamai:
Formalization of Graph Search Algorithms and Its Applications.
TPHOLs 1998: 479-496 |
| 1995 |
|---|
| 1 | EE | Mitsuharu Yamamoto,
Shin-ya Nishizaki,
Masami Hagiya,
Yozo Toda:
Formalization of Planar Graphs.
TPHOLs 1995: 369-384 |
