Sage Journals: Discover world-class research

Retricted access

Research article

First published 1999-8

The Complexity of Certain Modal Formulas on Binary Ramified Subset Trees

Bernhard Heinemann

Fundamenta Informaticae

Retricted access

Research article

First published 1984-10

The Use of Logic Trees in Technical Documentation Alternative Diagrammatic Approaches

Michael J. Firment, Arthur D. Fisk

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2010-3

On the Borel Complexity of MSO Definable Sets of Branches

Mikołaj Bojańczyk, Damian Niwiński, Alexander Rabinovich [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2011-8

Logical models for the propagation of disparate information and uncertainty across effectivity trees

T. Ross, M. Reda Taha, J.J. Kim [...]

Integrated Computer-Aided Engineering

Retricted access

Research article

First published 2023-12

An adapted component-connection method for building SBDD encoding a dynamic fault tree

Dingqing Guo, Jinkai Wang, Jian Lin [...]

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

Retricted access

Research article

First published 2004-11

A new approach to scalable and fault‐tolerant group key management protocols

H. Seba, A. Bouabdallah, N. Badache

Journal of High Speed Networks

Retricted access

Research article

First published 2008-6

Analysis of non-coherent fault trees using ternary decision diagrams

R Remenyte-Prescott, J Andrews

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

Retricted access

Research article

First published 2002-6

Products and Polymorphic Subtypes

Viviana Bono, Jerzy Tiuryn

Fundamenta Informaticae

Retricted access

Research article

First published 2004-5

Phased mission modelling using fault tree analysis

R A La Band, J D Andrews

Proceedings of the Institution of Mechanical Engineers,Part E: Journal of Process Mechanical Engineering

Retricted access

Research article

First published 2008-10

Class Specific Fuzzy Decision Trees for Mining High Speed Data Streams

Sattar Hashemi, Mohammadreza Kangavari, Ying Yang

Fundamenta Informaticae

Search results