Circulations, Fuzzy Relations and Semirings. - Roland Glück; Bernhard Möller (MPC, 2008)

A Semiring Approach to Equivalences, Bisimulations and Control. - Roland Glück; Bernhard Möller; Michel Sintzoff (RelMiCS, 2009)

Model Refinement Using Bisimulation Quotients. - Roland Glück; Bernhard Möller; Michel Sintzoff (AMAST, 2010)

Using Bisimulations for Optimality Problems in Model Refinement. - Roland Glück (RAMiCS, 2011)

Two Observations in Dioid Based Model Refinement. - Roland Glück (RAMiCS, 2012)

Computational Aspects of Ordered Integer Partition with Upper Bounds. - Roland Glück; Dominik Köppl; Günther Wirsching (SEA, 2013)

Exploring modal worlds. - Han-Hing Dang; Roland Glück; Bernhard Möller; Patrick Roocks; Andreas Zelend (J. Log. Algebraic Methods Program., 2014)

Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV. - Roland Glück; Florian Benedikt Krebs (RAMiCS, 2015)

Bisimulations and model refinement. - Roland Glück (2015)

Algebraic Investigation of Connected Components. - Roland Glück (RAMiCS, 2017)

Covering Polygons with Rectangles. - Roland Glück (TAMC, 2017)

Algebraic Derivation of Until Rules and Application to Timer Verification. - Jessica Ertel; Roland Glück; Bernhard Möller (RAMiCS, 2018)

Distances, Norms and Error Propagation in Idempotent Semirings. - Roland Glück (RAMiCS, 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 (ICINCO (2), 2018)

Computational Aspects of Ordered Integer Partitions with Bounds. - Roland Glück; Dominik Köppl (Algorithmica, 2020)

Isolated Sublattices and Their Application to Counting Closure Operators. - Roland Glück (RAMiCS, 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)

Automated Control and Simulation of Dynamic Robot Teams in the Domain of CFK Production. - Roland Glück; Marian Körber (CoRR, 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)

Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients. - Roland Glück (RAMiCS, 2023)

A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition Systems. - Roland Glück (RAMiCS, 2024)

Isolated Suborders and their Application to Counting Closure Operators. - Roland Glück (Log. Methods Comput. Sci., 2024)