Dynamic study of critical factors of explosion accident in laboratory based on FTA

Binary Decision Diagrams

Akers · IEEE Transactions on Computers · 1978 · 1.8K citations

Engineering, Computer Engineering, Computer Science +17

Improving the analysis of dependable systems by mapping fault trees into Bayesian networks

Andrea Bobbio, Luigi Portinale, M. Minichino et al. · Reliability Engineering & System Safety · 2001 · 913 citations

Computing, Computer Science, Systems Engineering +16

Representation of Switching Circuits by Binary-Decision Programs

C. Y. Lee · Bell System Technical Journal · 1959 · 695 citations

Engineering, Computer Engineering, Computer Science +16

Logic verification using binary decision diagrams in a logic synthesis environment

Sharad Malik, A.R. Wang, Robert K. Brayton et al. · 2003 · 509 citations

Computing, Computer Engineering, Computer Science +17

Minimal cut sets in biochemical reaction networks

Steffen Klamt, Ernst Dieter Gilles · Bioinformatics · 2004 · 276 citations

Life Sciences, Biochemistry, Computational Biology +13