Masaki Nakamura - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2019

Formal Verification and Mathematical Optimization for Autonomous Vehicle Group ControllersMasaki Nakamura, Kazutoshi Sakakibara. MoDELS 2019: 732-733 [doi]

Heart Rate Estimation during Exercise from Photoplethysmographic Signals Using Convolutional Neural NetworkMasaki Nakamura, Takashi Sato. biocas 2019: 1-4 [doi]

2017

Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification TranslationRyusei Mori, Masaki Nakamura. icst 2017: 403-404 [doi]

ForewordMasaki Nakamura. ieicet, 100-D(6):1157, 2017. [doi]

2016

A preliminary study of test case generation by CafeOBJ rewrite specificationsMasaki Nakamura. gcce 2016: 1-2 [doi]

2015

ForewordMasaki Nakamura. ieicet, 98-A(2):611, 2015. [doi]

The visualization system of center of pressure and base of support in sit-to-stand movementMasaki Nakamura, Akira Urashima, Tomoji Toriyama, Toshihiro Ninomiya, Noriyuki Fukumoto, Yuuki Aiboshi. gcce 2015: 502-503 [doi]

2014

Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ SpecificationsMasaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi. BIRTHDAY 2014: 92-109 [doi]

2013

2011

Translation of State Machines from Equational Theories into Rewrite Theories with Tool SupportMin Zhang, Kazuhiro Ogata, Masaki Nakamura. ieicet, 94-D(5):976-988, 2011. [doi]

2010

Computational holography: the real 3-D by fast wave-field rendering in ultra high resolutionKyoji Matsusima, Masaki Nakamura, Sumio Nakahara, Ichiroh Kanaya. siggraph 2010: [doi]

Reducibility of operation symbols in term rewriting systems and its application to behavioral specificationsMasaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi. JSC, 45(5):551-573, 2010. [doi]

Specification Translation of State Machines from Equational Theories into Rewrite TheoriesMin Zhang, Kazuhiro Ogata, Masaki Nakamura. icfem 2010: 678-693 [doi]

2009

Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ MethodMasaki Nakamura, Takahiro Seino. ieicet, 92-D(5):1012-1021, 2009. [doi]

User-Defined On-Demand MatchingMasaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi. ieicet, 92-D(7):1401-1411, 2009. [doi]

2008

A Specification Translation from Behavioral Specifications to Rewrite SpecificationsMasaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi. ieicet, 91-D(5):1492-1503, 2008. [doi]

2007

2006

Elimination Transformations for Associative-Commutative Rewriting SystemsKeiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama. JAR, 37(3):205-229, 2006. [doi]

A Behavioral Specification of Imperative Programming LanguagesMasaki Nakamura, Masahiro Watanabe, Kokichi Futatsugi. ieicet, 89-A(6):1558-1565, 2006. [doi]

Automating Invariant Verification of Behavioral SpecificationsMasahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi. qsic 2006: 49-56 [doi]

2005

Chocolat/SMV: A Translator from CafeOBJ into SMVKazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi. pdcat 2005: 416-420 [doi]

2000

The evaluation strategy for head normal form with and without on-demand flagsMasaki Nakamura, Kazuhiro Ogata. ENTCS, 36:212-228, 2000. [doi]

1999

Argument Filtering TransformationKeiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama. ppdp 1999: 47-61

1991

INTERVISION: A New Hypermedia System Focusing on Dynamic MediaHideto Ikeda, Fumio Kitagawa, Masaki Nakamura, Kenzo Uchiyama. dasfaa 1992: 477-483 [doi]

Sign in or sign up to see more results.

runs on WebDSL