( en | de | ru )

 

Disambiguation of "Fahrenberg, Uli"

Author of the publication

copydeleteadd this publication to your clipboard
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps

, and . CoRR, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jochen Fahrenberg

Brigitte Fahrenberg

Hans Fahrenberg

Jens Fahrenberg

Wolfgang Küpper-Fahrenberg

 

Other publications of authors with the same name

Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty., , , , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 203-221. Springer, (2018)History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps, and . CoRR, (2012)Specification Theories for Probabilistic and Real-Time Systems., , and . FPS@ETAPS, volume 8415 of Lecture Notes in Computer Science, page 98-117. Springer, (2014)Structural Refinement for the Modal nu-Calculus., , and . ICTAC, volume 8687 of Lecture Notes in Computer Science, page 169-187. Springer, (2014)Model-Based Verification and Analysis for Real-Time Systems., , and . Software and Systems Safety - Specification and Verification, volume 30 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2011)Domain Semirings United., , , and . CoRR, (2020)Computing branching distances with quantitative games., , and . Theor. Comput. Sci., (2020)Metrics for weighted transition systems: Axiomatization and complexity., , and . Theor. Comput. Sci., 412 (28): 3358-3369 (2011)Sculptures in Concurrency., , , and . Log. Methods Comput. Sci., (2021)Bisimulations and Logics for Higher-Dimensional Automata., , and . CoRR, (2024)