Roland Glück

MaRDI QIDQ406439zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A matrix-oriented view of bisimulation quotients over dioid-labeled transition systems	2025-03-12	Paper
Isolated suborders and their application to counting closure operators Logical Methods in Computer Science	2024-09-04	Paper
Compatibility of refining and controlling plant automata with bisimulation quotients Relational and Algebraic Methods in Computer Science	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 Journal of Logical and Algebraic Methods in Programming	2021-11-24	Paper
Computational aspects of ordered integer partitions with bounds Algorithmica	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 Relational and Algebraic Methods in Computer Science	2017-07-21	Paper
Covering polygons with rectangles Lecture Notes in Computer Science	2017-05-19	Paper
Towards interactive verification of programmable logic controllers using modal Kleene algebra and KIV Relational and Algebraic Methods in Computer Science	2016-01-08	Paper
Exploring modal worlds Journal of Logical and Algebraic Methods in Programming	2014-09-08	Paper
Two observations in dioid based model refinement Relational and Algebraic Methods in Computer Science	2012-09-21	Paper
Using bisimulations for optimality problems in model refinement Relational and Algebraic Methods in Computer Science	2011-06-17	Paper
Model refinement using bisimulation quotients Algebraic Methodology and Software Technology	2011-01-21	Paper
A semiring approach to equivalences, bisimulations and control Relations and Kleene Algebra in Computer Science	2009-12-11	Paper
Circulations, Fuzzy Relations and Semirings Lecture Notes in Computer Science	2008-08-28	Paper

Research outcomes over time

This page was built for person: Roland Glück