McMillan, D., Brown, B., Lampinen, A., McGregor, M.
, Hoggan, E. & Pizza, S. (2017).
Situating Wearables: Smartwatch Use in Context. In
CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (pp. 3582-3594). Association for Computing Machinery.
https://doi.org/10.1145/3025453.3025993
Höök, K., Hummels, C., Isbister, K., Marti, P., Márquez Segura, E., Jonsson, M., Mueller, F. F., Sanches, P. A. N., Schiphorst, T., Ståhl, A., Svanaes, D., Trotto, A.
, Petersen, M. G. & Lim, Y. (2017).
Soma-Based Design Theory. In
CHI 2017 Extended Abstracts - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (pp. 550-557). Association for Computing Machinery.
https://doi.org/10.1145/3027063.3027082
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
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
Krebbers, R., Jung, R.
, Bizjak, A., Jourdan, J-H., Dreyer, D.
& Birkedal, L. (2017).
The Essence of Higher-Order Concurrent Separation Logic. In H. Yang (Ed.),
Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings (pp. 696-723). Springer VS.
https://doi.org/10.1007/978-3-662-54434-1_26
Bauer, A., Gross, J., Lumsdaine, P. L., Shulman, M., Sozeau, M.
& Spitters, B. (2017).
The HoTT Library: A Formalization of Homotopy Type Theory in Coq. In Y. Bertot & V. Vafeiadis (Eds.),
CPP 2017 - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, co-located with POPL 2017: CPP 2017 (pp. 164-172). Association for Computing Machinery.
https://doi.org/10.1145/3018610.3018615
Damgård, I., Nielsen, J. B., Nielsen, M. & Ranellucci, S. (2017).
The tinytable protocol for 2-party secure computation, or: Gate-scrambling revisited. In J. Katz & H. Shacham (Eds.),
Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings (Vol. 10401, pp. 167-187). Springer VS.
https://doi.org/10.1007/978-3-319-63688-7_6
Munro, J. I., Navarro, G.
, Nielsen, J. S., Shah, R. & Thankachan, S. V. (2017).
Top-k Term-Proximity in Succinct Space.
Algorithmica,
78(2), 379-393.
https://doi.org/10.1007/s00453-016-0167-2
Brânzei, S.
, Filos-Ratsikas, A., Miltersen, P. B. & Zeng, Y. (2017).
Walrasian pricing in multi-unit auctions. In K. G. Larsen, H. L. Bodlaender & J-F. Raskin (Eds.),
42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017 (Vol. 83, pp. 80:1-80:14). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.MFCS.2017.80
Mathisen, A., Krogh, S., Stisen, A., Blunck, H. & Grønbæk, K. (2016).
A comparative analysis of Indoor WiFi Positioning at a large building complex. In J. J. G. Domínguez, Á. H. Alonso & J. Ureña Ureña (Eds.),
2016 International Conference on Indoor Positioning and Indoor Navigation, IPIN 2016 Article 7743666 IEEE Press.
https://doi.org/10.1109/IPIN.2016.7743666
Blunck, H., Bhattacharya, S.
, Stisen, A., Prentow, T. S., Kjærgaard, M. B., Dey, A.
, Jensen, M. M. & Sonne, T. (2016).
Activity Recognition on Smart Devices: Dealing with diversity in the wild.
GetMobile: Mobile Computing and Communications,
20(1), 34-38.
https://doi.org/10.1145/2972413.2972425
Biniaz, A., Bose, P.
, van Duijn, I., Maheshwari, A. & Smid, M. (2016).
A Faster Algorithm for the Minimum Red-Blue-Purple Spanning Graph Problem for Points on a Circle. In T. C. Shermer (Ed.),
Proceedings of the 28th Canadian Conference on Computational Geometry (pp. 140-146). Simon Fraser University. Vancouver, British Columbia Canada.
http://people.scs.carleton.ca/~michiel/RedBluePurpleCCCG16.pdf
Fetzer, V., Müller-Quade, J.
& Nilges, T. (2016).
A Formal Treatment of Privacy in Video Data. In I. Askoxylakis, S. Ioannidis, S. Katsikas & C. Meadows (Eds.),
Computer Security - 21st European Symposium on Research in Computer Security, ESORICS 2016, Proceedings (Vol. 9879, pp. 406-424). Springer VS.
https://doi.org/10.1007/978-3-319-45741-3_21