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
3 links
Xuandong Li
Researcher
PaperScope Logic with Local Reasoning and Pre/Post-State PropertiesAuthorship / preprint / 2010PaperFormal Verification of `Programming to Interfaces' ProgramsAuthorship / preprint / 2013PaperOnline Verification of Control Parameter Calculations in Communication Based Train Control SystemAuthorship / preprint / 2011