dblp.uni-trier.dewww.uni-trier.de

Mitsuharu Yamamoto

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
8EEYoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya: A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. TABLEAUX 2005: 277-291
7EEMitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya: Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. VSTTE 2005: 518-527
2004
6EEMasami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato: Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. FLOPS 2004: 7-21
2003
5EEOsamu Sato, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya: UML Scrapbook and Realization of Snapshot Programming Environment. ISSS 2003: 281-295
2002
4EEMitsuharu 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

Coauthor Index

1Jean-Marie Cottin [4]
2Masami Hagiya [1] [2] [3] [4] [5] [6] [7] [8]
3Shin-ya Nishizaki [1] [2]
4Richard Potter [5]
5Osamu Sato [5]
6Takahiro Sato [6]
7Koichi Takahashi [2] [6] [7] [8]
8Tetsuo Tamai [2]
9Yoshinori Tanabe [7] [8]
10Yozo Toda [1]
11Akihiko Tozawa [8]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)