PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Fahrenberg, Uli"

Author of the publication

copydeleteadd this publication to your clipboard
Metrics for weighted transition systems: Axiomatization and complexity.

, , and . Theor. Comput. Sci., 412 (28): 3358-3369 (2011)

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.

Uli Hahn

 

Other publications of authors with the same name

Metrics for weighted transition systems: Axiomatization and complexity., , and . Theor. Comput. Sci., 412 (28): 3358-3369 (2011)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)Specification Theories for Probabilistic and Real-Time Systems., , and . FPS@ETAPS, volume 8415 of Lecture Notes in Computer Science, page 98-117. Springer, (2014)History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps, and . CoRR, (2012)Compatibility flooding: measuring interaction of services interfaces., , , and . SAC, page 1334-1340. ACM, (2017)Structural Refinement for the Modal nu-Calculus., , and . ICTAC, volume 8687 of Lecture Notes in Computer Science, page 169-187. Springer, (2014)Refinement and Difference for Probabilistic Automata., , , and . QEST, volume 8054 of Lecture Notes in Computer Science, page 22-38. Springer, (2013)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)Measuring Global Similarity Between Texts., , , , , and . SLSP, volume 8791 of Lecture Notes in Computer Science, page 220-232. Springer, (2014)Kleene Algebras and Semimodules for Energy Problems., , , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 102-117. Springer, (2013)