A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “computation trees” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

SAFEST: Fault Tree Analysis Via Probabilistic Model Checking
2024 Proceedings, annual Reliability and Maintainability Symposium/Proceedings. Annual Reliability and Maintainability Symposium conference-paper Decision Sciences Risk and Safety Analysis Open access

Matthias Volk, Falak Sher, Joost-Pieter Katoen, Mariëlle I. A. Stoelinga

13

citations
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees
2021 Latin-American Symposium on Dependable Computing conference-paper Decision Sciences Risk and Safety Analysis Open access

Shahid Ali Khan, Joost-Pieter Katoen, Matthias Volk, Zafar Ahmad, Falak Sher

3

citations
TOPO: Time-Ordered Provable Outputs
2024 arXiv (Cornell University) preprint Decision Sciences Scientific Computing and Data Management Open access

Santiago Casas

0

citations
An adaptive stochastic Galerkin method based on multilevel expansions of random fields: Convergence and optimality
2022 ESAIM Mathematical Modelling and Numerical Analysis article Decision Sciences Probabilistic and Robust Engineering Design Open access

Markus Bachmayr, Igor Voulis

6

citations

4 results