The following pages link to Roland Glück (Q406439):
Displaying 16 items.
- Exploring modal worlds (Q406442) (← links)
- Distances, norms and error propagation in idempotent semirings (Q1617806) (← links)
- Algebraic derivation of until rules and application to timer verification (Q1617827) (← links)
- Computational aspects of ordered integer partitions with bounds (Q2006947) (← links)
- Components and acyclicity of graphs. An exercise in combining precision with concision (Q2667191) (← links)
- Isolated sublattices and their application to counting closure operators (Q2695353) (← links)
- Two Observations in Dioid Based Model Refinement (Q2915147) (← links)
- Covering Polygons with Rectangles (Q2988828) (← links)
- Using Bisimulations for Optimality Problems in Model Refinement (Q3007576) (← links)
- Model Refinement Using Bisimulation Quotients (Q3067468) (← links)
- Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV (Q3460629) (← links)
- Circulations, Fuzzy Relations and Semirings (Q3521984) (← links)
- A Semiring Approach to Equivalences, Bisimulations and Control (Q3651513) (← links)
- Algebraic Investigation of Connected Components (Q5283206) (← links)
- Compatibility of refining and controlling plant automata with bisimulation quotients (Q6174416) (← links)
- Isolated suborders and their application to counting closure operators (Q6597961) (← links)