Hiroki Takamura

According to our database, Hiroki Takamura authored at least 9 papers between 2003 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Describing Software Specification by Combining SysML with the B Method.

Satoko Kinoshita, Hidekazu Nishimura, Hiroki Takamura, Daichi Mizuguchi

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2013

Online Kernel Log Analysis for Robotics Application.

Midori Sugaya, Hiroki Takamura, Yoichi Ishiwata, Satoshi Kagami, Kimio Kuramitsu

J. Inf. Process., 2013

International standardization of Open Systems Dependability.

Hiroki Takamura

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012

Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator.

Hiroki Takamura

Stud Logica, 2012

2011

Powers of positive elements in <i>C</i>*-algebras.

Hiroki Takamura

Math. Log. Q., 2011

2010

A Dependability Case Editor with Pattern Library.

Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2006

The variety of modal FL_ew-algebras is generated by its finite simple members.

Hiroki Takamura

Proceedings of the Advances in Modal Logic 6, 2006

2005

An introduction to the theory of c*-algegras in constructive mathematics.

Hiroki Takamura

Proceedings of the From sets and types to topology and analysis, 2005

2003

Every Free Biresiduated Lattice is Semisimple.

Hiroki Takamura

Reports Math. Log., 2003