Publikationer pr. år
Publikationer pr. år
Personlig profil
Fagområder
- Fagområde
- Algoritmer og Datastrukturer
- Formelle Metoder
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Steffan Christ Sølvsten er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
-
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. 2021Publikation: Bidrag der ikke har en tekstform › Software
Åben adgang -
Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory
Sølvsten, S. & van de Pol, J., jun. 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (red.). Cham: Springer, s. 464-471 8 s. (Lecture Notes in Computer Science (LNCS), Bind 13903).Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
-
Predicting Memory Demands of BDD Operations using Maximum Graph Cuts
Sølvsten, S. & van de Pol, J., okt. 2023, Automated technology for verification and analysis: Part II. André, É. & Sun, J. (red.). Cham: Springer, s. 72-92 21 s. (Lecture Notes in Computer Science, Bind 14216).Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang -
Adiar Binary Decision Diagrams in External Memory
Sølvsten, S. C., de Pol, J. V., Jakobsen, A. B. & Thomasen, M. W. B., mar. 2022, 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. Fisman, D. & Rosu, G. (red.). Springer, s. 295-313 19 s. (Lecture Notes in Computer Science (LNCS), Bind 13244).Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil28 Downloads (Pure) -
Efficient Binary Decision Diagram Manipulation in External Memory
Sølvsten, S., van de Pol, J., Jakobsen, A. B. & Thomasen, M. W. B., 25 apr. 2021, ArXiv, 36 s.Publikation: Working paper/Preprint › Preprint
Aktiviteter
- 2 Besøg ved en ekstern, akademisk institution
-
Carnegie Mellon University
Jørgensen, S. C. S. (Gæsteforsker)
15 aug. 2023 → 15 dec. 2023Aktivitet: Besøg på en ekstern institution - typer › Besøg ved en ekstern, akademisk institution
-
University of Twente
Jørgensen, S. C. S. (Gæsteforsker)
7 okt. 2021 → 14 okt. 2021Aktivitet: Besøg på en ekstern institution - typer › Besøg ved en ekstern, akademisk institution