Stephan Barth

Affiliations:

According to our database¹, Stephan Barth authored at least 3 papers between 2012 and 2016.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2016

Deciding Monadic Second Order Logic over \omega ω -Words by Specialized Finite Automata.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2014

Deciding MSO over w-Words by means of Finite Automata.

[BibT_eX]

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

2012

Learn with SAT to Minimize Büchi Automata

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third International Symposium on Games, 2012