Larissa Meinicke

Identifiers

• name variant Larissa Meinicke 0.60 · backfill

Papers (2)

1. Hidden-Markov Program Algebra with iteration cs.CR · 2011 · author #2
2. Compositional closure for Bayes Risk in probabilistic noninterference cs.FL · 2010 · author #2

Mentions

• 1102.0333 #2 · backfill · confidence 0.70 Larissa Meinicke
• 1007.1054 #2 · backfill · confidence 0.70 Larissa Meinicke

Frequent Coauthors

• Annabelle McIver 2 shared papers
• Carroll Morgan 2 shared papers