My publications at DBLP   My publications at Scopus   orcid: 0000-0001-7909-1942

Books

Roland Glück: Bisimulations and Model Refinement (My Phd Thesis, 2014)

Abstract

Slides

bibtex

Link

Preprint (uncorrected)



Editorships

Uli Fahrenberg, Wesley Fussner, Roland Glück: Proceedings of the 21st International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2024)

Link



Roland Glück, Luigi Santocanale, Michael Winter: Proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2023)

Link



Journal Papers

Roland Glück: Isolated Suborders and their Application to Counting Closure Operators (Logical Methods in Computer Science (2024))

Abstract

bibtex

Link



Marian Körber, Roland Glück: A Toolchain for Automated Control and Simulation of Robot Teams in Carbon-Fiber-Reinforced Polymers Production. (Journal of Applied Sciences (2024))

Abstract

bibtex

Link



Roland Backhouse, Henk Doornbos, Roland Glück, Jaap van der Woude: Components and acyclicity of graphs. An exercise in combining precision with concision (Journal of Logical and Algebraic Methods in Programming (2022))

Abstract

bibtex

Link



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

Abstract

bibtex

Link



Michael Vistein, Dominik Deden, Roland Glück, Stefan Schneyer: Automated Production of Large Fibre Metal Laminate Aircraft Structure Parts (Procedia Manufactoring (2019))

Abstract

bibtex

Link



Alfons Schuster, Christoph Frommel, Dominik Deden, Lars Brandt, Mona Eckardt, Roland Glück, Lars Larsen: Simulation Based Draping of Dry Carbon Fibre Textiles with Cooperating Robots (Procedia Manufactoring (2019))

Abstract

bibtex

Link



Alfons Schuster, Lars Larsen, Frederic Fischer, Roland Glück, Stefan Schneyer, Michael Kühnel, Michael Kupke: Smart Manufacturing of Thermoplastic CFRP Skins (Procedia Manufactoring (2018))

Abstract

bibtex

Link



Han Hing Dang, Roland Glück, Bernhard Möller, Patrick Roocks, Andreas Zelend: Exploring Modal Worlds (Journal of Logical and Algebraic Methods in Programming (2014))

Abstract

bibtex

Link



Conference Proceedings

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

Abstract

Slides

bibtex

Link



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

Abstract

Slides

bibtex

Link



Maik Wischow, Dennis Dahlke, Henry Meißner, Ines Ernst, Stefan Jarka, Roland Glück: Calibration and Validation of a Stereo Camera System Augmented with a Long-Wave Infrared Module to Monitor Ultrasonic Welding of Thermoplastics (ISPRS Congress 2022)

Abstract

Slides

bibtex

Link



Roland Glück: Isolated Sublattices and their Application to Counting Closure Operators (RAMiCS 2021)

Abstract

Slides

bibtex

Link



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

Abstract

Slides

bibtex

Link



Roland Glück: Distances, Norms and Error Propagation in Idempotent Semirings (RAMiCS 2018)

Abstract

Slides

bibtex

Link



Frederic Fischer, Alfons Schuster, Mark Willmeroth, Roland Glück, Manuel Engelschall, Lars Larsen, Michael Kupke: Safe and Sound Thermoplastics: Quality Assured Ultrasonic Welding in Fuselage Skin Production (ECCM 2018)

Abstract

bibtex

Link



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)

Abstract

bibtex

Link



Roland Glück: Algebraic Investigation of Connected Components (RAMiCS 2017)

Abstract

Slides

bibtex

Link



Roland Glück: Covering Polygons with Rectangles (TAMC 2017)

Abstract

Slides

bibtex

Link



Mona Eckardt, Roland Glück: Automated Preforming of a Solid Rocket Motor Case in Full-scale Dimensions Using Drycarbon Fiber Products (SAMPE 2016)

Abstract

Link



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

Abstract

Slides

bibtex

Link



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

Abstract

Slides

bibtex

Link



Roland Glück: Two Observations in Dioid Based Model Refinement (RAMiCS 2012)

Abstract

Slides

bibtex

Link



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

Abstract

Slides

bibtex

Link



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

Abstract

Slides

bibtex

Link



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

Abstract

Slides

bibtex

Link



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

Abstract

Slides

bibtex

Link



Workshop Papers and Talks

Roland Glück, Florian Krebs: Toward Ontology-based Production - Relations building Airplanes (short track of RAMiCS 2023)

Slides

Link



Roland Glück: On the Computation of Isolated Sublattices (short track of RAMiCS 2021)

Abstract

Slides

Link



Roland Glück: Towards Interactive Verification of Programmable Logic Controllers using Modal Kleene Algebra and KIV (Bern 2017)

Slides



Roland Glück: Effizientes Absortieren mit einem rechteckigen Greifer (DLR Augsburg 2016)

Slides



Roland Glück: Covering Polygons with Rectangles (EuroCG 2016)

Abstract

bibtex

Link



Roland Glück: Die vermutete Endlichkeit skelettfreier Sprachen (Sion 2012)

Slides



Roland Glück: Using Bisimulations in Analysis of Stochastic Games (KPS 2011)

Abstract

Slides

Link



Roland Glück: Yet another Bisimulation Application (Sion 2011)

Slides



Roland Glück: Bisimulations in Game Analysis (PhD Program at RAMiCS 2011)

Abstract

Slides

Link



Roland Glück: Power and Limits of Model Refinement (Sion 2010)

Slides



Roland Glück: Einbettungen und Projektionen auf Kleene-Algebren (Sion 2008)

Slides



Roland Glück: Import Networks, Fuzzy Relations and Semirings (PhD Program at RelMiCS/AKA 2008)

Abstract

Slides

Link



Roland Glück: Netzwerkflüsse mit Halbringen und Fuzzyrelationen (KPS 2007)

Slides



Technical Reports

Roland Glück: Network Flows, Semirings and Fuzzy Relations

Abstract

bibtex

Link