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 | | 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 | | Mitsuharu Yamamoto,
Shin-ya Nishizaki,
Masami Hagiya,
Yozo Toda:
Formalization of Planar Graphs.
TPHOLs 1995: 369-384 |