Here you can find information about software I have developed or am working on in connection with research projects.
Demonstration software related to a current project to implement quasi-Schenkerian analysis by computer.
Software examples for a paper submitted to the Journal of Mathematics and Music, 'Timing in Music and Modal Temporal Logic'.
Software to represent and manipulate melodies in a structural graph representation (see 'Representing Melodic Patterns as Networks of Elaborations').
Examples of representations and implementations of procedures discussed in Representing Musical Time: A Temporal-Logic Approach.