Lyndon M. Henry

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Reachability Analysis

Top Venues

IEEE Trans. Knowl. Data Eng.

Publications

Jens Dietrich, Lijun Chang, Long Qian, Lyndon M. Henry, Catherine McCartin, Bernhard Scholz
Efficient Sink-Reachability Analysis via Graph Reduction (Extended Abstract). ICDE (2023)
Jens Dietrich, Lijun Chang, Long Qian, Lyndon M. Henry, Catherine McCartin, Bernhard Scholz
Efficient Sink-Reachability Analysis via Graph Reduction. IEEE Trans. Knowl. Data Eng. 34 (11) (2022)