Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Analysis of non-coherent fault trees using ternary decision diagrams

10 references·2 citing·25 second hop

FromToDepth

this work references cited by second hop

References

1993New algorithms for fault trees analysis472 cited
1970A time-dependent methodology for fault tree evaluation285 cited
1996A linear-time algorithm to find modules of fault trees159 cited
1997Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia126 cited
2001Mathematical foundations of minimal cutsets121 cited
1997Improved efficiency in qualitative fault tree analysis82 cited
1997Improved accuracy in quantitative fault tree analysis79 cited
2002Choosing a heuristic for the "fault tree to binary decision diagram" conversion, using neural networks47 cited
2001The use of not logic in fault tree analysis41 cited
2001Comparison of two new approaches to variable ordering for binary decision diagrams21 cited

Cited by

2025Quantum fault trees and minimal cut sets identification14 cited
2020SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets9 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work