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
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
Proceedings of the 2016 IEEE International Conference on Pervasive Computing and Communications (PerCom 2016) 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
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
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.
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.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), [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. In
CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems [3311750] Association for Computing Machinery. Conference on Human Factors in Computing Systems - Proceedings
https://doi.org/10.1145/3290607.3311750
Sonne, T., Merritt, T. R., Marshall, P.
, Lomholt, J. J., Müller, J. & Grønbæk, K. (2017).
Calming Children When Drawing Blood Using Breath-based Biofeedback. In
DIS 2017 - Proceedings of the 2017 Conference on Designing Interactive Systems (pp. 725-737). Association for Computing Machinery.
https://doi.org/10.1145/3064663.3064742
Son, M. T., Amer-Yahia, S.
, Assent, I., Birk, M., Storgaard Dieu, M., Jacobsen, J. & Kristensen, J. (2019).
Scalable Interactive Dynamic Graph Clustering on Multicore CPUs.
IEEE Transactions on Knowledge and Data Engineering,
31(7), 1239-1252. [8340880].
https://doi.org/10.1109/TKDE.2018.2828086