|
Search the dblp DataBase
Masahiro Nakano:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi
Induction-Guided Falsification. [Citation Graph (0, 0)][DBLP] ICFEM, 2006, pp:114-131 [Conf]
- 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]
- 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]
- Masahiro Nakano, Hiroyuki Matsuura, Tetsuya Nemoto, Nobuo Noda
Management and Control of Vibrational Motions of Muscle Elements. [Citation Graph (0, 0)][DBLP] ICICIC (3), 2006, pp:560-563 [Conf]
- Nobuo Noda, Masahiro Nakano, Hiroyuki Matsuura, Tetsuya Nemoto, Kazuharu Koide
Numerical Analysis of Blood Flow in Vessels. [Citation Graph (0, 0)][DBLP] ICICIC (3), 2006, pp:545-546 [Conf]
- Tetsuya Nemoto, Tadahiro Kin, Masahiro Nakano, Akira Shimamoto, Fumio Nogata, Hiroyuki Matsuura
Cell Preservation by Application of Tardigrada's Adaptation to Extreme Circumstances. [Citation Graph (0, 0)][DBLP] ICICIC (3), 2006, pp:553-555 [Conf]
- Kazuharu Koide, Hiroyuki Matsuura, Nobuo Noda, Masahiro Nakano
Simulations on The Population and Disease in Japan. [Citation Graph (0, 0)][DBLP] ICICIC (3), 2006, pp:550-552 [Conf]
- Hiroyuki Matsuu, Nobuo Noda, Kazuyuki Koide, Tetsuya Nemoto, Kadahiro Kin, Ken-ichi Makino, Masahiro Nakano
Stochastic Mechanism and Its Dynamics in Biological System. [Citation Graph (0, 0)][DBLP] ICICIC (3), 2006, pp:541-544 [Conf]
Nonnegative Matrix Factorization with Markov-Chained Bases for Modeling Time-Varying Patterns in Music Spectrograms. [Citation Graph (, )][DBLP]
Construction of Text Summarization Corpus for the Credibility of Information on the Web. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|