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
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
PDC 2016: Participatory Design in an Era of Participation - Proceedings of the 14th Participatory Design Conference; Short Papers, Interactive Exhibitions, Workshops (Bind 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
Sieczkowski, F., Bizjak, A. & Birkedal, L. (2015).
ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages. I C. Urban & X. Zhang (red.),
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings (s. 375-390). Springer.
https://doi.org/10.1007/978-3-319-22102-1_25
Sidenmark, L., Clarke, C., Newn, J.
, Lystbæk, M. N., Pfeuffer, K. & Gellersen, H. (Accepteret/In press).
Vergence Matching: Inferring Attention to Objects in 3D Environments for Gaze-Assisted Selection. I
CHI 2023 - Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems artikel 257 Association for Computing Machinery.
https://doi.org/10.1145/3544548.3580685
Sheng, Q. Z., Wang, G.
, Jensen, C. S. & Xu, G. (red.) (2012).
Web Technologies and Applications: 14th Asia-Pacific Web Conference, APWeb 2012, Kunming, China, April 11-13, 2012. Proceedings. Springer. Lecture Notes in Computer Science Bind 7235
https://doi.org/10.1007/978-3-642-29253-8
Shao, J., Tan, Y., Gao, L., Yang, Q., Plant, C.
& Assent, I. (2019).
Synchronization-based clustering on evolving data stream.
Information Sciences,
501, 573-587.
https://doi.org/10.1016/j.ins.2018.09.035