Riki Nakamura

Orcid: 0009-0007-3068-3198

According to our database¹, Riki Nakamura authored at least 3 papers between 2013 and 2026.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Formal Modeling and Analysis of a Planetary Rover Under Abnormal Scenarios with Quint.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

2015

Monitoring system for the effective instruction based on the semi-automatic evaluation of programs during programming classroom lectures.

[BibT_eX]

[DOI]

Res. Pract. Technol. Enhanc. Learn., 2015

2013

Monitoring System for the Semi-Automatic Evaluation of Programs Written During Classroom Lectures.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Computers in Education, 2013

Riki Nakamura

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...