Anna Blume Jakobsen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2022–2025
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SAT | Depth-Optimal Quantum Layout Synthesis as SAT. | Anna Blume Jakobsen, Anders B. Clausen, Jaco van de Pol, Irfansha Shaik |
| 2024 | TACAS | Fast Symbolic Computation of Bottom SCCs. | Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jrgensen, Jaco van de Pol, Andreas Pavlogiannis |
| 2023 | TACAS | A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. | Casper Abild Larsen, Simon Meldahl Schmidt, Jesper Steensgaard, Anna Blume Jakobsen, Jaco van de Pol, Andreas Pavlogiannis |
| 2022 | TACAS | Adiar Binary Decision Diagrams in External Memory. | Steffan Christ Slvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen |