Pham, T. H.
, Kristensen, J., Mai, S. T., Assent, I., Jacobsen, J., Vo, B. & Le, A. (2018).
Interactive Exploration of Subspace Clusters on Multicore Processors. In A. Hameurlain, R. Wagner, D. Benslimane, E. Damiani & W. I. Grosky (Eds.),
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX - Special Issue on Database- and Expert-Systems Applications: Special Issue on Database- and Expert-Systems Applications (Vol. 11310, pp. 169-199). Springer VS.
https://doi.org/10.1007/978-3-662-58415-6_6Thomas, V., Brueggemann, M. J., Wang, D., Darby, A., Wohl, B., Vermeulen, L. M. D., Bates, O. & Feldman, D. (2018).
In the eye of a hurricane there is quiet, for just a moment, -. In R. Mandryk, M. Hancock, M. Perry & A. Cox (Eds.),
CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (pp. 1-10). Article alt01 Association for Computing Machinery.
https://doi.org/10.1145/3170427.3188394
JUNG, RALF.
, KREBBERS, ROBBERT., JOURDAN, JACQUES.-HENRI.
, BIZJAK, ALEŠ., BIRKEDAL, LARS. & DREYER, DEREK. (2018).
Iris from the ground up: A modular foundation for higher-order concurrent separation logic.
Journal of Functional Programming,
28, 1-73. Article e20.
https://doi.org/10.1017/S0956796818000151Dan, C.
, Hansen, K. A., Jiang, H., Wang, L. & Zhou, Y. (2018).
Low rank approximation of binary matrices: Column subset selection and generalizations. In I. Potapov, J. Worrell & P. Spirakis (Eds.),
43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018 (Vol. 117, pp. 41:1-41:16). Article 41 Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.MFCS.2018.41Baum, C., Damgård, I., Lyubashevsky, V.
, Oechsner, S. & Peikert, C. (2018).
More Efficient Commitments from Structured Lattice Assumptions. In D. Catalano & R. De Prisco (Eds.),
Security and Cryptography for Networks - 11th International Conference, SCN 2018, Proceedings (Vol. 11035, pp. 368-385). Springer VS.
https://doi.org/10.1007/978-3-319-98113-0_20
Frølunde, A. S., Ohlenbusch, M. E., Berg-Hansen, K., Jessen, N., Kim, S. & Boedtkjer, E. (2018).
Murine breast cancer feed arteries are thin-walled with reduced α1A-adrenoceptor expression and attenuated sympathetic vasocontraction.
Breast Cancer Research,
20(1), Article 20.
https://doi.org/10.1186/s13058-018-0952-8
Dalsgaard, P., Pedersen, B. P., Dimke, H., Møller, N. M.
, Normand, S., Bjørk, R., Bille, M.
& Larsen, K. G. (2018).
Opholdskrav i skatteaftale hæmmer dansk forskning.
Politiken, (Sektion 2 (Kultur)), 7.
Mayer, S., Lischke, L.
, Grønbæk, J. E., Sarsenbayeva, Z., Vogelsang, J., Wozniak, P. W., Henze, N. & Jacucci, G. (2018).
Pac-Many: Movement Behavior when Playing Collaborative and Competitive Games on Large Displays. In
CHI '18: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems Article 539 Association for Computing Machinery.
https://doi.org/10.1145/3173574.3174113Vosough, Z.
, Hogräfer, M., Royer, L. A., Groh, R.
& Schulz, H.-J. (2018).
Parallel Hierarchies: A Visualization for Cross-tabulating Hierarchical Categories.
Computers & Graphics,
76(November), 1-17.
https://doi.org/10.1016/j.cag.2018.07.009Gröschel, C.
, Dalsgaard, P., Klokmose, C. N., Korsgaard, H., Eriksson, E., Bats, R., Tabard, A., Ducros, A. & Serholt, S. (2018).
PARTICIPATE: Capturing Knowledge in Public Library Activities. In
CHI EA '18 : Proceedings of the 2018 CHI Conference Extended Abstracts on Human Factors in Computing Systems Article LBW060
https://doi.org/10.1145/3170427.3188605Lindahl, C., Wagner, S., Uldbjerg, N., Schlütter, J. M., Bertelsen, O. W. & Sandager, P. (2018).
Patient acceptance of blood pressure self-measurement equipment using context-aware patient guidance. In N. Minsky & V. Osmani (Eds.),
Proceedings of the 12th EAI International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2018 (pp. 318-326). Association for Computing Machinery.
https://doi.org/10.1145/3240925.3240963
Tsourakakis, C. E., Mitzenmacher, M.
, Larsen, K. G., Blasiok, J., Lawson, B., Nakkiran, P. & Nakos, V. (2018).
Predicting Positive and Negative Links with Noisy Queries: Theory Practice. arxiv.org.
http://arxiv.org/abs/1709.07308Saleem, M. A., Soares da Costa, F., Dolog, P.
, Karras, P., Pedersen, T. B. & Calders, T. (2018).
Predicting Visitors Using Location-Based Social Networks. In
Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018 (pp. 245-250). IEEE.
https://doi.org/10.1109/MDM.2018.00043Xu, Z.
, Anderson, K., Lawson, R.
, Brooks, D. J. & Pavese, N. (2018).
Progression of sleep disorders spectrum in Parkinson's Disease: A 5 year clinical longitudinal study.
Movement Disorders,
33(5), S761-S762.
https://doi.org/10.1002/mds.27399Baena, J., Cabarcas, D.
, Escudero, D. E., Khathuria, K. & Verbel, J. (2018).
Rank Analysis of Cubic Multivariate Cryptosystems. In T. Lange & R. Steinwandt (Eds.),
Post-Quantum Cryptography - 9th International Conference, PQCrypto 2018, Proceedings (Vol. 10786, pp. 355-374). Springer VS.
https://doi.org/10.1007/978-3-319-79063-3_17Skorstengaard, L., Devriese, D.
& Birkedal, L. (2018).
Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. In A. Ahmed (Ed.),
Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings (Vol. 10801, pp. 475-501). Springer VS.
https://doi.org/10.1007/978-3-319-89884-1_17
Aguirre, A., Barthe, G.
, Birkedal, L., Bizjak, A., Gaboardi, M. & Garg, D. (2018).
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. In A. Ahmed (Ed.),
Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings (pp. 214-241). Springer VS.
https://doi.org/10.1007/978-3-319-89884-1_8
