Tight bounds for reachability problems on one-counter and pushdown systems. - Jakob Cetti Hansen; Adam Husted Kjelstrøm; Andreas Pavlogiannis (Inf. Process. Lett., 2021)

The decidability and complexity of interleaved bidirected Dyck reachability. - Adam Husted Kjelstrøm; Andreas Pavlogiannis (Proc. ACM Program. Lang., 2022)

Program Analysis via Multiple Context Free Language Reachability. - Giovanna Kobus Conrado; Adam Husted Kjelstrøm; Jaco van de Pol; Andreas Pavlogiannis (Proc. ACM Program. Lang., 2025)