Stepanenko, S., Nardino, E., Frumin, D.
, Timany, A. & Birkedal, L. (2025).
Context-Dependent Effects in Guarded Interaction Trees. I V. Vafeiadis (red.),
Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings (Bind Part II, s. 286-313). Springer.
https://doi.org/10.1007/978-3-031-91121-7_12
S. Tellez, E., Aumüller, M.
& Mic, V. (2025).
Overview of the SISAP 2024 Indexing Challenge. I E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (red.),
Similarity Search and Applications - 17th International Conference, SISAP 2024, Proceedings (s. 255–265). Springer.
https://doi.org/10.1007/978-3-031-75823-2_21
Stassen, P., Møgelberg, R. E., Zwart, M. A.
, Aguirre, A. & Birkedal, L. (2025).
Modelling Recursion and Probabilistic Choice in Guarded Type Theory.
Proceedings of the ACM on Programming Languages ,
9(POPL), 1417-1445. Artikel 48.
https://doi.org/10.1145/3704884
Staer, K., Iranzo, A.
, Stokholm, M., Stergaard, Eroles, M.
, Otto, M., Svendsen, K., Pla, A., Vilas, D., Santamaria, J.
, Moller, A., Gaig, C.
, Borghammer, P., Brooks, D., Tolosa, E.
& Pavese, N. (2019).
Cortical cholinergic dysfunction correlates with microglial activation in the Substantia Innominata in patients with REM sleep behavior disorder. S830-S830. Abstract fra International Congress of Parkinson's Disease and Movement Disorders, Nice, Frankrig.
Srinivasan, A., Ellemose, J., Butcher, P. W. S., Ritsos, P. D.
& Elmqvist, N. (2025).
Attention-Aware Visualization: Tracking and Responding to User Perception Over Time.
IEEE Transactions on Visualization and Computer Graphics,
31(1), 1017-1027.
https://doi.org/10.1109/TVCG.2024.3456300
Spies, S., Gäher, L.
, Gratzer, D., Tassarotti, J.
, Krebbers, R., Dreyer, D.
& Birkedal, L. (2021).
Transfinite Iris: Resolving an existential dilemma of step-indexed separation logic. I S. N. Freund & E. Yahav (red.),
PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (s. 80-95). Association for Computing Machinery.
https://doi.org/10.1145/3453483.3454031
Spies, S., Gäher, L., Tassarotti, J., Jung, R., Krebbers, R.
, Birkedal, L. & Dreyer, D. (2022).
Later credits: resourceful reasoning for the later modality.
Proceedings of the ACM on Programming Languages ,
6(ICFP), Artikel 100.
https://doi.org/10.1145/3547631
Spiel, K., Walker, A. M., DeVito, M. A., Birnholtz, J., Barlas, P., Ahmed, A., Brubaker, J. R., Keyes, O., Brulé, E., Light, A., Hardy, J., Rode, J. A.
& Kannabiran, G. (2019).
Queer(ing) HCI: Moving forward in theory and practice. I
CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems Artikel 3311750 Association for Computing Machinery.
https://doi.org/10.1145/3290607.3311750
Soureshjani, F. H.
, Hall-Andersen, M., Jahanara, M., Kam, J., Gorzny, J. & Ahmadvand, M. (2023).
Automated Analysis of Halo2 Circuits. I S. Graham-Lengrand & M. Preiner (red.),
Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023 (Bind 3429, s. 3-17). CEUR-WS.org.
https://ceur-ws.org/Vol-3429/paper3.pdf
Sørensen, T. S., Therkildsen, S. V.
, Hansen, O. K., Sørensen, K. & Pedersen, E. M. (2002).
Images in cardiovascular medicine. Total cavo-pulmonary connection: a virtual 3-dimensional fly-through.
Circulation,
105(20), E176-6.
Sørensen, T. S., Körperich, H., Greil, G. F., Eichhorn, J., Barth, P., Meyer, H.
, Pedersen, E. M. & Beerbaum, P. (2004).
Operator-independent isotropic three-dimensional magnetic resonance imaging for morphology in congenital heart disease: a validation study.
Circulation,
110(2), 163-9.
https://doi.org/10.1161/01.CIR.0000134282.35183.AD
Sørensen, J. L.
, Knudsen, M., Hansen, F. T., Olesen, C., Romans Fuertes, P., Lee, T. V., Søndergaard, T. E.
, Pedersen, C. N. S., Brodersen, D. E. & Giese, H. (2014).
Fungal NRPS-dependent siderophores: From function to prediction. I J.-F. Martin, C. Garcia-Estrada & S. Zeilinger (red.),
Biosynthesis and Molecular Genetics of Fungal Secondary Metabolites (s. 317-339). Springer.
https://doi.org/10.1007/978-1-4939-1191-2_15