# Michael Ummels

According to our database

Collaborative distances:

^{1}, Michael Ummels authored at least 16 papers between 2006 and 2015.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2015

Log. Methods Comput. Sci., 2015

2013

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

2012

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

Proceedings of the Foundations of Software Science and Computational Structures, 2012

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

PhD thesis, 2011

Log. Methods Comput. Sci., 2011

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

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Proceedings of the Mathematical Foundations of Computer Science 2010, 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

Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2006

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006