Прати
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