Подписаться
Adam Husted Kjelstrøm
Adam Husted Kjelstrøm
Aarhus University
Подтвержден адрес электронной почты в домене post.au.dk
Название
Процитировано
Процитировано
Год
The decidability and complexity of interleaved bidirected Dyck reachability
AH Kjelstrøm, A Pavlogiannis
Proceedings of the ACM on Programming Languages 6 (POPL), 1-26, 2022
122022
Tight bounds for reachability problems on one-counter and pushdown systems
JC Hansen, AH Kjelstrøm, A Pavlogiannis
Information Processing Letters 171, 106135, 2021
92021
Program Analysis via Multiple Context Free Language Reachability
GK Conrado, AH Kjelstrøm, J van de Pol, A Pavlogiannis
Proceedings of the ACM on Programming Languages 9 (POPL), 509-538, 2025
2025
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–3