Roland Glück

Available identifiers

Publication	Date of Publication	Type
Compatibility of refining and controlling plant automata with bisimulation quotients	2023-08-17	Paper
Isolated sublattices and their application to counting closure operators	2023-03-30	Paper
Components and acyclicity of graphs. An exercise in combining precision with concision	2021-11-24	Paper
Computational aspects of ordered integer partitions with bounds	2020-10-12	Paper
Distances, norms and error propagation in idempotent semirings	2018-11-08	Paper
Algebraic derivation of until rules and application to timer verification	2018-11-08	Paper
Algebraic Investigation of Connected Components	2017-07-21	Paper
Covering Polygons with Rectangles	2017-05-19	Paper
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV	2016-01-08	Paper
Exploring modal worlds	2014-09-08	Paper
Two Observations in Dioid Based Model Refinement	2012-09-21	Paper
Using Bisimulations for Optimality Problems in Model Refinement	2011-06-17	Paper
Model Refinement Using Bisimulation Quotients	2011-01-21	Paper
A Semiring Approach to Equivalences, Bisimulations and Control	2009-12-11	Paper
Circulations, Fuzzy Relations and Semirings	2008-08-28	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Roland Glück