Showing 1–14 of 14 results
/ Date/ Name
Oct 22, 2016Unified Reasoning about Robustness Properties of Symbolic-Heap Separation LogicMay 10, 2017Graph-Based Shape Analysis Beyond Context-FreenessFeb 28, 2018Quantitative Separation Logic - A Logic for Reasoning about Probabilistic ProgramsJun 16, 2020Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness ProofsJul 7, 2017Pairwise Well-Formed Modes and TransformationsJan 27, 2022Foundations for Entailment Checking in Quantitative Separation Logic (extended version)Jan 17, 2013Incorporating Voice Permutations into the Theory of Neo-Riemannian Groups and Lewinian DualityFeb 8, 2011Commuting Groups and the Topos of TriadsMar 8, 2026Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic ProblemsJul 6, 2022Towards Concurrent Quantitative Separation LogicMar 31, 2016Voicing Transformations and a Linear Representation of Uniform Triadic TransformationsApr 25, 2012Morphisms of Generalized Interval Systems and PR-GroupsJul 28, 2025Transformations of Triads and Seventh Chords: Group Extensions and DualityApr 3, 2024Quantum Tonality: A Mathemusical Playground