Kensuke Narita

According to our database1, Kensuke Narita authored at least 2 papers between 2013 and 2015.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation.
J. Softw., 2015

2013
Applying Model Checking to Destructive Testing and Analysis of Software System.
J. Softw., 2013


  Loading...