Design of Air-Breathing Electrical Propulsion Based on Cargo-Spacecraft for Replenishment
Ship Speed Prediction in Real Sea Environment Using Advanced Technologies
Working out an incomplete cyclic train timetable for high-speed railways by computer
Track test monitoring system using a multipurpose experimental train
How regular is a regular-interval timetable? From theory to application
Formalizing train control language: automating analysis of train stations
Software redundancy design for a Human-Machine Interface in railway vehicles
Use of model transformation for the formal analysis of railway interlocking models
Systematic analyses of train run deviations from the timetable
Research on the load spectrum distribution and structure optimization of locomotive traction seats
Automatic location-finding of train crew using GSM technology
How the punctuality of the Shinkansen has been achieved
Design, development, application, safety assessment and simulation of the railway signaling system
Certain aspects of the CEN standard for the evaluation of ride comfort for rail passengers
A multi scalable model based on a connexity graph representation
Linkage of a conventional line dispatch system with the Shinkansen dispatch system
State-based risk frequency estimation of a rail traffic signal system
ROSA - a computer based safety model for European railways
Design and operation assessment of railway stations using passenger simulation
Development of a high-speed overhead contact line measurement device for the Kyushu Shinkansen
Latent energy savings due to the innovative use of advisory speeds to avoid occupation conflicts
A simulation analysis of train rescheduling strategies on Chinese passenger dedicated lines
A heuristic algorithm for the circulation plan of railway electrical motor units
A model-based framework for the safety analysis of computer-based railway signalling systems
Development of an ES2-type point machine (monitoring of point machine)
Development of the new CBTC system simulation and performance analysis
SAT.engine: automated planning and validation tools for modern train control systems
Automated system testing of an automatic train protection system
An efficient MIP model for locomotive routing and scheduling
A scenario-based safety argumentation for CBTC safety case architecture
Railway vehicle and bridge interaction: some approaches and applications
Dimensioning of a railway station for unknown operation
Study on the method of traction motor load simulation on railway vehicles
Design and implementation of a distributed railway signalling simulator