Graph explorer

Research map

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

Zhenbing Zeng
Map detail
Zhenbing Zeng4 visible / 4 total nodes / 3 links

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

AuthorshipAuthorshipAuthorshipZhenbing ZengAZhenbing ZengResearcherMaximizing the Sum of the Distances between Four Points on the Unit HemisphereWMaximizing the Sum of t...preprint / 2022Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares RepresentationWExact Safety Verificati...preprint / 2011Generating Loop Invariants by Computing Vanishing Ideals of Sample PointsWGenerating Loop Invaria...preprint / 2011
Person3 links

Zhenbing Zeng

Researcher