Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Thomas Noll
Researcher
PaperDebona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness ProofsAuthorship / preprint / 2021PaperCommuting Groups and the Topos of TriadsAuthorship / preprint / 2011PaperMorphisms of Generalized Interval Systems and PR-GroupsAuthorship / preprint / 2013PaperIncorporating Voice Permutations into the Theory of Neo-Riemannian Groups and Lewinian DualityAuthorship / preprint / 2013PaperVoicing Transformations and a Linear Representation of Uniform Triadic TransformationsAuthorship / preprint / 2016PaperUnified Reasoning about Robustness Properties of Symbolic-Heap Separation LogicAuthorship / preprint / 2016PaperQuantitative Separation Logic - A Logic for Reasoning about Probabilistic ProgramsAuthorship / preprint / 2018PaperFoundations for Entailment Checking in Quantitative Separation Logic (extended version)Authorship / preprint / 2022