( en | de | ru )

 

Disambiguation of "Noll, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Journal of Mathematics & Music

, and (Eds.) (November 2010)

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

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)Musical intervals and special linear transformations.. J. Math. Music, 1 (2): 121-137 (2007)Scratching the Scale Labyrinth, , , , and . Mathematics and Computation in Music -- MCM 2011, volume 6726 of LNAI, page 180--195. Berlin Heidelberg, Springer-Verlag, (2011)Foundations for Entailment Checking in Quantitative Separation Logic., , , , , , and . ESOP, volume 13240 of Lecture Notes in Computer Science, page 57-84. Springer, (2022)Truth - A verification platform for concurrent systems., , , and . Tool Support for System Specification, Development and Verification, page 150-159. Springer, (1998)Improving Generalization in Software IC3., , , , and . SPIN, volume 10869 of Lecture Notes in Computer Science, page 85-102. Springer, (2018)Quantitative separation logic: a logic for reasoning about probabilistic pointer programs., , , , and . Proc. ACM Program. Lang., 3 (POPL): 34:1-34:29 (2019)A Modular Approach to Non-deterministic Dynamic Fault Trees., , , and . SAFECOMP, volume 12852 of Lecture Notes in Computer Science, page 243-257. Springer, (2021)