
Search the dblp DataBase
Larissa Meinicke:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Larissa Meinicke, Ian J. Hayes
Reasoning Algebraically About Probabilistic Loops. [Citation Graph (0, 0)][DBLP] ICFEM, 2006, pp:380399 [Conf]
 Larissa Meinicke, Ian J. Hayes
Continuous Action System Refinement. [Citation Graph (0, 0)][DBLP] MPC, 2006, pp:316337 [Conf]
 Larissa Meinicke, Graeme Smith
A Stepwise Development Process for Reasoning About the Reliability of RealTime Systems. [Citation Graph (0, 0)][DBLP] IFM, 2007, pp:439458 [Conf]
Reactive Probabilistic Programs and Refinement Algebra. [Citation Graph (, )][DBLP]
Security, Probability and Nearly Fair Coins in the Cryptographers' Café. [Citation Graph (, )][DBLP]
Compositional Closure for Bayes Risk in Probabilistic Noninterference. [Citation Graph (, )][DBLP]
Probabilistic Choice in Refinement Algebra. [Citation Graph (, )][DBLP]
Unifying Theories of Programming That Distinguish Nontermination and Abort. [Citation Graph (, )][DBLP]
LinearInvariant Generation for Probabilistic Programs:  Automated Support for ProofBased Methods. [Citation Graph (, )][DBLP]
Algebraic reasoning for probabilistic action systems and whileloops. [Citation Graph (, )][DBLP]
Compositional closure for Bayes Risk in probabilistic noninterference [Citation Graph (, )][DBLP]
Refinement Algebra for Probabilistic Programs. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
