Stissing, M.
, Mailund, T., Pedersen, C. S., Brodal, G. S. & Fagerberg, R. (2008).
Computing the all-pairs quartet distance on a set of evolutionary trees.
Journal of Bioinformatics and Computational Biology,
6(1), 37-50.
Stisen, A., Blunck, H., Bhattacharya, S.
, Prentow, T. S., Kjærgaard, M. B., Dey, A.
, Sonne, T. & Jensen, M. M. (2015).
Smart devices are different: Assessing and mitigating mobile sensing heterogeneities for activity recognition. In
Proceedings of the 13th ACM Conference on Embedded Network Sensor Systems: Sensys 2015
Stisen, A., Mathisen, A., Krogh, S., Blunck, H., Kjærgaard, M. B. & Prentow, T. S. (2016).
Task Phase Recognition for Highly Mobile Workers in Large Building Complexes. In
2016 IEEE International Conference on Pervasive Computing and Communications, PerCom 2016 Article 7456504 IEEE.
https://doi.org/10.1109/PERCOM.2016.7456504
Stisen, A., Blunck, H., Kjærgaard, M. B., Prentow, T. S., Mathisen, A., Krogh , S. & Grønbæk, K. (2017).
Task phase recognition and task progress estimation for highly mobile workers in large building complexes.
Pervasive and Mobile Computing,
38(2), 418-429.
https://doi.org/10.1016/j.pmcj.2016.08.016
Stepanenko, S., Nardino, E., Frumin, D.
, Timany, A. & Birkedal, L. (2025).
Context-Dependent Effects in Guarded Interaction Trees. In V. Vafeiadis (Ed.),
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 (Vol. Part II, pp. 286-313). Springer.
https://doi.org/10.1007/978-3-031-91121-7_12
Stenderup, K., Rosada, C., Worsaae, A.
, Dagnaes-Hansen, F., Steiniche, T., Hasselager, E.
, Iversen, L., Zahn, S., Wöldike, H., Holmberg, H. L.
, Rømer, J., Kragballe, K., Clausen, J. T. & Dam, T. N. (2008).
Interleukin-20 plays a critical role in maintenance and development of psoriasis in the human xenograft transplantation model.
British Journal of Dermatology,
160(2), 284-96.
https://doi.org/10.1111/j.1365-2133.2008.08890.x
S. Tellez, E., Aumüller, M.
& Mic, V. (2025).
Overview of the SISAP 2024 Indexing Challenge. In E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (Eds.),
Similarity Search and Applications - 17th International Conference, SISAP 2024, Proceedings (pp. 255–265). Springer.
https://doi.org/10.1007/978-3-031-75823-2_21Stassen, 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. Article 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 from International Congress of Parkinson's Disease and Movement Disorders, Nice, France.
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. In S. N. Freund & E. Yahav (Eds.),
PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 80-95). Association for Computing Machinery.
https://doi.org/10.1145/3453483.3454031Spies, 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), Article 100.
https://doi.org/10.1145/3547631Spiel, 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. In
CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems Article 3311750 Association for Computing Machinery.
https://doi.org/10.1145/3290607.3311750Soureshjani, F. H.
, Hall-Andersen, M., Jahanara, M., Kam, J., Gorzny, J. & Ahmadvand, M. (2023).
Automated Analysis of Halo2 Circuits. In S. Graham-Lengrand & M. Preiner (Eds.),
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 (Vol. 3429, pp. 3-17). CEUR-WS.org.
https://ceur-ws.org/Vol-3429/paper3.pdf
