Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Larissa Meinicke
Algebraic Reasoning for Probabilistic Action Systems and While-Loops
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Related publications
Probabilistic Reasoning
A Knowledge Engineering Approach for Image Classification Based on Probabilistic Reasoning Systems
Leveraging Weighted Automata in Compositional Reasoning About Concurrent Probabilistic Systems
ACM SIGPLAN Notices
Computer Science
Probabilistic Reasoning in Data Analysis
Science Signaling
Biochemistry
Cell Biology
Molecular Biology
Expectation Invariants for Probabilistic Program Loops as Fixed Points
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reasoning About Loops Using Vampire in KeY
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Integrating Logical Reasoning and Probabilistic Chain Graphs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Reasoning and Multiple-Expert Methodology for Correlated Objective Data
Artificial Intelligence in Engineering
Significance Testing as Perverse Probabilistic Reasoning
BMC Medicine
Medicine
