Hisaharu Tanaka

Publication Activity (10 Years)

Years Active: 1997-2016
Publications (10 Years): 1

Top Topics

Technological Advancements

Relational Calculus

Location Estimation

User Authentication

Top Venues

Publications

Yoshihiro Mizoguchi, Hisaharu Tanaka, Shuichi Inokuchi
Formalization of proofs using relational calculus. ISITA (2016)
Kenzi Watanabe, Masatoshi Imai, Hisaharu Tanaka, Makoto Otani
Development of a WiFi Users' Information Indicating System with AR. CISIS (2013)
Hisaharu Tanaka, Issei Sakashita, Shuichi Inokuchi, Yoshihiro Mizoguchi
Formal Proofs for Automata and Sticker Systems. CANDAR (2013)
Shohei Yamashita, Hisaharu Tanaka, Yoshiaki Hori, Makoto Otani, Kenzi Watanabe
Development of Network User Authentication System Using OpenFlow. BWCCA (2013)
Hiroki Mori, Hisaharu Tanaka, Yoshiaki Hori, Makoto Otani, Kenzi Watanabe
Development of Lecture Videos Delivery System using HTML5 Video Element. BWCCA (2013)
Takaaki Fukuda, Hisaharu Tanaka, Kenzi Watanabe, Yasuhisa Okazaki
Development of a Field Work Type Topographical Map Experiential Learning Support System. EIDWT (2012)
Mitsuhiro Suenaga, Makoto Otani, Hisaharu Tanaka, Kenzi Watanabe
Opengate on OpenFlow: System Outline. INCoS (2012)
Kenzi Watanabe, Hisaharu Tanaka, Makoto Otani
Development of Geographical Location Estimation System for WiFi Users in Campus. CISIS (2012)
Kenzi Watanabe, Makoto Otani, Hisaharu Tanaka, Masami Okyudo
The Simple and Compact Remote Telescope System. CISIS (2010)
Yusuke Takamori, Kouta Tsukamoto, Takatoshi Nakamura, Shigenori Yamada, Toshihide Yamashita, Takafumi Suetsugu, Toshihiko Ogata, Masaaki Mizoguchi, Ryuichiro Nishimura, Makoto Otani, Hiroyuki Egashira, Hisaharu Tanaka, Kenzi Watanabe, Hiroki Kondo
A Tele-Control Project over IPv6 in Technical High Schools. SAINT Workshops (2004)
Kenzi Watanabe, Norihiko Sumi, Toyonori Aimori, Makoto Otani, Hisaharu Tanaka, Yasuhisa Okazaki, Toshihiro Hayashi, Hiroki Kondo
An Implementation of a Remote Blackboard Presenter System for Remote Lessons in Conventional Blackboard Based Style with Rich Media Environment. ICCE (2002)
Masatoyo Ohshima, Yasuhisa Okazaki, Hisaharu Tanaka, Hiroki Kondo, Hiroshi Nokita, Hidekatsu Hara, Hirofumi Momii, Kenzi Watanabe
Global Educational Database on The WWW(World-Wide Web) and Its Application in School. WebNet (1997)