Larissa Meinicke

Larissa Meinicke

University of Queensland - St Lucia / Australia
Engineering & Technology / Computer Science
AD Scientific Index ID: 52708
The University of Queensland
person_outline Larissa Meinicke's MOST POPULAR ARTICLES
1-) Linear-invariant generation for probabilistic programs: Automated support for proof-based methodsJP Katoen, AK McIver, LA Meinicke, CC MorganStatic Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010942010
2-) Compositional closure for Bayes risk in probabilistic noninterferenceA McIver, L Meinicke, C MorganInternational Colloquium on Automata, Languages, and Programming, 223-235, 2010902010
3-) Abstract channels and their robust information-leakage orderingA McIver, C Morgan, G Smith, B Espinoza, L MeinickeInternational Conference on Principles of Security and Trust, 83-102, 2014762014
4-) Designing a semantic model for a wide-spectrum language with concurrencyRJ Colvin, IJ Hayes, LA MeinickeFormal Aspects of Computing 29, 853-875, 2017332017
5-) Hidden-Markov program algebra with iterationA McIver, L Meinicke, C MorganMathematical Structures in Computer Science 25 (2), 320-360, 2015292015