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)Foundations for Entailment Checking in Quantitative Separation Logic., , , , , , und . ESOP, Volume 13240 von Lecture Notes in Computer Science, Seite 57-84. Springer, (2022)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)Quantitative separation logic: a logic for reasoning about probabilistic pointer programs., , , , und . Proc. ACM Program. Lang., 3 (POPL): 34:1-34:29 (2019)A Modular Approach to Non-deterministic Dynamic Fault Trees., , , und . SAFECOMP, Volume 12852 von Lecture Notes in Computer Science, Seite 243-257. Springer, (2021)Transformations for Pairwise Well-Formed Modes., und . MCM, Volume 13267 von Lecture Notes in Computer Science, Seite 140-152. Springer, (2022)Improving Generalization in Software IC3., , , , und . SPIN, Volume 10869 von Lecture Notes in Computer Science, Seite 85-102. Springer, (2018)