Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Ying Sheng
Map detail
Ying Sheng4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipYing ShengAYing ShengResearcherReasoning About Vectors using an SMT Theory of SequencesWReasoning About Vectors...preprint / 2022Politeness for the Theory of Algebraic DatatypesWPoliteness for the Theo...preprint / 2020Simplified DOM Trees for Transferable Attribute Extraction from the WebWSimplified DOM Trees fo...preprint / 2021
Person3 links

Ying Sheng

Researcher