Roland Glück

According to our database1, Roland Glück
  • authored at least 11 papers between 2008 and 2017.
  • has a "Dijkstra number"2 of three.

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


  Loading...