Search the dblp DataBase

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]