Muller, M., Neureiter, K.
, Verdezoto, N., Krischkowsky, A., Al Zubaidi-Polli, A. M. & Tscheligi, M. (2016).
Collaborative Appropriation: How Couples, Teams, Groups and Communities Adapt and Adopt Technologies. I
Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion, CSCW 2016 Companion: CSCW '16 Companion (s. 473-480). Association for Computing Machinery.
https://doi.org/10.1145/2818052.2855508
Lindlbauer, D.
, Grønbæk, J. E., Birk, M., Halskov, K., Alexa, M.
& Müller, J. (2016).
Combining Shape-Changing Interfaces and Spatial Augmented Reality Enables Extended Object Appearance. I C. Lampe, D. Morris & J. P. Hourcade (red.),
CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems (s. 791-802). Association for Computing Machinery.
https://doi.org/10.1145/2858036.2858457
Knudsen, M., Søndergaard, D. A., Tofting-Olesen, C., Hansen, F. T., Brodersen, D. E. & Pedersen, C. S. (2016).
Computational discovery of specificity-conferring sites in non-ribosomal peptide synthetases.
Bioinformatics,
32(3), 325-329.
https://doi.org/10.1093/bioinformatics/btv600
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. I
CHI EA 2016: #chi4good - Extended Abstracts, 34th Annual CHI Conference on Human Factors in Computing Systems (s. 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. 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
Mic, V., Novak, D. & Zezula, P. (2016).
Designing Sketches for Similarity Filtering. I C. Domeniconi, F. Gullo, F. Bonchi, F. Bonchi, J. Domingo-Ferrer, R. Baeza-Yates, R. Baeza-Yates, R. Baeza-Yates, Z.-H. Zhou & X. Wu (red.),
Proceedings - 16th IEEE International Conference on Data Mining Workshops, ICDMW 2016 (s. 655-662). Artikel 7836729 IEEE Computer Society.
https://doi.org/10.1109/ICDMW.2016.0098
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
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