The SCEAS System
Navigation Menu

Search the dblp DataBase


Larissa Meinicke: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Larissa Meinicke, Ian J. Hayes
    Reasoning Algebraically About Probabilistic Loops. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:380-399 [Conf]
  2. Larissa Meinicke, Ian J. Hayes
    Continuous Action System Refinement. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:316-337 [Conf]
  3. Larissa Meinicke, Graeme Smith
    A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:439-458 [Conf]

  4. Reactive Probabilistic Programs and Refinement Algebra. [Citation Graph (, )][DBLP]

  5. Security, Probability and Nearly Fair Coins in the Cryptographers' Café. [Citation Graph (, )][DBLP]

  6. Compositional Closure for Bayes Risk in Probabilistic Noninterference. [Citation Graph (, )][DBLP]

  7. Probabilistic Choice in Refinement Algebra. [Citation Graph (, )][DBLP]

  8. Unifying Theories of Programming That Distinguish Nontermination and Abort. [Citation Graph (, )][DBLP]

  9. Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods. [Citation Graph (, )][DBLP]

  10. Algebraic reasoning for probabilistic action systems and while-loops. [Citation Graph (, )][DBLP]

  11. Compositional closure for Bayes Risk in probabilistic noninterference [Citation Graph (, )][DBLP]

  12. Refinement Algebra for Probabilistic Programs. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
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