Skip to main navigation Skip to search Skip to main content
No photo of Anna Blume Jakobsen

View Scopus Profile

Anna Blume Jakobsen

 https://orcid.org/0009-0005-7892-7230

Fingerprint

Dive into the research topics where Anna Blume Jakobsen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Researchers
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 3 Book chapter
  • 1 Article in proceedings

  • Depth-Optimal Quantum Layout Synthesis as SAT

    Jakobsen, A. B., Clausen, A. B., van de Pol, J. & Shaik, I., 2025, LIPIcs, Volume 341, SAT 2025.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Fast Symbolic Computation of Bottom SCCs

    Jakobsen, A. B., Jørgensen, R. S. M., van de Pol, J. & Pavlogiannis, A., 2024, Lecture Notes in Computer Science ((LNCS,volume 14572)). p. 110–128

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • A Truly Symbolic Linear-Time Algorithm for SCC Decomposition

    Larsen, C. A., Schmidt, S. M., Steensgaard, J., Jakobsen, A. B., van de Pol, J. & Pavlogiannis, A., 2023, Lecture Notes in Computer Science.

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • Adiar Binary Decision Diagrams in External Memory

    Sølvsten, S. C., van de Pol, J., Jakobsen, A. B. & Thomasen, M. W. B., 2022, Lecture Notes in Computer Science.

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review