default search action

combined dblp search
author search
venue search
publication search

ask others

Daniel Gburek

Daniel Krähmann

> Home > Persons

Person information

affiliation: Technische Universität Dresden

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[b1]
- view
  - electronic edition @ nbn-resolving.org
  - details & citations
  authority control:
- export record
  dblp key:
  - phd/dnb/Gburek18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Gburek18
Daniel Gburek:
Stochastic transition systems: bisimulation, logic, and composition. Dresden University of Technology, Germany, 2018, pp. 1-252
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GburekB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GburekB18
Daniel Gburek, Christel Baier:
Bisimulations, logics, and trace distributions for stochastic systems with rewards. HSCC 2018: 31-40
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Baier0DGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Baier0DGS18
Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur:
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. LICS 2018: 86-94
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1804-11301
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-11301
Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur:
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. CoRR abs/1804.11301 (2018)
2016
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/GburekBK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/GburekBK16
Daniel Gburek, Christel Baier, Sascha Klüppelholz:
Composition of Stochastic Transition Systems Based on Spans and Couplings. ICALP 2016: 102:1-102:15
2015
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/KrahmannSBD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/KrahmannSBD15
Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff:
Ratio and Weight Quantiles. MFCS (1) 2015: 344-356
2014
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/dfg/Krahmann14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/Krahmann14
Daniel Krähmann:
Interface Theory for Stochastic Hybrid Systems. Joint Workshop of the German Research Training Groups in Computer Science 2014: 146

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.