Jakobsen, Anna
854  Ergebnisse:
Personensuche X
?
 
?
5

Fast Symbolic Computation of Bottom SCCs:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
 
?
6

A Truly Symbolic Linear-Time Algorithm for SCC Decompositio:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
 
?
8

Adiar Binary Decision Diagrams in External Memory:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
 
?
12

Herpes simplex virus 2 meningitis in adults:A prospective, ..:

Jakobsen, Anna ; Skov, Marie Thaarup ; Larsen, Lykke...
https://vbn.aau.dk/da/publications/42f87d77-7c9e-47f8-a0a6-527229f525f9.  , 2022
 
?
14

A Truly Symbolic Linear-Time Algorithm for SCC Decompositio:

Larsen, Casper Abild ; Schmidt, Simon Meldahl ; Steensgaard, Jesper...
https://pure.au.dk/portal/en/publications/9cf24d7f-c463-4618-956d-0bc2d2e0bd66.  , 2023
 
?
15

Adiar Binary Decision Diagrams in External Memory:

Sølvsten, Steffan Christ ; de Pol, Jaco van ; Jakobsen, Anna Blume.
Sølvsten , S C , de Pol , J V , Jakobsen , A B & Thomasen , M W B 2022 , Adiar Binary Decision Diagrams in External Memory . in D Fisman & G Rosu (eds) , Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings . Springer , Lecture Notes in Computer Science (LNCS) , vol. 13244 , pp. 295-313 , 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022 held as part of 25th European Joint Conferences on Theory and Practice of Software, ETAPS 2022 , Munich , Germany , 02/04/2022 . https://doi.org/10.1007/978-3-030-99527-0_16.  , 2022
 
1-15