The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mitsuharu Yamamoto: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002