Stefan Repke

Affiliations:

According to our database¹, Stefan Repke authored at least 4 papers between 2010 and 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

Simplification problems for automata and games.

[BibT_eX]

[DOI]

PhD thesis, 2014

2013

Decidability Results on the Existence of Lookahead Delegators for NFA.

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012

Regularity Problems for Weak Pushdown ω-Automata and Games.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

2010

First-Order Logic with Reachability Predicates on Infinite Systems.

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010