Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Florian Leitner-Fischer
From Probabilistic Counterexamples via Causality to Fault Trees
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Probabilistic Fault Tree Synthesis Using Causality Computation
International Journal of Critical Computer-Based Systems
Computer Science
Counterexamples in Probabilistic Model Checking
Diagnosis Using Fault Trees Induced From Simulated Incipient Fault Case Data
European Benchmark Fault Trees
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits
Formal Aspects of Computing
Theoretical Computer Science
Software
Counterexamples to Strassen’s Direct Sum Conjecture
Acta Mathematica
Mathematics
Nonabelian Counterexamples to the Noether Problem
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Simulating Probabilistic by Deterministic Algebraic Computation Trees
Theoretical Computer Science
Computer Science
Theoretical Computer Science
The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis
