According to our database1, Hiroki Takamura authored at least 8 papers between 2003 and 2014.
Legend:Book In proceedings Article PhD thesis Other
Describing Software Specification by Combining SysML with the B Method.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Online Kernel Log Analysis for Robotics Application.
International standardization of Open Systems Dependability.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator.
Studia Logica, 2012
Powers of positive elements in C*-algebras.
Math. Log. Q., 2011
A Dependability Case Editor with Pattern Library.
Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010
The variety of modal FLew-algebras is generated by its finite simple members.
Proceedings of the Advances in Modal Logic 6, 2006
Every Free Biresiduated Lattice is Semisimple.
Reports on Mathematical Logic, 2003