- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j2 |      | Rui Fukui, Masahiko Watanabe, Masamichi Shimosaka, Tomomasa Sato: Development of wrist contour measuring device for an interface using hand shape recognition. Advanced Robotics 27(7): 481-492 (2013) |
| 2012 | ||
| c7 | | Ayumi Kato, Masahiko Watanabe, Yusuke Fukazawa, Tomomasa Sato, Taketoshi Mori: World eco-tope. SIGGRAPH Posters 2012: 84 |
| 2011 | ||
| j1 | | Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix. IEICE Transactions 94-D(5): 946-957 (2011) |
| c6 | | Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda: Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. APSEC 2011: 81-88 |
| c5 | | Rui Fukui, Masahiko Watanabe, Tomoaki Gyota, Masamichi Shimosaka, Tomomasa Sato: Hand shape classification with a wrist contour sensor: development of a prototype device. Ubicomp 2011: 311-314 |
| c4 | | Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. ICCSA Workshops 2011: 159-167 |
| 2010 | ||
| c3 | | Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe: An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. ICCSA Workshops 2010: 231-238 |
| c2 |  | Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda: Model Checking of Software Design in State Transition Matrix. Software Engineering Research and Practice 2010: 507-513 |
| p1 | | Tsutomu Miki, Takuya Inoue, Yuta Goto, Masahiko Watanabe, Hatsuo Hayashi: Human-Like Local Navigation System Inspired by a Hippocampal Memory Mechanism. Brain-Inspired Information Technology 2010: 29-32 |
| 2007 | ||
| c1 | | Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido: A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software. QSIC 2007: 137-142 |
Colors in the list of coauthors
Last update Thu May 23 23:11:19 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page