Triandopoulos, N., Cornelius, C., Kapadia, A., Kotz, D., Peebles, D. & Shin, M. (2008).
Anonysense: privacy-aware people-centric sensing. In
Proceeding of the 6th international conference on Mobile systems, applications, and services (pp. 211-224). Association for Computing Machinery.
https://doi.org/10.1145/1378600.1378624
Valsted, F. M., Nielsen, C. V. H., Jensen, J. Q., Sonne, T.
& Jensen, M. M. (2017).
Strive: Exploring Assistive Haptic Feedback on the Run. In M. Brereton, D. Vyas, A. Soro, B. Ploderer, J. Waycott & A. Morrison (Eds.),
Proceedings of the 29th Australian Computer-Human Interaction Conference: Human-Nature, OzCHI 2017 (pp. 275-284). Association for Computing Machinery.
https://doi.org/10.1145/3152771.3152801
Madsen, M. & Andreasen, E. (2014).
String Analysis for Dynamic Field Access. In A. Cohen (Ed.),
Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings (pp. 197-217). Springer.
https://doi.org/10.1007/978-3-642-54807-9_12
Ibsen-Jensen, R. & Chatterjee , K. (2013).
Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games. In A. Kučera , T. A. Henzinger, J. Nešetřil, T. Vojnar & D. Antoš (Eds.),
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers (pp. 106-117). Springer VS.
https://doi.org/10.1007/978-3-642-36046-6_11
Grønborg, T. K., Hansen, S. N., Nielsen, S., Skytthe, A.
& Parner, E. T. (2015).
Stoppage in Autism Spectrum Disorders.
Journal of Autism and Developmental Disorders,
45(11), 3509-3519.
https://doi.org/10.1007/s10803-015-2497-3
Baumann, P., Nyman, J.
, Høyer, M., Gagliardi, G., Lax, I., Wennberg, B., Drugge, N., Ekberg, L., Friesland, S., Johansson, K.-A., Lund, J.-S., Morhed, E., Nilsson, K. K., Levin, N.
, Paludan, M., Sederholm, C.
, Hansen, A. T., Wittgren, L. & Lewensohn, R. (2008).
Stereotactic body radiotherapy for medically inoperable patients with stage I non-small cell lung cancer - a first report of toxicity related to COPD/CVD in a non-randomized prospective phase II study.
Radiotherapy & Oncology,
88(3), 359-367.
https://doi.org/10.1016/j.radonc.2008.07.019
Bizjak, A. & Birkedal, L. (2015).
Step-indexed logical relations for probability. In A. Pitts (Ed.),
Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (pp. 279-294 ). Springer VS.
https://doi.org/10.1007/978-3-662-46678-0_18
Orlandi, C., Ostrovsky, R., Rao, V., Sahai, A. & Visconti, I. (2014).
Statistical Concurrent Non-malleable Zero Knowledge. In Y. Lindell (Ed.),
Theory of Cryptography: 11th Theory of Cryptography Conference, TCC 2014, 2014. Proceedings (pp. 167-191). Springer Publishing Company.
https://doi.org/10.1007/978-3-642-54242-8_8
Hein, J.
, Wiuf, C., Møller, M., Knudsen, B. & Wibling, G. (2000).
Statistical alignment: computational properties, homology testing and goodness-of-fit.
J. Mol. Biol.,
302(1), 265-279.
https://doi.org/10.1006/jmbi.2000.4061
Danvy, O., Damian, D. & Taha, W. (Ed.) (2001).
Static Transition Compression. In
Semantics, Applications, and Implementation of Program Generation (Vol. 2196 of Lecture Notes in Computer Science, pp. 92-107). Springer.