Adam Husted Kjelstrøm

According to our database, Adam Husted Kjelstrøm authored at least 5 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Efficient Simulation of High-Level Quantum Gates.

Adam Husted Kjelstrøm, Andreas Pavlogiannis, Jaco van de Pol

Quantum, 2026

2025

Exact Quantum Circuit Optimization is co-NQP-hard.

Adam Husted Kjelstrøm, Andreas Pavlogiannis, Jaco van de Pol

CoRR, October, 2025

Program Analysis via Multiple Context Free Language Reachability.

Giovanna Kobus Conrado, Adam Husted Kjelstrøm, Jaco van de Pol, Andreas Pavlogiannis

Proc. ACM Program. Lang., 2025

2022

The decidability and complexity of interleaved bidirected Dyck reachability.

Adam Husted Kjelstrøm, Andreas Pavlogiannis

Proc. ACM Program. Lang., 2022

2021

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

Jakob Cetti Hansen, Adam Husted Kjelstrøm, Andreas Pavlogiannis

Inf. Process. Lett., 2021