Roland Glück

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 14

Top Venues

RAMiCS

CoRR

J. Log. Algebraic Methods Program.

TAMC

University of Augsburg (PHD)

Education History

University of Augsburg

PHD

Publications

Roland Glück
A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition Systems. RAMiCS (2024)
Roland Glück
Isolated Suborders and their Application to Counting Closure Operators. Log. Methods Comput. Sci. 20 (3) (2024)
Roland Glück
Isolated Suborders and their Application to Counting Closure Operators. CoRR (2023)
Roland Glück
Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients. RAMiCS (2023)
Roland Glück, Marian Körber
Automated Control and Simulation of Dynamic Robot Teams in the Domain of CFK Production. CoRR (2022)
Roland Carl Backhouse, Henk Doornbos, Roland Glück, Jaap van der Woude
Components and acyclicity of graphs. An exercise in combining precision with concision. J. Log. Algebraic Methods Program. 124 (2022)
Roland Glück
Isolated Sublattices and Their Application to Counting Closure Operators. RAMiCS (2021)
Marian Körber, Johann Lange, Stephan Rediske, Simon Steinmann, Roland Glück
Comparing Popular Simulation Environments in the Scope of Robotics and Reinforcement Learning. CoRR (2021)
Roland Glück, Dominik Köppl
Computational Aspects of Ordered Integer Partitions with Bounds. Algorithmica 82 (10) (2020)
Roland Glück, Alwin Hoffmann, Ludwig Nägele, Andreas Schierl, Wolfgang Reif, Heinz Voggenreiter
Towards a Tool-based Methodology for Developing Software for Dynamic Robot Teams. ICINCO (2) (2018)
Jessica Ertel, Roland Glück, Bernhard Möller
Algebraic Derivation of Until Rules and Application to Timer Verification. RAMiCS (2018)
Roland Glück
Distances, Norms and Error Propagation in Idempotent Semirings. RAMiCS (2018)
Roland Glück
Covering Polygons with Rectangles. TAMC (2017)
Roland Glück
Algebraic Investigation of Connected Components. RAMiCS (2017)
Roland Glück, Florian Benedikt Krebs
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV. RAMiCS (2015)
Han-Hing Dang, Roland Glück, Bernhard Möller, Patrick Roocks, Andreas Zelend
Exploring modal worlds. J. Log. Algebraic Methods Program. 83 (2) (2014)
Roland Glück, Dominik Köppl, Günther Wirsching
Computational Aspects of Ordered Integer Partition with Upper Bounds. SEA (2013)
Roland Glück
Two Observations in Dioid Based Model Refinement. RAMiCS (2012)
Roland Glück
Using Bisimulations for Optimality Problems in Model Refinement. RAMiCS (2011)
Roland Glück, Bernhard Möller, Michel Sintzoff
Model Refinement Using Bisimulation Quotients. AMAST (2010)
Roland Glück, Bernhard Möller, Michel Sintzoff
A Semiring Approach to Equivalences, Bisimulations and Control. RelMiCS (2009)
Roland Glück, Bernhard Möller
Circulations, Fuzzy Relations and Semirings. MPC (2008)

Roland Glück.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Roland Glück