Roland Glück

According to our database, Roland Glück authored at least 21 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Isolated Suborders and their Application to Counting Closure Operators.

Roland Glück

CoRR, 2023

Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients.

Roland Glück

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

2022

Components and acyclicity of graphs. An exercise in combining precision with concision.

Roland Carl Backhouse, Henk Doornbos, Roland Glück, Jaap van der Woude

J. Log. Algebraic Methods Program., 2022

Automated Control and Simulation of Dynamic Robot Teams in the Domain of CFK Production.

Roland Glück, Marian Körber

CoRR, 2022

2021

Comparing Popular Simulation Environments in the Scope of Robotics and Reinforcement Learning.

Marian Körber, Johann Lange, Stephan Rediske, Simon Steinmann, Roland Glück

CoRR, 2021

Isolated Sublattices and Their Application to Counting Closure Operators.

Roland Glück

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

2020

Computational Aspects of Ordered Integer Partitions with Bounds.

Roland Glück, Dominik Köppl

Algorithmica, 2020

2018

Towards a Tool-based Methodology for Developing Software for Dynamic Robot Teams.

Roland Glück, Alwin Hoffmann, Ludwig Nägele, Andreas Schierl, Wolfgang Reif, Heinz Voggenreiter

Proceedings of the 15th International Conference on Informatics in Control, 2018

Distances, Norms and Error Propagation in Idempotent Semirings.

Roland Glück

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

Algebraic Derivation of Until Rules and Application to Timer Verification.

Jessica Ertel, Roland Glück, Bernhard Möller

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

2017

Covering Polygons with Rectangles.

Roland Glück

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

Algebraic Investigation of Connected Components.

Roland Glück

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

2015

Bisimulations and model refinement.

Roland Glück

PhD thesis, 2015

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

Roland Glück, Florian Benedikt Krebs

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

2014

Exploring modal worlds.

Han-Hing Dang, Roland Glück, Bernhard Möller, Patrick Roocks, Andreas Zelend

J. Log. Algebraic Methods Program., 2014

2013

Computational Aspects of Ordered Integer Partition with Upper Bounds.

Roland Glück, Dominik Köppl, Günther Wirsching

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

2012

Two Observations in Dioid Based Model Refinement.

Roland Glück

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

2011

Using Bisimulations for Optimality Problems in Model Refinement.

Roland Glück

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

2010

Model Refinement Using Bisimulation Quotients.

Roland Glück, Bernhard Möller, Michel Sintzoff

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

A Semiring Approach to Equivalences, Bisimulations and Control.

Roland Glück, Bernhard Möller, Michel Sintzoff

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

2008

Circulations, Fuzzy Relations and Semirings.

Roland Glück, Bernhard Möller

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