Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Jensen, M. M. & Grønbæk, K. (2016). Design Strategies for Balancing Exertion Games: A Study of Three Approaches. I DIS 2016 - Proceedings of the 2016 ACM Conference on Designing Interactive Systems: Fuse (s. 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. I 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 (s. 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. Afhandling præsenteret på Global Wireless Summit 2016, Aarhus, Danmark.

Ranellucci, S., Tapp, A. & Zakarias, R. (2016). Efficient generic zero-knowledge proofs from commitments. I A. C. A. Nascimento & P. Barreto (red.), Information Theoretic Security - 9th International Conference, ICITS 2016, Revised Selected Papers (Bind 10015, s. 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. I Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (Bind 10031 LNCS, s. 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. I M. Hirt & A. Smith (red.), Theory of Cryptography - 14th International Conference, TCC 2016-B, Proceedings: Fourteenth IACR Theory of Cryptography Conference, TCC 2016-B (Bind 9985, s. 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. I Proceedings of IDC 2016 - The 15th International Conference on Interaction Design and Children: IDC '16 (s. 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. I M. Broekhuijsen (red.), TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction (s. 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. I M. Broekhuijsen (red.), Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction - TEI 2016 (s. 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. 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

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

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

Madsen, M., Tip, F., Andreasen, E. S., Sen, K. & Møller, A. (2016). Feedback-directed instrumentation for deployed JavaScript applications. I Proceedings - 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering Companion, ICSE 2016: ICSE 2016 (s. 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. I 30th AAAI Conference on Artificial Intelligence, AAAI 2016: AAAI (s. 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

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

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. I TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction (s. 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. I W. Barendregt & M. Obaid (red.), Proceedings of the 9th Nordic Conference on Human-Computer Interaction: Game-Changing Design, NordiCHI 2016 (s. 10:1-10:10). Artikel 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. I Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016 (s. 61-70). Artikel 7782918 IEEE. https://doi.org/10.1109/FOCS.2016.16

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

Jakobsen, K., Winge, J. & Petersen, M. G. (2016). Hitmachine: Collective Musical Expressivity for Novices. Afhandling præsenteret på New Interfaces for Musical Expression 2016, Brisbane, Queensland, Australien.

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. I ITCS 2016 - Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science (s. 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. I J. Katz & M. Robshaw (red.), Advances in Cryptology - 36th Annual International Cryptology Conference, CRYPTO 2016, Proceedings: CRYPTO 2016: Advances in Cryptology – CRYPTO 2016 (Bind 9816, s. 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. I CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems (s. 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. I Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2016: MobileHCI '16 (s. 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. I Motion in Games 2016: 9th International Conference on Motion in Games, MIG 2016 (s. 155-160). Artikel 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. I Proceedings of the 11th Iberian Conference on Information Systems and Technologies, CISTI 2016 (s. 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. (s. 1-31). Cryptology ePrint Archive. http://ia.cr/2016/397

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

Döttling, N. (2016). Low Noise LPN: Key dependent message secure public key encryption an sample amplification. IET Information Security, 10(6), 372-385. https://doi.org/10.1049/iet-ifs.2015.0495

Stisen, A. (2016). Mobile Sensing and Recognition of Human Activities to Support Work Coordination. Institut for Datalogi, Aarhus Universitet.

Da Rocha Pinto, P., Dinsdale-Young, T., Gardner, P. & Sutherland, J. (2016). Modular termination verification for non-blocking concurrency. I P. Thiemann (red.), Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings (Bind 9632, s. 176-201). Springer. https://doi.org/10.1007/978-3-662-49498-1_8

Nielsen, M. M., Tataru, P., Madsen, T., Hobolth, A. & Pedersen, J. S. (2016). Motif discovery in ranked lists of sequences. (s. 1-4). http://biorxiv.org/content/biorxiv/suppl/2016/01/11/035956.DC2/035956-1.pdf

Höök, K. H., Jonsson, M., Ståhl, A., Tholander, J., Robertson, T., Marti, P., Svanæs, D., Petersen, M. G., Forlizzi, J., Schiphorst, T., Isbister, K., Hummels, C., Klooster, S., Loke, L. & Khut, G. P. (2016). Move to Be Moved. I CHI EA 2016: #chi4good - Extended Abstracts, 34th Annual CHI Conference on Human Factors in Computing Systems (s. 3301-3308). Association for Computing Machinery. https://doi.org/10.1145/2851581.2856470

Mortensen, M. L. (2016). Multi-Criteria Decision Support Queries in Exploratory & Open World Settings.

Bødker, S., Hornbæk, K., Oulasvirta, A. & Reeves, S. (2016). Nine questions for HCI researchers in the making. interactions, 23(4), 58-61. https://doi.org/10.1145/2949686

Bai, G., Damgård, I., Orlandi, C. & Xia, Y. (2016). Non-Interactive Verifiable Secret Sharing for Monotone Circuits. I D. Pointcheval, A. Nitaj & T. Rachidi (red.), Progress in Cryptology – AFRICACRYPT 2016 - 8th International Conference on Cryptology in Africa, Proceedings (Bind 9646, s. 225-244). Springer VS. https://doi.org/10.1007/978-3-319-31517-1_12

Viser resultater 2001 til 2050 ud af 6137

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series