# Roland Glück

According to our database

^{1}, Roland Glück## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

Covering Polygons with Rectangles.

Proceedings of the Theory and Applications of Models of Computation, 2017

Algebraic Investigation of Connected Components.

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2015

Bisimulations and model refinement.

PhD thesis, 2015

Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV.

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014

Exploring modal worlds.

J. Log. Algebr. Meth. Program., 2014

2013

Computational Aspects of Ordered Integer Partition with Upper Bounds.

Proceedings of the Experimental Algorithms, 12th International Symposium, 2013

2012

Two Observations in Dioid Based Model Refinement.

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Using Bisimulations for Optimality Problems in Model Refinement.

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010

Model Refinement Using Bisimulation Quotients.

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

A Semiring Approach to Equivalences, Bisimulations and Control.

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Circulations, Fuzzy Relations and Semirings.

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008