( en | de | ru )

 

Disambiguation of "Gebler, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules.

, , and . FoSSaCS, volume 8412 of Lecture Notes in Computer Science, page 289-303. Springer, (2014)

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.

Reinhard Gebler

Wolfgang Gebler

Konrad Gebler

Mark Gebler

Madlen Gebler

 

Other publications of authors with the same name

Compositionality of Approximate Bisimulation for Probabilistic Systems., and . EXPRESS/SOS, volume 120 of EPTCS, page 32-46. (2013)Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics., and . CONCUR, volume 7454 of Lecture Notes in Computer Science, page 395-409. Springer, (2012)A general SOS theory for the specification of probabilistic transition systems., , and . Inf. Comput., (2016)Compositional bisimulation metric reasoning with Probabilistic Process Calculi., , and . Log. Methods Comput. Sci., (2016)Compositional Metric Reasoning with Probabilistic Process Calculi., , and . FoSSaCS, volume 9034 of Lecture Notes in Computer Science, page 230-245. Springer, (2015)SOS specifications for uniformly continuous operators., and . J. Comput. Syst. Sci., (2018)SOS rule formats for convex and abstract probabilistic bisimulations., , and . EXPRESS/SOS, volume 190 of EPTCS, page 31-45. (2015)Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators., and . EXPRESS/SOS, volume 160 of EPTCS, page 63-78. (2014)Tree rules in probabilistic transition system specifications with negative and quantitative premises, , and . EXPRESS/SOS, volume 89 of EPTCS, page 115-130. (2012)On Abstraction of Probabilistic Systems., , , and . ROCKS, volume 8453 of Lecture Notes in Computer Science, page 87-116. Springer, (2012)