Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Meinicke, Larissa"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Compositional closure for Bayes risk in probabilistic noninterference
Annabelle McIver
,
Larissa Meinicke
,
Carroll Morgan
Lecture Notes in Computer Science
6199
, 2010, pp. 223-235
Algebraic reasoning for probabilistic action systems and while-loops
Larissa Meinicke
,
Ian J. Hayes
Acta Informatica
45
(5), 2008, pp. 321-382