Search the dblp DataBase

Publications of Author

1. Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg
   Eager Markov Chains. [Citation Graph (0, 0)][DBLP]
   ATVA, 2006, pp:24-38 [Conf]
   
2. Sven Sandberg
   Homing and Synchronizing Sequences. [Citation Graph (0, 0)][DBLP]
   Model-Based Testing of Reactive Systems, 2004, pp:5-33 [Conf]
   
3. Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov
   Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 2003, pp:381-394 [Conf]
   
4. Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov
   A Combinatorial Strongly Subexponential Strategy Improvement Algorithm for Mean Payoff Games. [Citation Graph (0, 0)][DBLP]
   MFCS, 2004, pp:673-685 [Conf]
   
5. Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg
   Limiting Behavior of Markov Chains with Eager Attractors. [Citation Graph (0, 0)][DBLP]
   QEST, 2006, pp:253-264 [Conf]
   
6. Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov
   A Discrete Subexponential Algorithm for Parity Games. [Citation Graph (0, 0)][DBLP]
   STACS, 2003, pp:663-674 [Conf]
   
7. Henrik Björklund, Sven Sandberg, Sergei G. Vorobyov
   Memoryless determinacy of parity and mean payoff games: a simple proof. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:310, n:1-3, pp:365-378 [Journal]
   
8. 
   Stochastic Games with Lossy Channels. [Citation Graph (, )][DBLP]