Hiroki Takamura

According to our database1, Hiroki Takamura authored at least 8 papers between 2003 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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 FLew-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


  Loading...