Erreichbarkeit mit Ressourcenschranken für Pushdownsysteme. - Martin Lang 001 (Informatiktage, 2012)

Building a modular BitTorrent model for ns-3. - Elias Weingärtner; René Glebke; Martin Lang 001; Klaus Wehrle (SimuTools, 2012)

Modeling and Verification of Infinite Systems with Resources. - Martin Lang 001; Christof Löding (Log. Methods Comput. Sci., 2013)

Resource Reachability Games on Pushdown Graphs. - Martin Lang 001 (FoSSaCS, 2014)

Definability and Transformations for Cost Logics and Automatic Structures. - Martin Lang 001; Christof Löding; Amaldev Manuel (MFCS (1), 2014)

A Unified Approach to Boundedness Properties in MSO. - Lukasz Kaiser; Martin Lang 001; Simon Leßenich; Christof Löding (CSL, 2015)