Publication
-
What's on this evening? Designing user support for event-based annotation and exploration of media In Proceedings
January 2010
-
Quasi-stationary analysis for queues with temporary overload In Proceedings
January 2010 -
Spatially hybrid computations for streamer discharges with generic features of pulled fronts: I. Planar fronts Article
Journal of Computational Physics, 229(1), 200-220.January 2010
-
January 2010
-
Collapsing and Separating Complete Notions Under Worst-Case and Average-Case Hypotheses In Proceedings
January 2010 -
One-Counter Markov Decision Processes In Proceedings
January 2010
-
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems Article
Performance EvaluationJanuary 2010
-
The Complexity of Nash Equilibria in Stochastic Multiplayer Games Article
Logical Methods in Computer ScienceJanuary 2010