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
https://portal.mardi4nfdi.de/entity/Q5013870	2021-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4995155	2021-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4992498	2021-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4986263	2021-04-27	Paper
Behavioural pseudometrics for nondeterministic probabilistic systems	2018-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4580323	2018-08-15	Paper
Modal Decomposition on Nondeterministic Probabilistic Processes	2018-03-21	Paper
SOS specifications for uniformly continuous operators	2017-11-14	Paper
SOS 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