Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics. - Daniel Gebler; Wan J. Fokkink (CONCUR, 2012)

A Tutorial on Interactive Markov Chains. - Florian Arnold; Daniel Gebler; Dennis Guck; Hassan Hatefi (ROCKS, 2012)

On Abstraction of Probabilistic Systems. - Christian Dehnert; Daniel Gebler; Michele Volpato; David N. Jansen (ROCKS, 2012)

Computing Behavioral Relations for Probabilistic Concurrent Systems. - Daniel Gebler; Vahid Hashemi; Andrea Turrini (ROCKS, 2012)

Tree rules in probabilistic transition system specifications with negative and quantitative premises - Matias David Lee; Daniel Gebler; Pedro R. D'Argenio (EXPRESS/SOS, 2012)

Algebraic Meta-Theory of Processes with Data. - Daniel Gebler; Eugen-Ioan Goriac; Mohammad Reza Mousavi 001 (EXPRESS/SOS, 2013)

Compositionality of Approximate Bisimulation for Probabilistic Systems. - Daniel Gebler; Simone Tini (EXPRESS/SOS, 2013)

Generalized Bisimulation Metrics. - Konstantinos Chatzikokolakis 001; Daniel Gebler; Catuscia Palamidessi; Lili Xu (CONCUR, 2014)

Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules. - Pedro R. D'Argenio; Daniel Gebler; Matias David Lee (FoSSaCS, 2014)

Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators. - Daniel Gebler; Simone Tini (EXPRESS/SOS, 2014)

Report on OPCT 2014. - Marco Bernardo 001; Daniel Gebler; Michele Loreti (Bull. EATCS, 2014)

SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators. - Daniel Gebler; Simone Tini (CONCUR, 2015)

Compositional Metric Reasoning with Probabilistic Process Calculi. - Daniel Gebler; Kim Guldstrand Larsen; Simone Tini (FoSSaCS, 2015)

SOS rule formats for convex and abstract probabilistic bisimulations. - Pedro R. D'Argenio; Matias David Lee; Daniel Gebler (EXPRESS/SOS, 2015)

Modal Characterisations of Behavioural Pseudometrics. - Yuxin Deng; Wenjie Du 001; Daniel Gebler (CoRR, 2015)

Editorial for the Special Issue on Open Problems in Concurrency Theory. - Marco Bernardo 001; Daniel Gebler; Michele Loreti (J. Log. Algebraic Methods Program., 2015)

Modal Decomposition on Nondeterministic Probabilistic Processes. - Valentina Castiglioni; Daniel Gebler; Simone Tini (CONCUR, 2016)

Logical Characterization of Bisimulation Metrics. - Valentina Castiglioni; Daniel Gebler; Simone Tini (QAPL, 2016)

Compositional bisimulation metric reasoning with Probabilistic Process Calculi. - Daniel Gebler; Kim G. Larsen; Simone Tini (Log. Methods Comput. Sci., 2016)

A general SOS theory for the specification of probabilistic transition systems. - Pedro R. D'Argenio; Daniel Gebler; Matias David Lee (Inf. Comput., 2016)

SOS specifications for uniformly continuous operators. - Daniel Gebler; Simone Tini (J. Comput. Syst. Sci., 2018)

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes. - Valentina Castiglioni; Daniel Gebler; Simone Tini (Log. Methods Comput. Sci., 2018)

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. - Wenjie Du 001; Yuxin Deng; Daniel Gebler (Sci. Ann. Comput. Sci., 2022)