Brix, L., Ringgaard, S., Sandager, P., Petersen, O. B., Sørensen, T. S., Lundorf, E. & Stausbøl-Grøn, B. (2017).
Overcoming foetal motion using interactive real-time magnetic resonance imaging.
Clinical Physiology and Functional Imaging,
37(6), 717-722.
https://doi.org/10.1111/cpf.12364
Chase, M., Derler, D., Goldfeder, S.
, Orlandi, C., Ramacher, S., Rechberger, C., Slamanig, D. & Zaverucha, G. (2017).
Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives. I
CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (s. 1825-1842). Association for Computing Machinery.
https://doi.org/10.1145/3133956.3133997Du, X., Ooi, B. C., Özsu, M. T., Cui, B., Chen, L.
, Jensen, C. S. & Shahabi, C. (2017).
Preface.
Lecture Notes in Computer Science,
10367 LNCS, V-VI.
https://doi.org/10.1007/978-3-319-63564-4Rasmussen, T. A. & Merritt, T. R. (2017).
Projectables. I S. M.A., R. A., J. P. & L. P. (red.),
CAADRIA 2017 - 22nd International Conference on Computer-Aided Architectural Design Research in Asia: Protocols, Flows and Glitches (s. 757-766). The Association for Computer-Aided Architectural Design Research in Asia (CAADRIA).
Karbyshev, A., Bjørner, N., Itzhaky, S., Rinetzky, N. & Shoham, S. (2017).
Property-directed inference of universal invariants or proving their absence.
Journal of the ACM,
64(1), 7:1-7:33. Artikel 7.
https://doi.org/10.1145/3022187
Grønbæk, J. E., Korsgaard, H., Petersen, M. G., Henriksen Birk, M.
& Krogh, P. G. (2017).
Proxemic Transitions: Designing Shape-Changing Furniture for Informal Meetings. I
CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (s. 7029-7041)
https://doi.org/10.1145/3025453.3025487
Brueggemann, M. J., Strohmayer, A., Marshall, M., Birbeck, N.
& Thomas, V. (2017).
Reflexive Practices for the Future of Design Education: An Exercise in Ethno-Empathy.
Information Design Journal,
20(sup1), S1260-S1269.
https://doi.org/10.1080/14606925.2017.1352655Obremski, M. & Skorski, M. (2017).
Renyi Entropy Estimation Revisited. I J. D. P. Rolim, K. Jansen, D. P. Williamson & S. S. Vempala (red.),
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 20th International Workshop, APPROX 2017 and 21st International Workshop, RANDOM 2017 (Bind 81, s. 20:1-20:15). Artikel 20 Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20
Adamsen, C. Q., Møller, A., Karim, R., Sridharan, M., Tip, F. & Sen, K. (2017).
Repairing Event Race Errors by Controlling Nondeterminism. I
Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering, ICSE 2017 (s. 289-299). Artikel 7985670 IEEE Press.
https://doi.org/10.1109/ICSE.2017.34
Cascudo, I., Damgård, I., Farràs, O.
& Ranellucci, S. (2017).
Resource-Efficient OT Combiners with Active Security. I Y. Kalai & L. Reyzin (red.),
Theory of Cryptography - 15th International Conference, TCC 2017, Proceedings (Bind 10678, s. 461-486). Springer VS.
https://doi.org/10.1007/978-3-319-70503-3_15
Haagh, H., Ji, Y., Li, C.
, Orlandi, C. & Song, Y. (2017).
Revealing Encryption for Partial Ordering. I M. O’Neill (red.),
Cryptography and Coding - 16th IMA International Conference, IMACC 2017, Proceedings (s. 3-22). Springer VS.
https://doi.org/10.1007/978-3-319-71045-7_1
Mai, S. T., Dieu, M. S.
, Assent, I., Jacobsen, J.
, Kristensen, J. & Birk, M. (2017).
Scalable and interactive graph clustering algorithm on multicore CPUs. I
2017 IEEE 33rd International Conference on Data Engineering (ICDE) (s. 349-360). IEEE Computer Society Press.
https://doi.org/10.1109/ICDE.2017.94
Applebaum, B.
, Damgård, I., Ishai, Y.
, Nielsen, M. & Zichron, L. (2017).
Secure Arithmetic Computation with Constant Computational Overhead. I H. Shacham & J. Katz (red.),
Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings (Bind 10401, s. 223-254). Springer VS.
https://doi.org/10.1007/978-3-319-63688-7_8McMillan, D., Brown, B., Lampinen, A., McGregor, M.
, Hoggan, E. & Pizza, S. (2017).
Situating Wearables: Smartwatch Use in Context. I
CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (s. 3582-3594). Association for Computing Machinery.
https://doi.org/10.1145/3025453.3025993Höö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. I
CHI 2017 Extended Abstracts - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (s. 550-557). Association for Computing Machinery.
https://doi.org/10.1145/3027063.3027082Valsted, F. M., Nielsen, C. V. H., Jensen, J. Q., Sonne, T.
& Jensen, M. M. (2017).
Strive: Exploring Assistive Haptic Feedback on the Run. I M. Brereton, D. Vyas, A. Soro, B. Ploderer, J. Waycott & A. Morrison (red.),
Proceedings of the 29th Australian Computer-Human Interaction Conference: Human-Nature, OzCHI 2017 (s. 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. I H. Yang (red.),
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 (s. 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. I Y. Bertot & V. Vafeiadis (red.),
CPP 2017 - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, co-located with POPL 2017: CPP 2017 (s. 164-172). Association for Computing Machinery.
https://doi.org/10.1145/3018610.3018615Damgård, I., Nielsen, J. B., Nielsen, M. & Ranellucci, S. (2017).
The tinytable protocol for 2-party secure computation, or: Gate-scrambling revisited. I J. Katz & H. Shacham (red.),
Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings (Bind 10401, s. 167-187). Springer VS.
https://doi.org/10.1007/978-3-319-63688-7_6
