Philipp Hoffmann

Learn More
We present our GPU-based implementations of three well-known algorithms for solving parity games. Our implementations are in general faster by a factor of at least two than the corresponding implementations found in the widely known PGSolver collection of solvers. For benchmarking we use several of PGSolver's benchmarks as well as arenas obtained by means(More)
We study Probabilistic Workflow Nets (PWNs), a model extending van der Aalst's workflow nets with probabilities. We give a semantics for PWNs in terms of Markov Decision Processes and introduce a reward model. Using a result by Varacca and Nielsen, we show that the expected reward of a complete execution of the PWN is independent of the scheduler. Extending(More)
Negotiations, a model of concurrency with multi party negotiation as primitive, have been recently introduced in [5,6]. We initiate the study of games for this model. We study coalition problems: can a given coalition of agents force that a negotiation terminates (resp. block the negotiation so that it goes on forever)?; can the coalition force a given(More)
The elimination half-life and consequently the accumulation of enoxaparin increase as glomerular filtration rate (GFR) decreases. A dose adjustment for patients with a GFR <30 ml/min is recommended and considered relatively safe. Our intention was to identify whether the use of enoxaparin is safe and to determine what impact an enoxaparin dose adjustment(More)
Oestrogens, such as oestrone (E(1)), 17β-oestradiol (E(2)), oestriol (E(3)) and their biologically active metabolites 2-methoxyoestrone (2-MeOE(1)), 2-hydroxyoestradiol (2-OHE(2)) 16-ketooestradiol (16-OE(2)), 16-epioestriol (16-epiE(3)), as well as testosterone (T) play an important role in physiological and pathological developmental processes during(More)
  • 1