Alexander, C.
, Arge, L., Bøcher, P. K., Revsbæk, M.
, Sandel, B., Svenning, J. C., Tsirogiannis, C. & Yang, J. (2016).
Computing river floods using massive terrain data. In J. A. Miller, D. O'Sullivan & N. Wiegand (Eds.),
Geographic Information Science: 9th International Conference, GIScience 2016 (Vol. 9927, pp. 3-17). Springer VS.
https://doi.org/10.1007/978-3-319-45738-3_1
Abe, M., Chase, M.
, David, B., Kohlweiss, M., Nishimaki, R. & Ohkubo, M. (2016).
Constant-Size Structure-Preserving Signatures: Generic Constructions and Simple Assumptions.
Journal of Cryptology,
29(4), 1-46.
https://doi.org/10.1007/s00145-015-9211-7
Houben, S., Marquardt, N., Vermeulen, J., Schöning, J.
, Klokmose, C. N., Reiterer, H.
, Korsgaard, H. & Schreiner, M. (2016).
Cross-Surface: Challenges and Opportunities for 'bring your own device' in the wild. In
CHI EA 2016: #chi4good - Extended Abstracts, 34th Annual CHI Conference on Human Factors in Computing Systems (pp. 3366-3372). Association for Computing Machinery.
https://doi.org/10.1145/2851581.2856490
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. In W. Barendregt & M. Obaid (Eds.),
Proceedings of the 9th Nordic Conference on Human-Computer Interaction: Game-Changing Design, NordiCHI 2016 Article 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. In L. Anthony, G. Sim & R. Jones (Eds.),
Proceedings of IDC 2016 - The 15th International Conference on Interaction Design and Children (pp. 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. In S. Fekete & A. Lubiw (Eds.),
32nd International Symposium on Computational Geometry, SoCG 2016 (Vol. 51, pp. 61.1-61.16). 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. Paper presented at EuroCG 2016, Lugano, Switzerland.
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 from 22nd International Conference on Types for Proofs and Programs, Novi Sad, Serbia.
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. In J.-M. Talbot & L. Regnier (Eds.),
CSL 2016: 25th EACSL Annual Conference on Computer Science Logic (pp. 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. In B. Jacobs & C. Löding (Eds.),
Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016 (Vol. 9634, pp. 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