Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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