Search the dblp DataBase

Publications of Author

1. Mitsuharu Yamamoto, Masami Hagiya
   Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. [Citation Graph (0, 0)][DBLP]
   APLAS, 2001, pp:193-205 [Conf]
   
2. Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato
   Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2004, pp:7-21 [Conf]
   
3. Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya
   Decidability of Safety Properties of Timed Multiset Rewriting. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 2002, pp:165-184 [Conf]
   
4. Osamu Sato, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya
   UML Scrapbook and Realization of Snapshot Programming Environment. [Citation Graph (0, 0)][DBLP]
   ISSS, 2003, pp:281-295 [Conf]
   
5. Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya
   A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2005, pp:277-291 [Conf]
   
6. Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda
   Formalization of Planar Graphs. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1995, pp:369-384 [Conf]
   
7. Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai
   Formalization of Graph Search Algorithms and Its Applications. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1998, pp:479-496 [Conf]
   
8. 
   Verifying networked programs using a model checker extension. [Citation Graph (, )][DBLP]
   
   
9. 
   Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. [Citation Graph (, )][DBLP]
   
   
10. 
    Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. [Citation Graph (, )][DBLP]