# Hiroki Takamura

According to our database

Collaborative distances:

^{1}, Hiroki Takamura authored at least 8 papers between 2003 and 2014.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2014

Describing Software Specification by Combining SysML with the B Method.

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

2013

Online Kernel Log Analysis for Robotics Application.

JIP, 2013

International standardization of Open Systems Dependability.

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.

Studia Logica, 2012

2011

Powers of positive elements in

*C**-algebras.
Math. Log. Q., 2011

2010

A Dependability Case Editor with Pattern Library.

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.
Proceedings of the Advances in Modal Logic 6, 2006

2003

Every Free Biresiduated Lattice is Semisimple.

Reports on Mathematical Logic, 2003