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
12 links
Benedikt Bollig
Researcher
PaperVerification of Neural Networks (Lecture Notes)Authorship / preprint / 2026PaperAn optimal construction of Hanf sentencesAuthorship / preprint / 2011PaperAn automaton over data words that captures EMSO logicAuthorship / preprint / 2011PaperA Robust Class of Data Languages and an Application to LearningAuthorship / preprint / 2014PaperPropositional Dynamic Logic for Message-Passing SystemsAuthorship / preprint / 2010PaperOn the Expressive Power of 2-Stack Visibly Pushdown AutomataAuthorship / preprint / 2008PaperOne-Counter Automata with Counter ObservabilityAuthorship / preprint / 2016TopicLogic in Computer ScienceWorks on / 2208 works