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

Korsgaard, H. & Klokmose, C. N. (2016). Composition and mediation in cross-surface interaction. Paper presented at Cross-Surface: Challenges and Opportunities for ‘bring your own device’ in the wild, San Jose, California, United States. http://cross-surface.com/papers/Cross-Surface_2016_paper_15.pdf

Korsgaard, H., Klokmose, C. N. & Bødker, S. (2016). Computational Alternatives in Participatory Design: Putting the T Back in Socio-technical Research. In M. Teli, J. McDonnell, K. Bodker, C. Bossen, R. C. Smith & A. M. Kanstrup (Eds.), PDC 2016: Proceedings of the 14th Participatory Design Conference: Full Papers - Volume 1 (pp. 71-79). Association for Computing Machinery. https://doi.org/10.1145/2940299.2940314

Søndergaard, D. A., Knudsen, M. & Pedersen, C. S. (2016). Computational Classification of P-Type ATPases. Methods in Molecular Biology, 1377, 493-502. https://doi.org/10.1007/978-1-4939-3179-8

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

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), 833-878. https://doi.org/10.1007/s00145-015-9211-7

Tomlein, M. (2016). Context-Aware Software Ecosystem for Industrial Products. In Proceedings - 2016 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016 (pp. 279-280). Article 7516845 IEEE Press. https://doi.org/10.1109/WICSA.2016.53

Duijn, I. V., Kostitsyna, I., Kreveld, M. V. & Löffler, M. (2016). Critical Placements of a Square or Circle amidst Trajectories for Junction Detection. In T. C. Shermer (Ed.), Proceedings of the 28th Canadian Conference on Computational Geometry (pp. 208 - 215). Simon Fraser University. Vancouver, British Columbia Canada. http://www.sfu.ca/~shermer/CCCG2016/CCCG_2016_proceedings_preliminary.pdf

Nielsen, J. B. & Orlandi, C. (2016). Cross and Clean: Amortized Garbled Circuits with Constant Overhead. In M. Hirt & A. Smith (Eds.), Theory of Cryptography - 14th International Conference, TCC 2016-B, Proceedings (Vol. 9985, pp. 582-603). Springer VS. https://doi.org/10.1007/978-3-662-53641-4_22

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

Christensen, H. B. (2016). Crunch3: Automated Evaluation and Feedback on Multi-server Software Architectures. Computer programme

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-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

Displaying results 1901 to 1950 out of 5924

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University