Anna Blume Jakobsen

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Strongly Connected Components

Binary Decision Diagrams

Top Venues

Publications

Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jørgensen, Jaco van de Pol, Andreas Pavlogiannis
Fast Symbolic Computation of Bottom SCCs. TACAS (3) (2024)
Casper Abild Larsen, Simon Meldahl Schmidt, Jesper Steensgaard, Anna Blume Jakobsen, Jaco van de Pol, Andreas Pavlogiannis
A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. TACAS (2) (2023)
Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen
Adiar Binary Decision Diagrams in External Memory. TACAS (2) (2022)
Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen
Efficient Binary Decision Diagram Manipulation in External Memory. CoRR (2021)