Snow, S., Vyas, D., Lyle, P., Mallett, M. & Brereton, M. (2016).
Building Connections: Technology Design for Living on a Low Income. In A. M. Kanstrup, J. Vines, L. Huybrechts, R. C. Smith, K. Bodker & C. Bossen (Eds.),
PDC 2016: Proceedings of the 14th Participatory Design Conference: Short Papers, Interactive Exhibitions, Workshops - Volume 2 (pp. 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. In A. Ahmed (Ed.),
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 (Vol. 10801, pp. 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. In A. Fred, J. Filipe & H. Gamboa (Eds.),
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) (pp. 26). Institute for Systems and Technologies of Information, Control and Communication.