| Publication | Date of Publication | Type |
|---|
| Towards concurrent quantitative separation logic | 2024-08-13 | Paper |
Fishing for complements with chord, scale, and rhythm nets
Journal of Mathematics and Music | 2024-01-18 | Paper |
Foundations for entailment checking in quantitative separation logic
Programming Languages and Systems | 2023-08-03 | Paper |
Turning the volvelle: Exploring Jack Douthett's voice leading dynamics
Journal of Mathematics and Music | 2023-06-29 | Paper |
A debugger for probabilistic programs
Software Engineering and Formal Methods | 2023-05-26 | Paper |
Graph-based shape analysis beyond context-freeness
Software Engineering and Formal Methods | 2023-05-05 | Paper |
Symbolic liveness analysis of real-world software
Computer Aided Verification | 2023-05-05 | Paper |
Improving Generalization in Software IC3
Model Checking Software | 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
Journal of Mathematics and Music | 2020-01-07 | Paper |
Naming and ordering the modes, in light of combinatorics on words
Journal of Mathematics and Music | 2020-01-07 | Paper |
Dual lattice-path transformations and the dynamics of the major and minor exo-modes
Journal of Mathematics and Music | 2020-01-07 | Paper |
Insiders' choice: studying pitch class sets through their discrete Fourier transformations
Mathematics and Computation in Music | 2019-10-17 | Paper |
Exploring the syntonic side of major-minor tonality
Mathematics and Computation in Music | 2019-10-17 | Paper |
Distant neighbors and interscalar contiguities
Mathematics and Computation in Music | 2019-10-17 | Paper |
Embedded structural modes: unifying scale degrees and harmonic functions
Mathematics and Computation in Music | 2019-10-17 | Paper |
Bad boys: how criminal identity salience affects rule violation
Review of Economic Studies | 2019-01-23 | Paper |
Voicing transformations of triads
SIAM Journal on Applied Algebra and Geometry | 2018-06-12 | Paper |
Pairwise well-formed modes and transformations
(available as arXiv preprint) | 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
Programming Languages and Systems | 2017-05-19 | Paper |
| Voicing Transformations and a Linear Representation of Uniform Triadic Transformations | 2016-03-31 | Paper |
Tree-like grammars and separation logic
Programming Languages and Systems | 2016-01-08 | Paper |
Morphisms of generalized interval systems and PR-groups
Journal of Mathematics and Music | 2015-11-30 | Paper |
Juggrnaut: using graph grammars for abstracting unbounded heap structures
Formal Methods in System Design | 2015-10-20 | Paper |
Triads as modes within scales as modes
Mathematics and Computation in Music | 2015-08-20 | Paper |
Equational abstractions for reducing the state space of rewrite theories
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Generating abstract graph-based procedure summaries for pointer programs
Graph Transformation | 2014-09-26 | Paper |
Generating inductive predicates for symbolic execution of pointer-manipulating programs
Graph Transformation | 2014-09-26 | Paper |
Abstraction and model checking of core Erlang programs in Maude
Electronic Notes in Theoretical Computer Science | 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
Mathematics and Computation in Music | 2013-08-05 | Paper |
Glarean's dodecachordon revisited
Mathematics and Computation in Music | 2013-08-05 | Paper |
Plain and Twisted Adjoints of Well-Formed Words
Communications in Computer and Information Science | 2012-09-20 | Paper |
Regions and standard modes
Communications in Computer and Information Science | 2012-09-20 | Paper |
Commuting groups and the topos of triads
Mathematics and Computation in Music | 2011-06-24 | Paper |
Scratching the scale labyrinth
Mathematics and Computation in Music | 2011-06-24 | Paper |
Fundamental passacaglia: harmonic functions and the modes of the musical tetractys
Mathematics and Computation in Music | 2011-06-24 | Paper |
An extension of Christoffel duality to a subset of Sturm numbers and their characteristic words
Theoretical Computer Science | 2011-06-16 | Paper |
A Local Greibach Normal Form for Hyperedge Replacement Grammars
Language and Automata Theory and Applications | 2011-06-03 | Paper |
| scientific article; zbMATH DE number 5898639 (Why is no real title available?) | 2011-05-20 | Paper |
WF scales, ME sets, and Christoffel words
Communications in Computer and Information Science | 2010-12-28 | Paper |
| scientific article; zbMATH DE number 5821922 (Why is no real title available?) | 2010-12-01 | Paper |
Ionian theorem
Journal of Mathematics and Music | 2009-12-22 | Paper |
Abstracting Complex Data Structures by Hyperedge Replacement
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Musical intervals and special linear transformations
Journal of Mathematics and Music | 2008-11-03 | Paper |
Composing Transformations to Optimize Linear Code
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
| The topos of triads | 2008-04-03 | Paper |
| Geometry of chords | 2007-07-30 | Paper |
Algebraic correctness proofs for compiling recursive function definitions with strictness information
Acta Informatica | 2006-09-12 | Paper |
| scientific article; zbMATH DE number 2202941 (Why is no real title available?) | 2005-09-05 | Paper |
| scientific article; zbMATH DE number 2202921 (Why is no real title available?) | 2005-09-05 | Paper |
| scientific article; zbMATH DE number 2099196 (Why is no real title available?) | 2004-09-07 | Paper |
| scientific article; zbMATH DE number 2087422 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1796139 (Why is no real title available?) | 2002-09-04 | Paper |
| scientific article; zbMATH DE number 1701781 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1691455 (Why is no real title available?) | 2002-01-15 | Paper |
The universality of higher-order attributed tree transducers
Theory of Computing Systems | 2001-10-07 | Paper |
| scientific article; zbMATH DE number 1390251 (Why is no real title available?) | 2001-09-10 | Paper |
| Rewriting logic as a framework for generic verification tools | 2001-05-07 | Paper |
| scientific article; zbMATH DE number 1361138 (Why is no real title available?) | 2000-04-25 | Paper |
| scientific article; zbMATH DE number 627410 (Why is no real title available?) | 1994-08-31 | Paper |
