Dave Parker

Publications

  1. 2006
  2. Published
  3. Published
  4. Published

    Game-based Abstraction for Markov Decision Processes

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2006, p. 157-166. 10 p.

    Research output: Contribution to conference (unpublished)Paper

  5. Published

    On reduction criteria for probabilistic reward models

    Gethin Norman, Marta Kwiatkowska & David Parker, 1 Jan 2006, p. 309-320. 12 p.

    Research output: Contribution to conference (unpublished)Paper

  6. Published

    PRISM: A Tool for Automatic Verification of Probabilistic Systems

    Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jan 2006, p. 441-444. 4 p.

    Research output: Contribution to conference (unpublished)Paper

  7. Published

    PRISM: A tool for automatic verification of probabilistic systems

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2006, p. 441-444. 4 p.

    Research output: Contribution to conference (unpublished)Paper

  8. Published

    Probabilistic model checking of complex biological pathways

    John Heath, Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jan 2006, p. 32-47. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  9. Published

    Probabilistic model checking of complex biological pathways

    John Heath, Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jan 2006, p. 32-47. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  10. Published

    Simulation and Verification for Computational Modelling of Signalling Pathways

    Marta Kwiatkowska, Gethin Norman, David Parker, John Heath, Eamonn Gaffney, 1 Jan 2006, p. 1666-12675. 11010 p.

    Research output: Contribution to conference (unpublished)Paper

  11. Published

    Symmetry reduction for probabilistic model checking

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2006, p. 234-248. 15 p.

    Research output: Contribution to conference (unpublished)Paper

Previous 1 2 3 4 5 6 7 8 ...10 Next