Daniel Gebler

Available identifiers

zbMath Open gebler.daniel-eWikidataQ102438341 ScholiaQ102438341MaRDI QIDQ1660765

List of research outcomes

Publication	Date of Publication	Type
Behavioural pseudometrics for nondeterministic probabilistic systems	2024-08-15	Paper
SOS rule formats for convex and abstract probabilistic bisimulations	2021-12-03	Paper
Fixed-point characterization of compositionality properties of probabilistic processes combinators	2021-06-23	Paper
Compositionality of approximate bisimulation for probabilistic systems	2021-06-09	Paper
Tree rules in probabilistic transition system specifications with negative and quantitative premises	2021-04-27	Paper
Behavioural pseudometrics for nondeterministic probabilistic systems	2018-08-16	Paper
SOS-based modal decomposition on nondeterministic probabilistic processes	2018-08-15	Paper
Modal decomposition on nondeterministic probabilistic processes	2018-03-21	Paper
SOS specifications for uniformly continuous operators	2017-11-14	Paper
Sós specifications of probabilistic systems by uniformly continuous operators	2017-09-12	Paper
Compositional bisimulation metric reasoning with Probabilistic Process Calculi	2017-04-11	Paper
A general SOS theory for the specification of probabilistic transition systems	2016-07-07	Paper
Compositional metric reasoning with probabilistic process calculi	2015-10-01	Paper
Computing Behavioral Relations for Probabilistic Concurrent Systems	2015-01-12	Paper
On Abstraction of Probabilistic Systems	2015-01-12	Paper
A Tutorial on Interactive Markov Chains	2015-01-12	Paper
Generalized Bisimulation Metrics	2014-09-15	Paper
Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules	2014-04-16	Paper
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics	2012-09-25	Paper

Research outcomes over time

This page was built for person: Daniel Gebler