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
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), Article 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 Article 3311750 Association for Computing Machinery.
https://doi.org/10.1145/3290607.3311750
Sørensen, T. S., Beerbaum, P.
, Mosegaard, J., Rasmusson, A., Schaeffter, T., Austin, C., Razavi, R. & Greil, G. F. (2008).
Virtual Cardiotomy based on 3D Magnetic Resonance Imaging for Preoperative Planning in Congenital Heart Disease.
Pediatric Radiology,
38, 1314-1322.
https://doi.org/10.1007/s00247-008-1032-5
Sørensen, T. S., Noe, K. Ø., Christoffersen, C. P. V., Kristiansen, M.
, Mouridsen, K., Østerby, O. & Brix, L. (2010).
Active Contours in Optical Flow Fields for Image Sequence Segmentation.
International Symposium on Biomedical Imaging. Proceedings, 916 - 919.
https://doi.org/10.1109/ISBI.2010.5490136
Sørensen, T. S., Prieto, C., Atkinson, D., Hansen, M. S. & Schaeffter, T. (2010).
GPU accelerated iterative SENSE reconstruction of radial phase encoded whole-heart MRI. In
Proceedings of the 18th ISMRM Scientific Meeting and Exhibition: International Society for Magnetic Resonance in Medicine ISMRM/SMRT Central Office, Berkeley, CA.
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.