( en | de | ru )

 

Disambiguation of "Noll, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesizing and optimizing FDIR recovery strategies from fault trees.

, , , and . Sci. Comput. Program., (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Noll

Thomas Noll

Thomas Noll

Thomas Noll

Thomas Noll

 

Other publications of authors with the same name

Scratching the Scale Labyrinth, , , , and . Mathematics and Computation in Music -- MCM 2011, volume 6726 of LNAI, page 180--195. Berlin Heidelberg, Springer-Verlag, (2011)Musical intervals and special linear transformations.. J. Math. Music, 1 (2): 121-137 (2007)Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees., , , and . FTSCS, volume 1008 of Communications in Computer and Information Science, page 37-54. Springer, (2018)Insiders' Choice: Studying Pitch Class Sets Through Their Discrete Fourier Transformations.. MCM, volume 11502 of Lecture Notes in Computer Science, page 371-378. Springer, (2019)Exploring the Syntonic Side of Major-Minor Tonality., and . MCM, volume 11502 of Lecture Notes in Computer Science, page 125-136. Springer, (2019)Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs., and . CoRR, (2020)Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees., , and . J. Aerosp. Inf. Syst., 16 (2): 52-60 (February 2019)Foundations for Entailment Checking in Quantitative Separation Logic., , , , , , and . ESOP, volume 13240 of Lecture Notes in Computer Science, page 57-84. Springer, (2022)Equational Abstractions for Reducing the State Space of Rewrite Theories., and . WRLA, volume 238 of Electronic Notes in Theoretical Computer Science, page 139-154. Elsevier, (2008)Embedded Structural Modes: Unifying Scale Degrees and Harmonic Functions., and . MCM, volume 11502 of Lecture Notes in Computer Science, page 137-148. Springer, (2019)