The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yoshinori Tanabe: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]

  2. A decision procedure for alternation-free modal µ-calculi. [Citation Graph (, )][DBLP]


  3. Verifying networked programs using a model checker extension. [Citation Graph (, )][DBLP]


  4. Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. [Citation Graph (, )][DBLP]


  5. Tools and Techniques for Model Checking Networked Programs. [Citation Graph (, )][DBLP]


  6. Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. [Citation Graph (, )][DBLP]


  7. Efficient Model Checking of Networked Applications. [Citation Graph (, )][DBLP]


  8. Decidability and Undecidability Results on the Modal µ-Calculus with a Natural Number-Valued Semantics. [Citation Graph (, )][DBLP]


  9. Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. [Citation Graph (, )][DBLP]


  10. Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. [Citation Graph (, )][DBLP]


Search in 0.035secs, Finished in 0.035secs
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