Jaco van de Pol

Publikation

Publikationer pr. år 2019 2019 2021 2022 2023 2024

• 26 Konferencebidrag i proceedings
• 8 Tidsskriftartikel
• 5 Preprint
• 2 Bidrag til bog/antologi
• 4 Mere
  • 2 Konferenceartikel
  • 1 Bog
  • 1 Software

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2021

  Adiar: An I/O-efficient implementation of Decision Diagrams

  Sølvsten, S. (Udvikler), van de Pol, J. (Andet), Jakobsen, A. B. (Udvikler), Rysgaard, C. M. (Udvikler), Carstensen, E. F. (Udvikler) & Thomasen, M. W. B. (Udvikler), 25 apr. 2021

  Publikation: Bidrag der ikke har en tekstform › Software

  Åben adgang