Search the dblp DataBase

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]