My publications at DBLP

Books

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

Abstract

Slides

bibtex

Link



Journal Papers

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: Algebraic Investigation of Connected Components (RAMiCS 2017)

Abstract

Slides

bibtex

Link



Roland Glück: Covering Polyons 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

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

Abstract

bibtex

Link



Technical Reports

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

Abstract

bibtex

Link