The SCEAS System
Navigation Menu

Search the dblp DataBase


Marcus Größer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marcus Größer, Christel Baier
    Partial Order Reduction for Markov Decision Processes: A Survey. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:408-427 [Conf]
  2. Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker
    On Reduction Criteria for Probabilistic Reward Models. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2006, pp:309-320 [Conf]
  3. Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski
    Controller Synthesis for Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:493-506 [Conf]
  4. Christel Baier, Marcus Größer
    Recognizing omega-regular Languages with Probabilistic Automata. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:137-146 [Conf]
  5. Christel Baier, Frank Ciesinski, Marcus Größer
    PROBMELA: a modeling language for communicating probabilistic processes. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2004, pp:57-66 [Conf]
  6. Christel Baier, Marcus Größer, Frank Ciesinski
    Partial Order Reduction for Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:230-239 [Conf]
  7. Frank Ciesinski, Marcus Größer
    On Probabilistic Computation Tree Logic. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:147-188 [Conf]
  8. Christel Baier, Pedro R. D'Argenio, Marcus Größer
    Partial Order Reduction for Probabilistic Branching Time. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:97-116 [Journal]
  9. Christel Baier, Frank Ciesinski, Marcus Größer
    ProbMela and verification of Markov decision processes. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:22-27 [Journal]

  10. Quantitative Analysis under Fairness Constraints. [Citation Graph (, )][DBLP]

  11. The Effect of Tossing Coins in Omega-Automata. [Citation Graph (, )][DBLP]

  12. On Decision Problems for Probabilistic Büchi Automata. [Citation Graph (, )][DBLP]

  13. Recurrence and Transience for Probabilistic Automata. [Citation Graph (, )][DBLP]

  14. Probabilistic and Topological Semantics for Timed Automata. [Citation Graph (, )][DBLP]

  15. Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. [Citation Graph (, )][DBLP]

  16. Stochastic Game Logic. [Citation Graph (, )][DBLP]

  17. Reduction Techniques for Model Checking Markov Decision Processes. [Citation Graph (, )][DBLP]

  18. Probabilistic Acceptors for Languages over Infinite Words. [Citation Graph (, )][DBLP]

  19. Generating Compact MTBDD-Representations from ProbmelaSpecifications. [Citation Graph (, )][DBLP]

  20. Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability [Citation Graph (, )][DBLP]

Search in 0.126secs, Finished in 0.127secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002