Michaela Slaats

According to our database1, Michaela Slaats authored at least 6 papers between 2008 and 2011.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Infinite regular games in the higher-order pushdown and the parametrized setting.
PhD thesis, 2011

2010
Synthesis of behavioral controllers for DES: Increasing efficiency.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Aspects of Higher-Order Pushdown Systems - Infinite Regular Games and Strategies.
Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

2009
DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)" (DFG-Graduiertenkolleg "Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)").
it Inf. Technol., 2009

Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies.
Proceedings of the Fundamentals of Computation Theory, 17th International Symposium, 2009

2008
Positional Strategies for Higher-Order Pushdown Parity Games.
Proceedings of the Mathematical Foundations of Computer Science 2008, 2008


  Loading...