 | 2009 |
|---|
| 8 |       | Annabelle McIver,
Larissa Meinicke,
Carroll Morgan:
Security, Probability and Nearly Fair Coins in the Cryptographers' Café.
FM 2009: 41-71 |
| 2008 |
|---|
| 7 | | Larissa Meinicke,
Ian J. Hayes:
Probabilistic Choice in Refinement Algebra.
MPC 2008: 243-267 |
| 6 | | Larissa Meinicke,
Kim Solin:
Reactive Probabilistic Programs and Refinement Algebra.
RelMiCS 2008: 304-319 |
| 5 | | Larissa Meinicke,
Ian J. Hayes:
Algebraic reasoning for probabilistic action systems and while-loops.
Acta Inf. 45(5): 321-382 (2008) |
| 4 | | Larissa Meinicke,
Kim Solin:
Refinement Algebra for Probabilistic Programs.
Electr. Notes Theor. Comput. Sci. 201: 177-195 (2008) |
| 2007 |
|---|
| 3 | | Larissa Meinicke,
Graeme Smith:
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems.
IFM 2007: 439-458 |
| 2006 |
|---|
| 2 | | Larissa Meinicke,
Ian J. Hayes:
Reasoning Algebraically About Probabilistic Loops.
ICFEM 2006: 380-399 |
| 1 | | Larissa Meinicke,
Ian J. Hayes:
Continuous Action System Refinement.
MPC 2006: 316-337 |
