Working out an incomplete cyclic train timetable for high-speed railways by computer
Visualizing the Provenance of Personal Data Using Comics
Verification of quantitative requirements for GNSS-based railway applications
Use of model transformation for the formal analysis of railway interlocking models
Universal communication infrastructure for locomotives
Train scheduling of Shinkansen and relationship to reliable train operation
Track test monitoring system using a multipurpose experimental train
Track measurement by Kyushu Shinkansen cars in commercial service