VLDB 2026 Research / reviewers in the wild / expert
Shiping Chen 0008
dblp:253/0611-8
· DBLP profile ↗
2ranked-venue papers
2as first author
1since 2021 · last 2024
0000-0001-9311-483XORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Reachability analysis of linear systems
Shiping Chen 0008, Xinyu Ge |
Acta Informatica | 1 |
| 2020 | Automated proof of mixed trigonometric-polynomial inequalities
Shiping Chen 0008 |
J. Symb. Comput. | 1 |