| Publication | Date of Publication | Type |
|---|
| Towards concurrent quantitative separation logic | 2024-08-13 | Paper |
| Fishing for complements with chord, scale, and rhythm nets | 2024-01-18 | Paper |
| Foundations for entailment checking in quantitative separation logic | 2023-08-03 | Paper |
| Turning the volvelle: Exploring Jack Douthett's voice leading dynamics | 2023-06-29 | Paper |
| A debugger for probabilistic programs | 2023-05-26 | Paper |
| Graph-based shape analysis beyond context-freeness | 2023-05-05 | Paper |
| Symbolic liveness analysis of real-world software | 2023-05-05 | Paper |
| Improving Generalization in Software IC3 | 2023-03-21 | Paper |
| Transformations for pairwise well-formed modes | 2022-08-18 | Paper |
| Quantum-musical explorations on \(\mathbb{Z}_n\) | 2022-08-18 | Paper |
| Kaleidoscope substitutions and pairwise well-formed modes: major-minor duality transformationally revisited | 2020-01-07 | Paper |
| Naming and ordering the modes, in light of combinatorics on words | 2020-01-07 | Paper |
| Dual lattice-path transformations and the dynamics of the major and minor exo-modes | 2020-01-07 | Paper |
| Insiders’ Choice: Studying Pitch Class Sets Through Their Discrete Fourier Transformations | 2019-10-17 | Paper |
| Exploring the Syntonic Side of Major-Minor Tonality | 2019-10-17 | Paper |
| Distant Neighbors and Interscalar Contiguities | 2019-10-17 | Paper |
| Embedded Structural Modes: Unifying Scale Degrees and Harmonic Functions | 2019-10-17 | Paper |
| Bad Boys: How Criminal Identity Salience Affects Rule Violation | 2019-01-23 | Paper |
| Voicing Transformations of Triads | 2018-06-12 | Paper |
| Pairwise well-formed modes and transformations | 2018-01-04 | Paper |
| Matching lexicographic and conjugation orders on the conjugation class of a special Sturmian morphism | 2017-11-15 | Paper |
| Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic | 2017-05-19 | Paper |
| Voicing Transformations and a Linear Representation of Uniform Triadic Transformations | 2016-03-31 | Paper |
| Tree-Like Grammars and Separation Logic | 2016-01-08 | Paper |
| Morphisms of generalized interval systems andPR-groups | 2015-11-30 | Paper |
| Juggrnaut: using graph grammars for abstracting unbounded heap structures | 2015-10-20 | Paper |
| Triads as Modes within Scales as Modes | 2015-08-20 | Paper |
| Equational Abstractions for Reducing the State Space of Rewrite Theories | 2015-03-19 | Paper |
| Generating Abstract Graph-Based Procedure Summaries for Pointer Programs | 2014-09-26 | Paper |
| Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs | 2014-09-26 | Paper |
| Abstraction and model checking of core Erlang programs in Maude | 2014-01-24 | Paper |
| Equational abstractions for model checking Erlang programs | 2013-09-20 | Paper |
| Incorporating Voice Permutations into the Theory of Neo-Riemannian Groups and Lewinian Duality | 2013-08-05 | Paper |
| Glarean’s Dodecachordon Revisited | 2013-08-05 | Paper |
| Plain and Twisted Adjoints of Well-Formed Words | 2012-09-20 | Paper |
| Regions and Standard Modes | 2012-09-20 | Paper |
| Commuting Groups and the Topos of Triads | 2011-06-24 | Paper |
| Scratching the Scale Labyrinth | 2011-06-24 | Paper |
| Fundamental Passacaglia: Harmonic Functions and the Modes of the Musical Tetractys | 2011-06-24 | Paper |
| An extension of Christoffel duality to a subset of Sturm numbers and their characteristic words | 2011-06-16 | Paper |
| A Local Greibach Normal Form for Hyperedge Replacement Grammars | 2011-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3002435 | 2011-05-20 | Paper |
| WF Scales, ME Sets, and Christoffel Words | 2010-12-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3060060 | 2010-12-01 | Paper |
| Ionian theorem | 2009-12-22 | Paper |
| Abstracting Complex Data Structures by Hyperedge Replacement | 2008-11-20 | Paper |
| Musical intervals and special linear transformations | 2008-11-03 | Paper |
| Composing Transformations to Optimize Linear Code | 2008-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5453719 | 2008-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5295589 | 2007-07-30 | Paper |
| Algebraic correctness proofs for compiling recursive function definitions with strictness information | 2006-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5315015 | 2005-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5314999 | 2005-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4815729 | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738217 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551158 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769620 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763376 | 2002-01-15 | Paper |
| The universality of higher-order attributed tree transducers | 2001-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934536 | 2001-09-10 | Paper |
| Rewriting logic as a framework for generic verification tools | 2001-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270075 | 2000-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4304751 | 1994-08-31 | Paper |
