| 2008 |
|---|
| 11 | EE | Masaki Nakamura,
Weiqiang Kong,
Kazuhiro Ogata,
Kokichi Futatsugi:
A Specification Translation from Behavioral Specifications to Rewrite Specifications.
IEICE Transactions 91-D(5): 1492-1503 (2008) |
| 2007 |
|---|
| 10 | EE | Masaki Nakamura,
Kokichi Futatsugi:
On Equality Predicates in Algebraic Specification Languages.
ICTAC 2007: 381-395 |
| 9 | EE | Kazuto Tominaga,
Tooru Watanabe,
Keiji Kobayashi,
Masaki Nakamura,
Koji Kishi,
Mitsuyoshi Kazuno:
Modeling Molecular Computing Systems by an Artificial Chemistry - Its Expressive Power and Application.
Artificial Life 13(3): 223-247 (2007) |
| 8 | 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 |
|---|
| 7 | EE | Masahiro Nakano,
Kazuhiro Ogata,
Masaki Nakamura,
Kokichi Futatsugi:
Automating Invariant Verification of Behavioral Specifications.
QSIC 2006: 49-56 |
| 6 | EE | Masaki Nakamura,
Masahiro Watanabe,
Kokichi Futatsugi:
A Behavioral Specification of Imperative Programming Languages.
IEICE Transactions 89-A(6): 1558-1565 (2006) |
| 5 | EE | Keiichirou Kusakari,
Masaki Nakamura,
Yoshihito Toyama:
Elimination Transformations for Associative-Commutative Rewriting Systems.
J. Autom. Reasoning 37(3): 205-229 (2006) |
| 2005 |
|---|
| 4 | EE | Kazuhiro Ogata,
Masahiro Nakano,
Masaki Nakamura,
Kokichi Futatsugi:
Chocolat/SMV: A Translator from CafeOBJ into SMV.
PDCAT 2005: 416-420 |
| 2000 |
|---|
| 3 | EE | Masaki Nakamura,
Kazuhiro Ogata:
The evaluation strategy for head normal form with and without on-demand flags.
Electr. Notes Theor. Comput. Sci. 36: (2000) |
| 1999 |
|---|
| 2 | | Keiichirou Kusakari,
Masaki Nakamura,
Yoshihito Toyama:
Argument Filtering Transformation.
PPDP 1999: 47-61 |
| 1991 |
|---|
| 1 | EE | Hideto Ikeda,
Fumio Kitagawa,
Masaki Nakamura,
Kenzo Uchiyama:
INTERVISION: A New Hypermedia System Focusing on Dynamic Media.
DASFAA 1991: 477-483 |
