According to our database1, Roland Glück authored at least 12 papers between 2008 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Towards a Tool-based Methodology for Developing Software for Dynamic Robot Teams.
Proceedings of the 15th International Conference on Informatics in Control, 2018
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
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
Exploring modal worlds.
J. Log. Algebr. Meth. Program., 2014
Computational Aspects of Ordered Integer Partition with Upper Bounds.
Proceedings of the Experimental Algorithms, 12th International Symposium, 2013
Two Observations in Dioid Based Model Refinement.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012
Using Bisimulations for Optimality Problems in Model Refinement.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011
Model Refinement Using Bisimulation Quotients.
Proceedings of the Algebraic Methodology and Software Technology, 2010
A Semiring Approach to Equivalences, Bisimulations and Control.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009
Circulations, Fuzzy Relations and Semirings.
Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008