Masahiko Watanabe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2010–2020
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | TASE | A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features. | Zhen Wang, Xiaoning Han, Weiqiang Kong, Yong Piao, Gang Hou, Masahiko Watanabe, Akira Fukuda |
| 2015 | IROS | Hand gesture interface for content browse using wearable wrist contour measuring device. | Rui Fukui, Naoki Hayakawa, Masahiko Watanabe, Hitoshi Azumi, Masayuki Nakao |
| 2013 | IROS | TansuBot: A drawer-type storage system for supporting object search with contents' photos and usage histories. | Rui Fukui, Takuya Sunakawa, Shuhei Kousaka, Masahiko Watanabe, Tomomasa Sato, Masamichi Shimosaka |
| 2012 | SIGGRAPH | World eco-tope. | Ayumi Kato, Masahiko Watanabe, Yusuke Fukazawa, Tomomasa Sato, Taketoshi Mori |
| 2012 | SIGGRAPH | World eco-tope. | Ayumi Kato, Masahiko Watanabe, Yusuke Fukazawa, Tomomasa Sato, Taketoshi Mori |
| 2011 | APSEC | Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. | Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda |
| 2011 | ICCSA | An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. | Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda |
| 2010 | ICCSA | An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. | Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe |