Martin Lang

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Subgraph Isomorphism

Resource Management

Propositional Logic

Top Venues

Log. Methods Comput. Sci.

Publications

Lukasz Kaiser, Martin Lang, Simon Leßenich, Christof Löding
A Unified Approach to Boundedness Properties in MSO. CSL (2015)
Martin Lang
Resource Reachability Games on Pushdown Graphs. FoSSaCS (2014)
Martin Lang, Christof Löding, Amaldev Manuel
Definability and Transformations for Cost Logics and Automatic Structures. MFCS (1) (2014)
Martin Lang, Christof Löding
Modeling and Verification of Infinite Systems with Resources. Log. Methods Comput. Sci. 9 (4) (2013)
Martin Lang
Erreichbarkeit mit Ressourcenschranken für Pushdownsysteme. Informatiktage (2012)
Elias Weingärtner, René Glebke, Martin Lang, Klaus Wehrle
Building a modular BitTorrent model for ns-3. SimuTools (2012)