Research output per year
Research output per year
Personal profile
Areas of expertise
- Subject area
- Algorithms and Data Structures
- Formal Methods
Fingerprint
Dive into the research topics where Steffan Christ Sølvsten is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Adiar: An I/O-efficient implementation of Decision Diagrams
Sølvsten, S. (Developer), van de Pol, J. (Other), Jakobsen, A. B. (Developer), Rysgaard, C. M. (Developer), Carstensen, E. F. (Developer) & Thomasen, M. W. B. (Developer), 25 Apr 2021Research output: Non-textual form › Software
Open Access -
I/O-efficient Symbolic Model Checking
Sølvsten, S., 20 May 2025, (Accepted/In press) 253 p.Research output: Types of Thesis › PhD thesis
File14 Downloads (Pure) -
Random Access on Narrow Decision Diagrams in External Memory
Sølvsten, S., Rysgaard, C. M. & van de Pol, J., 2025, Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. Neele, T. & Wijs, A. (eds.). Springer, p. 137–145 9 p. (Lecture Notes in Computer Science, Vol. 14624).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
-
Symbolic Model Checking in External Memory
Sølvsten, S. & van de Pol, J., 16 May 2025, ArXiv, 22 p.Research output: Working paper/Preprint › Preprint
Open Access -
Multi-variable Quantification of BDDs in External Memory using Nested Sweeping
Sølvsten, S. & van de Pol, J., 26 Aug 2024, ArXiv, 27 p.Research output: Working paper/Preprint › Preprint
Open Access
Activities
- 1 Visiting an external academic institution
-
Carnegie Mellon University
Jørgensen, S. C. S. (Visiting researcher)
15 Aug 2023 → 15 Dec 2023Activity: Visiting an external institution types › Visiting an external academic institution