Daniel Gebler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2012–2016
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CONCUR | Modal Decomposition on Nondeterministic Probabilistic Processes. | Valentina Castiglioni, Daniel Gebler, Simone Tini |
| 2016 | SETTA | Behavioural Pseudometrics for Nondeterministic Probabilistic Systems. | Wenjie Du, Yuxin Deng, Daniel Gebler |
| 2015 | CONCUR | SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators. | Daniel Gebler, Simone Tini |
| 2015 | FOSSACS | Compositional Metric Reasoning with Probabilistic Process Calculi. | Daniel Gebler, Kim Guldstrand Larsen, Simone Tini |
| 2014 | CONCUR | Generalized Bisimulation Metrics. | Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu |
| 2014 | FOSSACS | Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules. | Pedro R. D'Argenio, Daniel Gebler, Matias David Lee |
| 2012 | CONCUR | Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics. | Daniel Gebler, Wan J. Fokkink |