Publikationer pr. år
Publikationer pr. år
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Adam Husted Kjelstrøm er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
- 3 Tidsskriftartikel
-
Program Analysis via Multiple Context Free Language Reachability
Conrado, G. K., Kjelstrøm, A. H., Van De Pol, J. & Pavlogiannis, A., jan. 2025, I: Proceedings of the ACM on Programming Languages . 9, 18.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Åben adgang -
The Decidability and Complexity of Interleaved Bidirected Dyck Reachability
Kjelstrom, A. H. & Pavlogiannis, A., jan. 2022, I: Proceedings of the ACM on Programming Languages . 6, POPL, 26 s., 12.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Åben adgangFil11 Citationer (Scopus)11 Downloads (Pure) -
Tight bounds for reachability problems on one-counter and pushdown systems
Hansen, J. C., Kjelstrøm, A. H. & Pavlogiannis, A., okt. 2021, I: Information Processing Letters. 171, 106135.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Åben adgangFil5 Citationer (Scopus)29 Downloads (Pure)