| 2007 |
|---|
| 9 | EE | Masahiro Nakano,
Kazuhiro Ogata,
Masaki Nakamura,
Kokichi Futatsugi:
CrÈme: an Automatic Invariant Prover of Behavioral Specifications.
International Journal of Software Engineering and Knowledge Engineering 17(6): 783-804 (2007) |
| 2006 |
|---|
| 8 | EE | Kazuhiro Ogata,
Masahiro Nakano,
Weiqiang Kong,
Kokichi Futatsugi:
Induction-Guided Falsification.
ICFEM 2006: 114-131 |
| 7 | EE | Hiroyuki Matsuura,
Nobuo Noda,
Kazuyuki Koide,
Tetsuya Nemoto,
Kadahiro Kin,
Ken-ichi Makino,
Masahiro Nakano:
Stochastic Mechanism and Its Dynamics in Biological System.
ICICIC (3) 2006: 541-544 |
| 6 | EE | Nobuo Noda,
Masahiro Nakano,
Hiroyuki Matsuura,
Tetsuya Nemoto,
Kazuharu Koide:
Numerical Analysis of Blood Flow in Vessels.
ICICIC (3) 2006: 545-546 |
| 5 | EE | Kazuharu Koide,
Hiroyuki Matsuura,
Nobuo Noda,
Masahiro Nakano:
Simulations on The Population and Disease in Japan.
ICICIC (3) 2006: 550-552 |
| 4 | EE | Tetsuya Nemoto,
Tadahiro Kin,
Masahiro Nakano,
Akira Shimamoto,
Fumio Nogata,
Hiroyuki Matsuura:
Cell Preservation by Application of Tardigrada's Adaptation to Extreme Circumstances.
ICICIC (3) 2006: 553-555 |
| 3 | EE | Masahiro Nakano,
Hiroyuki Matsuura,
Tetsuya Nemoto,
Nobuo Noda:
Management and Control of Vibrational Motions of Muscle Elements.
ICICIC (3) 2006: 560-563 |
| 2 | EE | Masahiro Nakano,
Kazuhiro Ogata,
Masaki Nakamura,
Kokichi Futatsugi:
Automating Invariant Verification of Behavioral Specifications.
QSIC 2006: 49-56 |
| 2005 |
|---|
| 1 | EE | Kazuhiro Ogata,
Masahiro Nakano,
Masaki Nakamura,
Kokichi Futatsugi:
Chocolat/SMV: A Translator from CafeOBJ into SMV.
PDCAT 2005: 416-420 |
