Adam Husted Kjelstrøm

According to our database¹, Adam Husted Kjelstrøm authored at least 3 papers between 2021 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Program Analysis via Multiple Context Free Language Reachability.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

2022

The decidability and complexity of interleaved bidirected Dyck reachability.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

2021

Tight bounds for reachability problems on one-counter and pushdown systems.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2021