Martin Lang

Affiliations:
  • RWTH Aachen University, Informatik 7, Germany


According to our database1, Martin Lang authored at least 6 papers between 2012 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2015
A Unified Approach to Boundedness Properties in MSO.
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014
Definability and Transformations for Cost Logics and Automatic Structures.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Resource Reachability Games on Pushdown Graphs.
Proceedings of the Foundations of Software Science and Computation Structures, 2014

2013
Modeling and Verification of Infinite Systems with Resources.
Log. Methods Comput. Sci., 2013

2012
Building a modular BitTorrent model for ns-3.
Proceedings of the International ICST Conference on Simulation Tools and Techniques, 2012

Erreichbarkeit mit Ressourcenschranken für Pushdownsysteme.
Proceedings of the Informatiktage 2012, 2012


  Loading...