Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Masaki Nakamura
Author information
- Kanazawa University, Japan
Other persons with the same name
- Masaki Nakamura 0002 — Tokyo Electric Power Co.
- Masaki Nakamura 0003 — Tokyo University of Technology
2010 – today
- 2013
[j10]Kei Nishihara, Wataru Iwasaki, Masaki Nakamura, Eiji Higurashi, Tomoki Soh, Toshihiro Itoh, Hironao Okada, Ryutaro Maeda, Renshi Sawada: Development of a Wireless Sensor for the Measurement of Chicken Blood Flow Using the Laser Doppler Blood Flow Meter Technique. IEEE Trans. Biomed. Engineering 60(6): 1645-1653 (2013)- 2011
- [j9]Min Zhang, Kazuhiro Ogata, Masaki Nakamura: Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support. IEICE Transactions 94-D(5): 976-988 (2011)
- 2010
- [j8]Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi: Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications. J. Symb. Comput. 45(5): 551-573 (2010)
- [c6]Min Zhang, Kazuhiro Ogata, Masaki Nakamura: Specification Translation of State Machines from Equational Theories into Rewrite Theories. ICFEM 2010: 678-693
- [c5]Kyoji Matsusima, Masaki Nakamura, Sumio Nakahara, Ichiroh Kanaya: Computational holography: the real 3-D by fast wave-field rendering in ultra high resolution. SIGGRAPH Posters 2010
2000 – 2009
- 2009
- [j7]Masaki Nakamura, Takahiro Seino: Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method. IEICE Transactions 92-D(5): 1012-1021 (2009)
- [j6]Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi: User-Defined On-Demand Matching. IEICE Transactions 92-D(7): 1401-1411 (2009)
- 2008
- [j5]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
- [j4]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)
- [c4]Masaki Nakamura, Kokichi Futatsugi: On Equality Predicates in Algebraic Specification Languages. ICTAC 2007: 381-395
- 2006
- [j3]Masaki Nakamura, Masahiro Watanabe, Kokichi Futatsugi: A Behavioral Specification of Imperative Programming Languages. IEICE Transactions 89-A(6): 1558-1565 (2006)
- [j2]Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama: Elimination Transformations for Associative-Commutative Rewriting Systems. J. Autom. Reasoning 37(3): 205-229 (2006)
- [c3]Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi: Automating Invariant Verification of Behavioral Specifications. QSIC 2006: 49-56
- 2005
- [c2]Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi: Chocolat/SMV: A Translator from CafeOBJ into SMV. PDCAT 2005: 416-420
- 2000
- [j1]Masaki Nakamura, Kazuhiro Ogata: The evaluation strategy for head normal form with and without on-demand flags. Electr. Notes Theor. Comput. Sci. 36: 212-228 (2000)
1990 – 1999
- 1999
- [c1]Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama: Argument Filtering Transformation. PPDP 1999: 47-61
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-22 20:49 CEST by the dblp team