T.M.A. Noval Asril
Penggunaan Sistem Data Akusisi pada Sistem Telemetri dan Monitoring Posisi Kereta Api dan Jalur Rel denga GPS dan Accelerometer
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2007
 UI - Tesis (Membership)
Formalisasi dan verifikasi spesifikasi sistem pengendali lalu lintas kereta api di stasiun dengan rel ganda Eri Zuliarso, Belawati H. Widjaja dan Widijanto S. Nugroho
 Artikel Jurnal
Sibarani, Evita Marlinang
Formalisasi dan verifikasi protokol komunikasi
Fakultas Ilmu Komputer Universitas Indonesia, 1997
 UI - Skripsi (Membership)
Pengembangan sistem ujian dan keamanan pada sistem aplikasi penilaian esai otomatis yang berbasis web dengan metode latent semantic analysis
Fakultas Teknik Universitas Indonesia, 2006
 UI - Skripsi (Membership)
Agus Sasmito
Analisa kerusakan dan peningkatan kekuatan cross beam dudukan rem Kereta Api Gajah Wong dengan disain ulang dan seleksi material menggunakan metode Ashby = Damage analysis and strength improvement of Gajah wong cross beam railway brake stand by redesign and material selection using Ashby method
Fakultas Teknik Universitas Indonesia, 2013
 UI - Tesis (Membership)