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

Spitters, B. (2016, Oct 17). Cubical sets and the topological topos. https://arxiv.org/pdf/1610.05270v1.pdf

Afshani, P. & Nielsen, J. A. S. (2016). Data Structure Lower Bounds for Document Indexing Problems. In I. Chatzigiannakis, M. Mitzenmacher, Y. Rabani & D. Sangiorgi (Eds.), 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) (Vol. 55, pp. 93:1-93:15). Article 93 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2016.93

Chechik, S., Hansen, T. D., Italiano, G. F., Łącki, J. & Parotsidis, N. (2016). Decremental Single-Source Reachability and Strongly Connected Components in Õ(m√n) Total Update Time. In Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016 (pp. 315-324). Article 7782945 IEEE. https://doi.org/10.1109/FOCS.2016.42

Kyng, M. (2016). Democracy beyond projects: how users may achieve lasting influence on it systems. interactions, 23(2), 36-39. https://doi.org/10.1145/2889276

Andreasen, E. S. (2016). Designing Abstractions for JavaScript Program Analysis. Department of Computer Science, Aarhus University.

Sonne, T. & Grønbæk, K. (2016). Designing assistive technologies for the ADHD domain. In S. Serino, A. Matic, D. Giakoumis, G. Lopez & P. Cipresso (Eds.), Pervasive Computing Paradigms for Mental Health: 5th International Conference, MindCare 2015, Revised Selected Papers (Vol. 604, pp. 259-268). Springer VS. https://doi.org/10.1007/978-3-319-32270-4_26

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-469). 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

Displaying results 1901 to 1950 out of 5913

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University