Search the dblp DataBase

Publications of Author

1. Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi
   Chocolat/SMV: A Translator from CafeOBJ into SMV. [Citation Graph (0, 0)][DBLP]
   PDCAT, 2005, pp:416-420 [Conf]
   
2. Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama
   Argument Filtering Transformation. [Citation Graph (0, 0)][DBLP]
   PPDP, 1999, pp:47-61 [Conf]
   
3. Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi
   Automating Invariant Verification of Behavioral Specifications. [Citation Graph (0, 0)][DBLP]
   QSIC, 2006, pp:49-56 [Conf]
   
4. Masaki Nakamura, Kazuhiro Ogata
   The evaluation strategy for head normal form with and without on-demand flags. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
   
5. Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama
   Elimination Transformations for Associative-Commutative Rewriting Systems. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2006, v:37, n:3, pp:205-229 [Journal]
   
6. Masaki Nakamura, Kokichi Futatsugi
   On Equality Predicates in Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2007, pp:381-395 [Conf]
   
7. 
   Computational holography: the real 3-D by fast wave-field rendering in ultra high resolution. [Citation Graph (, )][DBLP]