Sükösd, Z., Knudsen, B., Anderson, J. WJ., Novák, A.
, Kjems, J. & Pedersen, C. N. S. (2013).
Characterising RNA secondary structure space using information entropy.
B M C Bioinformatics,
14 (Suppl 2), 1-9. Artikel S22.
https://doi.org/10.1186/1471-2105-14-S2-S22
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. I
Proceedings - 2022 IEEE 35th Computer Security Foundations Symposium, CSF 2022 (s. 80-95). IEEE.
https://doi.org/10.1109/CSF54842.2022.9919645
Streit, M.
, Schulz, H.-J., Lex, A., Schmalstieg, D. & Schumann, H. (2012).
Model-Driven Design for the Visual Analysis of Heterogeneous Data.
IEEE Transactions on Visualization and Computer Graphics,
18(6), 998-1010.
https://doi.org/10.1109/TVCG.2011.108
Streit, M.
, Schulz, H.-J., Schmalstieg, D. & Schumann, H. (2009).
Towards Multi-User Multi-Level Interaction. I P. Isenberg, M. Sedlmair, D. Baur, T. Isenberg & A. Butz (red.),
Proceedings of the Workshop on Collaborative Visualization on Interactive Surfaces CoVIS 2009 (s. 5-8).
https://www.medien.ifi.lmu.de/forschung/publikationen/detail?pub=isenberg2010covis
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
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. I
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. I
2016 IEEE International Conference on Pervasive Computing and Communications, PerCom 2016 Artikel 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
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.
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
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