Hiroki Takamura

Publication Activity (10 Years)

Years Active: 2003-2014
Publications (10 Years): 0

Top Topics

Optimization Method

Software Development

Experimental Evaluation

Top Venues

ISSRE Workshops

Publications

Satoko Kinoshita, Hidekazu Nishimura, Hiroki Takamura, Daichi Mizuguchi
Describing Software Specification by Combining SysML with the B Method. ISSRE Workshops (2014)
Midori Sugaya, Hiroki Takamura, Yoichi Ishiwata, Satoshi Kagami, Kimio Kuramitsu
Online Kernel Log Analysis for Robotics Application. J. Inf. Process. 21 (1) (2013)
Hiroki Takamura
International standardization of Open Systems Dependability. ISSRE (Supplemental Proceedings) (2013)
Midori Sugaya, Hiroki Takamura, Yoichi Ishiwata, Satoshi Kagami, Kimio Kuramitsu
Online Kernel Log Analysis for Robotics Application. Inf. Media Technol. 8 (1) (2013)
Hiroki Takamura
Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator. Stud Logica 100 (6) (2012)
Hiroki Takamura
*-algebras. Math. Log. Q. 57 (5) (2011)
Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa
A Dependability Case Editor with Pattern Library. HASE (2010)
Hiroki Takamura
-algebras is generated by its finite simple members. Advances in Modal Logic (2006)
Hiroki Takamura
Every Free Biresiduated Lattice is Semisimple. Reports Math. Log. 37 (2003)