| 2023 | ICFEM | Trace Models of Concurrent Valuation Algebras. | Nasos Evangelou-Oost, Larissa Meinicke, Callum Bannister, Ian J. Hayes |
| 2019 | MPC | Cylindric Kleene Lattices for Program Construction. | Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Georg Struth |
| 2014 | FM | Invariants, Well-Founded Statements and Real-Time Program Algebra. | Ian J. Hayes, Larissa Meinicke |
| 2012 | LICS | A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism. | Annabelle McIver, Larissa Meinicke, Carroll Morgan |
| 2010 | ICALP | Compositional Closure for Bayes Risk in Probabilistic Noninterference. | Annabelle McIver, Larissa Meinicke, Carroll Morgan |
| 2010 | MPC | Unifying Theories of Programming That Distinguish Nontermination and Abort. | Ian J. Hayes, Steve Dunne, Larissa Meinicke |
| 2010 | SAS | Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods. | Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll C. Morgan |
| 2009 | FM | Security, Probability and Nearly Fair Coins in the Cryptographers' Caf. | Annabelle McIver, Larissa Meinicke, Carroll Morgan |
| 2008 | MPC | Probabilistic Choice in Refinement Algebra. | Larissa Meinicke, Ian J. Hayes |
| 2007 | IFM | A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems. | Larissa Meinicke, Graeme Smith |
| 2006 | ICFEM | Reasoning Algebraically About Probabilistic Loops. | Larissa Meinicke, Ian J. Hayes |
| 2006 | MPC | Continuous Action System Refinement. | Larissa Meinicke, Ian J. Hayes |