Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

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

Goddard, W., Garner, J. & Jensen, M. M. (2016). Designing for social play in co-located mobile games. In Proceedings of the Australasian Computer Science Week Multiconference, ACSW 2016: ACSW '16 Article 68 Association for Computing Machinery. https://doi.org/10.1145/2843043.2843476

Jensen, M. M. & Grønbæk, K. (2016). Design Strategies for Balancing Exertion Games: A Study of Three Approaches. In DIS 2016 - Proceedings of the 2016 ACM Conference on Designing Interactive Systems: Fuse (pp. 936-946). Association for Computing Machinery. https://doi.org/10.1145/2901790.2901843

Bødker, S. & Klokmose, C. N. (2016). Dynamics, Multiplicity and Conceptual Blends in HCI. In CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems: Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems (pp. 2538-2548). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858530

Lehmann, A. & Gross, A. (2016). Effect of GPS errors on Emission model. Paper presented at Global Wireless Summit 2016, Aarhus, Denmark.

Ranellucci, S., Tapp, A. & Zakarias, R. (2016). Efficient generic zero-knowledge proofs from commitments. In A. C. A. Nascimento & P. Barreto (Eds.), Information Theoretic Security - 9th International Conference, ICITS 2016, Revised Selected Papers (Vol. 10015, pp. 190-212). Springer VS. https://doi.org/10.1007/978-3-319-49175-2_10

Faonio, A. & Venturi, D. (2016). Efficient public-key cryptography with bounded leakage and tamper resilience. In Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (Vol. 10031 LNCS, pp. 877-907). Springer VS. https://doi.org/10.1007/978-3-662-53887-6_32

Nilges, T. (2016). Efficient Resettably Secure Two-Party Computation. http://eprint.iacr.org/2016/1009

Baum, C., Scholl, P. & Orsini, E. (2016). Efficient Secure Multiparty Computation with Identifiable Abort. In M. Hirt & A. Smith (Eds.), Theory of Cryptography - 14th International Conference, TCC 2016-B, Proceedings: Fourteenth IACR Theory of Cryptography Conference, TCC 2016-B (Vol. 9985, pp. 461-490). Springer VS. https://doi.org/10.1007/978-3-662-53641-4

Ateniese, G., Dagdelen, Ö., Damgård, I. & Venturi, D. (2016). Entangled cloud storage. Future Generation Computer Systems - The International Journal of eScience, 62(9), 104-118. https://doi.org/10.1016/j.future.2016.01.008

Sonne, T. & Jensen, M. M. (2016). Evaluating the ChillFish Biofeedback Game with Children with ADHD. In Proceedings of IDC 2016 - The 15th International Conference on Interaction Design and Children: IDC '16 (pp. 529-534). Association for Computing Machinery. https://doi.org/10.1145/2930674.2935981

Legaard, L., Thomsen, J. R., Lorentzen, C. H. & Techen, J. P. (2016). Exploring SCI as Means of Interaction through the Design Case of Vacuum Cleaning. In M. Broekhuijsen (Ed.), TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction (pp. 488-493). Association for Computing Machinery. https://doi.org/10.1145/2839462.2856540

Jakobsen, F. L., Pedersen, S. M., Schnedler, J. A. & Øllegaard, N. H. (2016). Exploring the use of shape change in home appliances. In M. Broekhuijsen (Ed.), Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction - TEI 2016 (pp. 462-467). Association for Computing Machinery. https://doi.org/10.1145/2839462.2856539

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

Brodal, G. S. (2016). External Memory Three-Sided Range Reporting and Top-k Queries with Sublogarithmic Updates. In N. Ollinger & H. Vollmer (Eds.), 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016) (Vol. 47, pp. 23:1-23:14). Article 23 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.STACS.2016.23

Tsirogiannis, C. & Sandel, B. (2016). Fast computations for measures of phylogenetic beta diversity. PLoS One, 11(4), Article 0151167. https://doi.org/10.1371/journal.pone.0151167

Damgård, I. & Zakarias, R. (2016). Fast oblivious AES a dedicated application of the MiniMac protocol. In D. Pointcheval, A. Nitaj & T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2016 - 8th International Conference on Cryptology in Africa, Proceedings (Vol. 9646, pp. 245-264). Springer VS. https://doi.org/10.1007/978-3-319-31517-1_13

Tsirogiannis, C. & Sandel, B. (2016). Fast phylogenetic biodiversity computations under a non-uniform random distribution. In M. Singh (Ed.), Research in Computational Molecular Biology - 20th Annual Conference, RECOMB 2016, Proceedings (Vol. 9649, pp. 225-236). Springer VS. https://doi.org/10.1007/978-3-319-31957-5_16

Madsen, M., Tip, F., Andreasen, E. S., Sen, K. & Møller, A. (2016). Feedback-directed instrumentation for deployed JavaScript applications. In Proceedings - 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering Companion, ICSE 2016: ICSE 2016 (pp. 899-910). Association for Computing Machinery. https://doi.org/10.1145/2884781.2884846

Döttling, N., Kraschewski, D., Müller-Quade, J. & Nilges, T. (2016). From Stateful Hardware to Resettable Hardware Using Symmetric Assumptions. http://eprint.iacr.org/2016/201

Jensen, M. M. (2016). Game Mechanics and Bodily Interactions: Designing Interactive Technologies for Sports Training. Department of Computer Science, Aarhus University.

Damgård, I. B., Nielsen, J. B., Nielsen, M. & Ranellucci, S. (2016). Gate-scrambling Revisited - or: The TinyTable protocol for 2-Party Secure Computation. http://eprint.iacr.org/2016/695

Derczynski, L. & Chester, S. (2016). Generalised Brown Clustering and Roll-up Feature Generation. In 30th AAAI Conference on Artificial Intelligence, AAAI 2016: AAAI (pp. 1533-1539). AAAI Press.

Ha, J.-S., Cheong, O., Goaoc, X. & Yang, J. (2016). Geometric permutations of non-overlapping unit balls revisited. Computational Geometry, 53(Februar), 36–50. https://doi.org/10.1016/j.comgeo.2015.12.003

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. https://doi.org/10.4230/LIPIcs.SoCG.2016.61

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, Aug 1). Guarded Cubical Type Theory. https://doi.org/10.4230/LIPIcs.CSL.2016.23

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

Grathwohl, H. B. (2016). Guarded Recursive Type Theory. Department of Computer Science, Aarhus University.

Arge, L. & Pach, J. (2016). Guest Editors’ Foreword. Discrete & Computational Geometry, 56(4), 833–835. https://doi.org/10.1007/s00454-016-9826-y

Mitchell, R., Fender, A. & Mueller, F. F. (2016). HandyFeet: Social Bodily Play Via Split Control of a Human Puppet's Limbs. In TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction (pp. 506-511). Association for Computing Machinery. https://doi.org/10.1145/2839462.2856531

Bødker, S., Korsgaard, H., Lyle, P. & Saad-Sulonen, J. (2016). Happenstance, Strategies and Tactics: Intrinsic Design in a Volunteer-based Community. In W. Barendregt & M. Obaid (Eds.), Proceedings of the 9th Nordic Conference on Human-Computer Interaction: Game-Changing Design, NordiCHI 2016 (pp. 10:1-10:10). Article a10 Association for Computing Machinery. https://doi.org/10.1145/2971485.2971564

Larsen, K. G., Nelson, J., Nguyen, H. L. & Thorup, M. (2016). Heavy hitters via cluster-preserving clustering. In Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016 (pp. 61-70). Article 7782918 IEEE. https://doi.org/10.1109/FOCS.2016.16

Jung, R., Krebbers, R., Birkedal, L. & Dreyer, D. (2016). Higher-order ghost state. In E. Sumii (Ed.), ICFP 2016 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (pp. 256-269). Association for Computing Machinery. https://doi.org/10.1145/2951913.2951943

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

Jakobsen, K., Winge, J. & Petersen, M. G. (2016). Hitmachine: Collective Musical Expressivity for Novices. Paper presented at New Interfaces for Musical Expression 2016, Brisbane, Queensland, Australia.

Chambers, E., Kostitsyna, I., Löffler, M. & Staals, F. (2016). Homotopy Measures for Representative Trajectories. In P. Sankowski & C. Zaroliagis (Eds.), 24th Annual European Symposium on Algorithms, ESA 2016 (Vol. 57, pp. 27:1-27:17). Article 27 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2016.27

Rijke, E. & Spitters, B. (2016). Homotopy type theory and the formalization of mathematics. Nieuw Archief voor Wiskunde , 5/17(3), 159 - 164. http://www.cs.au.dk/~spitters/naw5-2016-17-3-159.pdf

Jakobsen, S. K. & Orlandi, C. (2016). How To Bootstrap Anonymous Communication. In ITCS 2016 - Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science (pp. 333-344). Association for Computing Machinery. https://doi.org/10.1145/2840728.2840743

Baum, C., Damgård, I. B., Larsen, K. G. & Nielsen, M. (2016). How to prove knowledge of small secrets. In J. Katz & M. Robshaw (Eds.), Advances in Cryptology - 36th Annual International Cryptology Conference, CRYPTO 2016, Proceedings: CRYPTO 2016: Advances in Cryptology – CRYPTO 2016 (Vol. 9816, pp. 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

Lindlbauer , D., Lilija, K., Walter , R. & Müller, J. (2016). Influence of Display Transparency on Background Awareness and Task Performance. In CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems (pp. 1705-1716). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858453

Nielsen, M. (2016). Interactive Visual Analytics of Big Data - a Web-Based Approach. Department of Computer Science, Aarhus University.

Feuchtner, T., Walter , R. & Müller, J. (2016). Interruption and Pausing of Public Display Games. In Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2016: MobileHCI '16 (pp. 306-317). Association for Computing Machinery. https://doi.org/10.1145/2935334.2935335

Nunnari, F., Bachynskyi, M. & Heloir, A. (2016). Introducing postural variability improves the distribution of muscular loads during mid-air gestural interaction. In Motion in Games 2016: 9th International Conference on Motion in Games, MIG 2016 (pp. 155-160). Article 2994278 Association for Computing Machinery. https://doi.org/10.1145/2994258.2994278

Aureliano, V. C. O., Tedesco, P. C. D. A. R. & Caspersen, M. E. (2016). Learning programming through stepwise self-explanations. In Proceedings of the 11th Iberian Conference on Information Systems and Technologies, CISTI 2016 (pp. 535-541). IEEE Computer Society Press. https://doi.org/10.1109/CISTI.2016.7521457

Cramer, R., Damgård, I. B., Döttling, N., Giacomelli, I. & Xing, C. (2016). Linear-Time Non-Malleable Codes in the Bit-Wise Independent Tampering Model. (pp. 1-31). Cryptology ePrint Archive. http://ia.cr/2016/397

Bertelsen, O. W. (2016). Local decision making as a design opportunity. In A. De Angeli, L. Bannon, P. Marti & S. Bordin (Eds.), COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems (pp. 243-258). Springer VS. https://doi.org/10.1007/978-3-319-33464-6_15

Displaying results 2001 to 2050 out of 6007

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University