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 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH.
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
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.1352655
Obremski, 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 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 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