Roland Glück

Orcid: 0000-0001-7909-1942

According to our database1, Roland Glück authored at least 22 papers between 2008 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Isolated Suborders and their Application to Counting Closure Operators.
Log. Methods Comput. Sci., 2024

A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition Systems.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2024

2023
Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2023

2022
Components and acyclicity of graphs. An exercise in combining precision with concision.
J. Log. Algebraic Methods Program., 2022

Automated Control and Simulation of Dynamic Robot Teams in the Domain of CFK Production.
CoRR, 2022

2021
Comparing Popular Simulation Environments in the Scope of Robotics and Reinforcement Learning.
CoRR, 2021

Isolated Sublattices and Their Application to Counting Closure Operators.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020
Computational Aspects of Ordered Integer Partitions with Bounds.
Algorithmica, 2020

2018
Towards a Tool-based Methodology for Developing Software for Dynamic Robot Teams.
Proceedings of the 15th International Conference on Informatics in Control, 2018

Distances, Norms and Error Propagation in Idempotent Semirings.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

Algebraic Derivation of Until Rules and Application to Timer Verification.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017
Covering Polygons with Rectangles.
Proceedings of the Theory and Applications of Models of Computation, 2017

Algebraic Investigation of Connected Components.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2015
Bisimulations and model refinement.
PhD thesis, 2015

Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014
Exploring modal worlds.
J. Log. Algebraic Methods Program., 2014

2013
Computational Aspects of Ordered Integer Partition with Upper Bounds.
Proceedings of the Experimental Algorithms, 12th International Symposium, 2013

2012
Two Observations in Dioid Based Model Refinement.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011
Using Bisimulations for Optimality Problems in Model Refinement.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010
Model Refinement Using Bisimulation Quotients.
Proceedings of the Algebraic Methodology and Software Technology, 2010

2009
A Semiring Approach to Equivalences, Bisimulations and Control.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008
Circulations, Fuzzy Relations and Semirings.
Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008


  Loading...