VLDB 2026 Research / reviewers in the wild / expert
Samuel Huang 0001
dblp:46/4278-1
· DBLP profile ↗
4ranked-venue papers
3as first author
2since 2021 · last 2022
0000-0002-7209-550XORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 4 · 3 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | A tableau construction for finite linear-time temporal logic
Samuel Huang 0001, Rance Cleaveland |
J. Log. Algebraic Methods Program. | 1 |
| 2022 | Temporal-logic query checking over finite data streams
Samuel Huang 0001, Rance Cleaveland |
Int. J. Softw. Tools Technol. Transf. | 1 |
| 2020 | Temporal-Logic Query Checking over Finite Data Streams
Samuel Huang 0001, Rance Cleaveland |
FMICS | 1 |
| 2010 | Automatic Requirement Extraction from Test Cases
Christopher Ackermann, Rance Cleaveland, Samuel Huang 0001, Arnab Ray, Charles P. Shelton, Elizabeth Latronico |
RV | 3 |