Martin Lang

Affiliations:

RWTH Aachen University, Informatik 7, Germany

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2015

A Unified Approach to Boundedness Properties in MSO.

[BibT_eX]

[DOI]

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Definability and Transformations for Cost Logics and Automatic Structures.

[BibT_eX]

[DOI]

Martin Lang

Christof Löding

Amaldev Manuel

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Resource Reachability Games on Pushdown Graphs.

[BibT_eX]

[DOI]

Martin Lang

Proceedings of the Foundations of Software Science and Computation Structures, 2014

2013

Modeling and Verification of Infinite Systems with Resources.

[BibT_eX]

[DOI]

Martin Lang

Christof Löding

Log. Methods Comput. Sci., 2013

2012

Building a modular BitTorrent model for ns-3.

[BibT_eX]

[DOI]

Proceedings of the International ICST Conference on Simulation Tools and Techniques, 2012

Erreichbarkeit mit Ressourcenschranken für Pushdownsysteme.

[BibT_eX]

Martin Lang

Proceedings of the Informatiktage 2012, 2012

Martin Lang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...