43 citations · 54 across the 10 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 1 cited
Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic
Christina Jansen, Jens Katelaan, Christoph Matheja +2
We introduce heap automata, a formalism for automatic reasoning about robustness properties of the symbolic heap fragment of separation logic with user-defined inductive predicates…
math.GR2016★ 2 cited
Voicing Transformations and a Linear Representation of Uniform Triadic Transformations
Thomas M. Fiore, Thomas Noll
Motivated by analytical methods in mathematical music theory, we determine the structure of the subgroup J of GL(3,Z12) generated by the three voicing reflections. As applications…