Hiroya Kawai

According to our database1, Hiroya Kawai authored at least 5 papers between 1980 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Age and Gender Prediction from Face Images Using Convolutional Neural Network.
Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2018

1988
Completeness Theorems for Temporal Logics TΩ and □TΩ.
Math. Log. Q., 1988

1987
Sequential Calculus for a First Order Infinitary Temporal Logic.
Math. Log. Q., 1987

1982
Eine Logik Erster Stufe mit Einem Infinitären Zeitoperator.
Math. Log. Q., 1982

1980
A formal system for parallel programs in discrete time and space.
Proceedings of the Logics of Programs and Their Applications, 1980


  Loading...