Παρακολούθηση
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