Sonne, T., Merritt, T. R., Marshall, P.
, Lomholt, J. J., Müller, J.
& Grønbæk, K. (2017).
Calming Children When Drawing Blood Using Breath-based Biofeedback. I
DIS 2017 - Proceedings of the 2017 Conference on Designing Interactive Systems (s. 725-737). Association for Computing Machinery.
https://doi.org/10.1145/3064663.3064742
Son, M. T., Amer-Yahia, S.
, Assent, I., Birk, M., Storgaard Dieu, M., Jacobsen, J. & Kristensen, J. (2019).
Scalable Interactive Dynamic Graph Clustering on Multicore CPUs.
IEEE Transactions on Knowledge and Data Engineering,
31(7), 1239-1252. Artikel 8340880.
https://doi.org/10.1109/TKDE.2018.2828086
Sølvsten, S., van de Pol, J., Jakobsen, A. B., Rysgaard, C. M., Carstensen, E. F. & Thomasen, M. W. B. (2021).
Adiar: An I/O-efficient implementation of Decision Diagrams. Software, GitHub.
https://doi.org/10.5281/zenodo.4718218
Sølvsten, S. C., de Pol, J. V., Jakobsen, A. B. & Thomasen, M. W. B. (2022).
Adiar Binary Decision Diagrams in External Memory. I D. Fisman & G. Rosu (red.),
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 (s. 295-313). Springer.
https://doi.org/10.1007/978-3-030-99527-0_16
Sølvsten, S. & van de Pol, J. (2023).
Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory. I K. Y. Rozier & S. Chaudhuri (red.),
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (s. 464-471). Springer.
https://doi.org/10.1007/978-3-031-33170-1_28
Soden, R., Ribes, D., Jack, M., Sutherland, W., Khovanskaya, V., Avle, S., Sengers, P.
& Bødker, S. (2019).
Fostering Historical Research in CSCW & HCI. I
CSCW 2019 Companion - Conference Companion Publication of the 2019 Computer Supported Cooperative Work and Social Computing (s. 517-521). Association for Computing Machinery.
https://doi.org/10.1145/3311957.3359436
Snow, S., Vyas, D., Lyle, P., Mallett, M. & Brereton, M. (2016).
Building Connections: Technology Design for Living on a Low Income. I A. M. Kanstrup, J. Vines, L. Huybrechts, R. C. Smith, K. Bodker & C. Bossen (red.),
PDC 2016: Proceedings of the 14th Participatory Design Conference: Short Papers, Interactive Exhibitions, Workshops - Volume 2 (s. 1-4). Association for Computing Machinery.
https://doi.org/10.1145/2948076.2948091
Skorstengaard, L., Devriese, D.
& Birkedal, L. (2018).
Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. I A. Ahmed (red.),
Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings (Bind 10801, s. 475-501). Springer VS.
https://doi.org/10.1007/978-3-319-89884-1_17
Skitsas, K., Papageorgiou, I. G., Talebi, M. S., Kantere, V., Katehakis, M. N.
& Karras, P. (2022).
SIFTER: Space-Efficient Value Iteration for Finite-Horizon MDPs.
Proceedings of the VLDB Endowment,
16(1), 90-98.
https://doi.org/10.14778/3561261.3561269
Simonsen, M., Mailund, T.
& Pedersen, C. N. S. (2010).
Building Very Large Neighbour-Joining Trees. I A. Fred, J. Filipe & H. Gamboa (red.),
BIOINFORMATICS 2010: Proceedings of the First International Conference on Bioinformatics (part of the 3rd International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2010) (s. 26). Institute for Systems and Technologies of Information, Control and Communication.