Strydonck, T. V.
, Georges, A. L., Guéneau, A., Trieu, A., Timany, A., Piessens, F.
, Birkedal, L. & Devriese, D. (2022).
Proving full-system security properties under multiple attacker models on capability machines. In
Proceedings - 2022 IEEE 35th Computer Security Foundations Symposium, CSF 2022 (pp. 80-95). IEEE.
https://doi.org/10.1109/CSF54842.2022.9919645
Strandberg, B., Magård, E., Bak, J. L., Pedersen, M. B., Damgaard, C., Fredshavn, J. R., Løkke, H. & Nielsen, K. E. (2005).
Terrestriske naturtyper 2004: NOVANA. Danmarks Miljøundersøgelser, Aarhus Universitet. Faglig rapport fra DMU No. 557
http://www2.dmu.dk/1_viden/2_Publikationer/3_fagrapporter/rapporter/FR557.PDF
Støttrup, N., Kristiansen, S. B., Løfgren, B., Hansen, B., Kimose, H.-H., Bøtker, H. E. & Nielsen, T. T. (2006).
L-glutamate and glutamine improve haemodynamic function and restore myocardial glycogen content during postischaemic reperfusion: A radioactive tracer study in the rat isolated heart.
Clin Exp Pharmacol Physiol.,
33(11), 1099-103.
Stølting Brodal, G., Kaporis, A. C., Papadopoulos, A. N., Sioutas, S., Tsakalidis, K. & Tsichlas, K. (2014).
Dynamic 3-sided planar range queries with expected doubly-logarithmic time.
Theoretical Computer Science,
526(March), 58-74.
https://doi.org/10.1016/j.tcs.2014.01.014
Stølting Brodal, G., Davoodi, P., Lewenstein, M., Raman, R.
& Satti, S. R. (2016).
Two dimensional range minimum queries and Fibonacci lattices.
Theoretical Computer Science,
638, 33-43.
https://doi.org/10.1016/j.tcs.2016.02.016
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_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. 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.