Ontology-based Railway Infrastructure Verification - Planning Benefits. - Michael Lodemann; Norbert Luttenberger (KMIS, 2010)

Using Semantic Constraints for Data Verification in an Open World. - Michael Lodemann; Rita Marnau; Norbert Luttenberger (KTW, 2011)

Semantic Computing for Railway Infrastructure Verification. - Michael Lodemann; Norbert Luttenberger; Elferik Schulz (ICSC, 2013)

Modellierung und Verifikation von Eisenbahn-Infrastrukturen mit semantischen Technologien. - Michael Lodemann (2015)