Fingeraftryk
Dyk ned i forskningsemnerne, hvor Anna Blume Jakobsen er aktiv. Disse emneordskoncepter kommer fra denne persons arbejde. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejder på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
-
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.Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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)). s. 110–128Publikation: Kapitel i bog/rapport/konference-proceeding › Kapitel i bog › Forskning › 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.Publikation: Kapitel i bog/rapport/konference-proceeding › Kapitel i bog › Forskning › 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.Publikation: Kapitel i bog/rapport/konference-proceeding › Kapitel i bog › Forskning › peer review