Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009-7

Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation

Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon

Fundamenta Informaticae

Retricted access

Research article

First published 2007-9

System safety modelling and assessment using ternary decision diagram

Y-Y Yu, B. W. Johnson

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2011-3

Combining different binary decision diagram techniques for solving models with multiple failure states

M Pock, O Malass'e, M Walter

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2009-12

Minimal cutsets-based reduction approach for the use of binary decision diagrams on probabilistic safety assessment fault tree models

C Ibáñez-Llano, A Rauzy, E Meléndez [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2006-8

Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol

Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2021-6

A method for transformation from dynamic fault tree to binary decision diagram

Haiyue Yu, Xiaoyue Wu

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2022-10

Failure behavior of multi-state system considering functional and physical isolation effects

Ying Chen, Ze Wang, Yanfang Wang [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Other

First published 1997-07

Representation and Analysis of Medical Decision Problems with Influence Diagrams

Douglas K. Owens, Ross D. Shachter, Robert F. Nease

Medical Decision Making

Retricted access

Research article

First published 1997-07

Use of Influence Diagrams to Structure Medical Decisions

Robert F. Nease, Douglas K. Owens

Medical Decision Making

Retricted access

Research article

First published 2015-08

Medical Reasoning with Rough-Set Influence Diagrams

Chia-Hui Huang

Journal of Computational Biology

Search results