Roland Glück

26 papers B 2C 13Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2026 C conf
Simulation Quotients Simulating Bisimulation Quotients.
RAMICS
Roland Glück
2024 C conf
A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition Systems.
RAMiCS
Roland Glück
2024 J jnl
Isolated Suborders and their Application to Counting Closure Operators.
Log. Methods Comput. Sci.
Roland Glück
2024 C ed.
Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings
RAMiCS
Uli Fahrenberg, Wesley Fussner, Roland Glück
2023 C conf
Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients.
RAMiCS
Roland Glück
2023 J jnl
Isolated Suborders and their Application to Counting Closure Operators.
CoRR
Roland Glück
2023 C ed.
Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
RAMiCS
Roland Glück, Luigi Santocanale, Michael Winter
2022 J jnl
Automated Control and Simulation of Dynamic Robot Teams in the Domain of CFK Production.
CoRR
Roland Glück, Marian Körber
2022 J jnl
Components and acyclicity of graphs. An exercise in combining precision with concision.
J. Log. Algebraic Methods Program.
Roland Carl Backhouse, Henk Doornbos, Roland Glück, Jaap van der Woude
2021 J jnl
Comparing Popular Simulation Environments in the Scope of Robotics and Reinforcement Learning.
CoRR
Marian Körber, Johann Lange, Stephan Rediske, Simon Steinmann, Roland Glück
2021 C conf
Isolated Sublattices and Their Application to Counting Closure Operators.
RAMiCS
Roland Glück
2020 J jnl
Computational Aspects of Ordered Integer Partitions with Bounds.
Algorithmica
Roland Glück, Dominik Köppl
2018 C conf
Algebraic Derivation of Until Rules and Application to Timer Verification.
RAMiCS
Jessica Ertel, Roland Glück, Bernhard Möller
2018 C conf
Distances, Norms and Error Propagation in Idempotent Semirings.
RAMiCS
Roland Glück
2018 — conf
Towards a Tool-based Methodology for Developing Software for Dynamic Robot Teams.
ICINCO (2)
Roland Glück, Alwin Hoffmann, Ludwig Nägele, Andreas Schierl, Wolfgang Reif, Heinz Voggenreiter
2017 C conf
Algebraic Investigation of Connected Components.
RAMiCS
Roland Glück
2017 C conf
Covering Polygons with Rectangles.
TAMC
Roland Glück
2015 — —
Bisimulations and model refinement.
Roland Glück
2015 C conf
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV.
RAMiCS
Roland Glück, Florian Benedikt Krebs
2014 J jnl
Exploring modal worlds.
J. Log. Algebraic Methods Program.
Han-Hing Dang, Roland Glück, Bernhard Möller, Patrick Roocks, Andreas Zelend
2013 B conf
Computational Aspects of Ordered Integer Partition with Upper Bounds.
SEA
Roland Glück, Dominik Köppl, Günther Wirsching
2012 C conf
Two Observations in Dioid Based Model Refinement.
RAMiCS
Roland Glück
2011 C conf
Using Bisimulations for Optimality Problems in Model Refinement.
RAMiCS
Roland Glück
2010 — conf
Model Refinement Using Bisimulation Quotients.
AMAST
Roland Glück, Bernhard Möller, Michel Sintzoff
2009 — conf
A Semiring Approach to Equivalences, Bisimulations and Control.
RelMiCS
Roland Glück, Bernhard Möller, Michel Sintzoff
2008 B conf
Circulations, Fuzzy Relations and Semirings.
MPC
Roland Glück, Bernhard Möller