Grønbæk, J. E., Jakobsen, K., Petersen, M. G., Rasmussen, M. K., Winge, J.
& Stougaard, J. (2016).
Designing for Children's Collective Music Making: How Spatial Orientation and Configuration Matter. I W. Barendregt & M. Obaid (red.),
Proceedings of the 9th Nordic Conference on Human-Computer Interaction: Game-Changing Design, NordiCHI 2016 Artikel 60 Association for Computing Machinery.
https://doi.org/10.1145/2971485.2971552
Jakobsen, K., Stougaard, J., Petersen, M. G., Winge, J.
, Grønbæk, J. E. & Rasmussen, M. K. (2016).
Expressivity in Open-ended Constructive Play: Building and Playing Musical Lego Instruments. I L. Anthony, G. Sim & R. Jones (red.),
Proceedings of IDC 2016 - The 15th International Conference on Interaction Design and Children (s. 46 - 57). Association for Computing Machinery.
https://doi.org/10.1145/2930674.2930683
Van Goethem, A., Van Kreveld, M., Löffler, M., Speckmann, B.
& Staals, F. (2016).
Grouping time-varying data for interactive exploration. I S. Fekete & A. Lubiw (red.),
32nd International Symposium on Computational Geometry, SoCG 2016 (Bind 51, s. 61.1-61.16). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.SoCG.2016.61
van Goethem, A., Van Kreveld, M., Löffler, M., Speckmann, B.
& Staals, F. (2016).
Grouping Time-varying Data for Interactive Exploration. 61.1-61.16. Afhandling præsenteret på EuroCG 2016, Lugano, Schweiz.
http://www.eurocg2016.usi.ch/sites/default/files/paper_48.pdf
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016).
Guarded cubical type theory. Abstract fra 22nd International Conference on Types for Proofs and Programs, Novi Sad, Serbien.
http://www.cs.au.dk/~spitters/TYPES16.pdf
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016).
Guarded Cubical Type Theory: Path Equality for Guarded Recursion. I J.-M. Talbot & L. Regnier (red.),
CSL 2016: 25th EACSL Annual Conference on Computer Science Logic (s. 1 - 17)
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016).
Guarded Cubical Type Theory.
https://arxiv.org/pdf/1611.09263v1.pdf
Bizjak, A., Grathwohl, H. B., Clouston, R., Møgelberg, R. E.
& Birkedal, L. (2016).
Guarded dependent type theory with coinductive types. I B. Jacobs & C. Löding (red.),
Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016 (Bind 9634, s. 20-35). Springer VS.
https://doi.org/10.1007/978-3-662-49630-5_2
Feng, G., Mao, L.
, Sandel, B. S., Swenson, N. G.
& Svenning, J.-C. (2016).
High plant endemism in China is partially linked to reduced glacial-interglacial climate change.
Journal of Biogeography,
43(1), 145-154.
https://doi.org/10.1111/jbi.12613
Baum, C., Damgård, I. B., Larsen, K. G. & Nielsen, M. (2016).
How to prove knowledge of small secrets. I J. Katz & M. Robshaw (red.),
Advances in Cryptology - 36th Annual International Cryptology Conference, CRYPTO 2016, Proceedings: CRYPTO 2016: Advances in Cryptology – CRYPTO 2016 (Bind 9816, s. 478-498). Springer VS.
https://doi.org/10.1007/978-3-662-53015-3_17
Bender, E., Schaper, N.
, Caspersen, M. E., Margaritis, M. & Hubwieser, P. (2016).
Identifying and formulating teachers' beliefs and motivational orientations for computer science teacher education.
Studies in Higher Education,
41(11), 1958-1973.
https://doi.org/10.1080/03075079.2015.1004233