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
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 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: 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