Pedersen, T. B.
, Madsen, O. L., Alstrup, S., Togsverd, T., Bardram, J.
, Bechmann, A., Glæsel, J.
& Grønbæk, K. (2017).
Hele Danmark som digital super-region? Akademiet for de Tekniske Videnskaber (ATV).
https://atv.dk/sites/atv.dk/files/media/document/Notat_ATV_Debatoplaeg_fra_ATV%27s_Digitale_Vismaend_-_Danmark_som_digital_vaekstregion_final_web2_September_2017.pdf
Alamdari, S., Angelini, P., Barrera-Cruz, F., Chan, T. M., Da Lozzo, G., Di Battista, G., Frati, F., Haxell, P., Lubiw, A., Patrignani, M., Roselli, V., Singla, S.
& Wilkinson, B. T. (2017).
How to Morph Planar Graph Drawings.
S I A M Journal on Computing,
46(2), 824-852.
https://doi.org/10.1137/16M1069171
Bringmann, K.
, Hansen, T. D. & Krinninger, S. (2017).
Improved Algorithms for Computing the Cycle of Minimum Cost-to-Time Ratio in Directed Graphs. I I. Chatzigiannakis, P. Indyk, F. Kuhn & A. Muscholl (red.),
44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) (Bind 80, s. 124:1-124:16). Artikel 124 Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.ICALP.2017.124
Kristensen, E. K. & Møller, A. (2017).
Inference and Evolution of TypeScript Declaration Files. I M. Huisman & J. Rubin (red.),
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Bind 10202, s. 99-115). Springer VS.
https://doi.org/10.1007/978-3-662-54494-5_6
Kristensen, J., Mai, S. T., Assent, I., Jacobsen, J., Vo, B. & Le, A. (2017).
Interactive exploration of subspace clusters for high dimensional data. I D. Benslimane, E. Damiani, W. I. Grosky, A. Hameurlain, A. Sheth & R. R. Wagner (red.),
Database and Expert Systems Applications - 28th International Conference, DEXA 2017, Proceedings (Bind 10438 LNCS, s. 327-342). Springer VS.
https://doi.org/10.1007/978-3-319-64468-4_25
Krebbers, R., Timany, A. & Birkedal, L. (2017).
Interactive proofs in higher-order concurrent separation logic. I A. D. Gordon & G. Castagna (red.),
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 (s. 205-217). Association for Computing Machinery.
https://doi.org/10.1145/3009837.3009855
Johanson, M., Jalminger, J., Frécon, E.
, Nelson, B., Olovsson, T. & Gjertz, M. (2017).
Joint subjective and objective data capture and analytics for automotive applications. I
2017 IEEE 86th Vehicular Technology Conference, VTC Fall 2017 - Proceedings (s. 1-5). Institute of Electrical and Electronics Engineers Inc..
https://doi.org/10.1109/VTCFall.2017.8288366
Cramer, R.
, Damgård, I., Döttling, N., Giacomelli, I. & Xing, C. (2017).
Linear-Time Non-Malleable Codes in the Bit-Wise Independent Tampering Model. I J. Shikata (red.),
Information Theoretic Security - 10th International Conference, ICITS 2017, Proceedings (Bind 10681, s. 1-25). Springer VS.
https://doi.org/10.1007/978-3-319-72089-0_1
Houben, S., Marquardt, N.
, Vermeulen, J. K., Klokmose, C. N., Schöning, J., Reiterer, H. & Holz, C. (2017).
Opportunities and challenges for cross-device interactions in the wild.
interactions,
24(5), 58-63.
https://doi.org/10.1145/3121348
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.3133997
Du, 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-4
Rasmussen, 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