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

Sort by: Date | Author | Title

Faust, S., Hazay, C., Nielsen, J. B., Nordholt, P. S., Zottarel, A., 4.2016, "Signature Schemes Secure Against Hard-to-Invert Leakage", Journal of Cryptology. Journal article
Zakarias, R. W., 30.3.2016, "Practical Secure Computation with Pre-Processing". Ph.D. thesis
Brix, L., Ringgaard, S., Sandager, P., et al., 22.3.2016, "Overcoming foetal motion using interactive real-time magnetic resonance imaging", Clinical Physiology and Functional Imaging. Journal article
Muller, M., Neureiter, K., Verdezoto, N., Krischkowsky, A., Al Zubaidi-Polli, A. M., Tscheligi, M., 27.2.2016, "Collaborative Appropriation", Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion. Article in proceedings
Klokmose, C. N., Eagan, J., Baader, S., Mackay, W., Beaudouin-Lafon, M., 27.2.2016, "Webstrates", Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion, CSCW 2016 Companion. Article in proceedings
Lanng, H., Lykkegaard,, A., Thornholm, S., Tzannis, P., Verdezoto, N., 25.2.2016, "PeaceKeeper", Proceedings of the 7th Augmented Human International Conference 2016. Article in proceedings
Derczynski, L., Chester, S., 21.2.2016, "Generalised Brown Clustering and Roll-up Feature Generation", The Thirtieth AAAI Conference on Artificial Intelligence. Article in proceedings
Jakobsen, F. L., Pedersen, S. M., Schnedler, J. A., Øllegaard, N. H., 14.2.2016, "Exploring the use of shape change in home appliances", Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction - TEI 2016. Article in proceedings
Dithmer, M., Rasmussen, J. O., Grönvall, E., et al., 2.2016, ""The Heart Game"", Games for Health. Journal article
Salgado, M., Saad-Sulonen, J., 2016, "Who needs us?". Paper
Alexander, C., Arge, L., Bøcher, P. K., et al., 2016, "Computing river floods using massive terrain data", Geographic Information Science. Article in proceedings
van Kreveld, M., Löffler, M., Staals, F., Wiratma, L., 2016, "A Refined Definition for Groups of Moving Entities and its Computation". Paper
Yon, J., Won, S. B., Cheng, S. W., Cheong, O., Wilkinson, B. T., 2016, "Approximating convex shapes with respect to symmetric difference under homotheties", 32nd International Symposium on Computational Geometry, SoCG 2016. Article in proceedings
Ranellucci, S., Tapp, A., Zakarias, R., 2016, "Efficient generic zero-knowledge proofs from commitments", Information Theoretic Security - 9th International Conference, ICITS 2016, Revised Selected Papers. Article in proceedings
Christodoulou, G., Filos-Ratsikas, A., Frederiksen, S. K. S., Goldberg, P. W., Zhang, J., Zhang, J., 2016, "Social Welfare in One-Sided Matching Mechanisms", Autonomous Agents and Multiagent Systems. Article in proceedings
Dodds, M., Jagannathan, S., Parkinson, M. J., Svendsen, K., Birkedal, L., 2016, "Verifying custom synchronisation constructs using higher-order separation logic", ACM Transactions on Programming Languages and Systems. Journal article
Afshani, P., Nielsen, J. A. S., 2016, "Data Structure Lower Bounds for Document Indexing Problems", 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Article in proceedings
Höök, K. H., Jonsson, M., Ståhl, A., et al., 2016, "Move to Be Moved", Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems. Article in proceedings
Mechler, J., Müller-Quade, J., Nilges, T., 2016, "Universally Composable (Non-Interactive) Two-Party Computation from Untrusted Reusable Hardware Tokens". Net publication - Internet publication
Sonne, T., Grønbæk, K., 2016, "Designing assistive technologies for the ADHD domain", Pervasive Computing Paradigms for Mental Health. Article in proceedings
Stisen, A., Verdezoto, N., Blunck, H., Kjærgaard, M. B., Grønbæk, K., 2016, "Accounting for the Invisible Work of Hospital Orderlies", Proceedings of the 19th ACM Conference on Computer-Supported Cooperative Work & Social Computing. Article in proceedings
Lindlbauer , D., Lilija, K., Walter , R., Müller, J., 2016, "Influence of Display Transparency on Background Awareness and Task Performance", 34TH ANNUAL CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS, CHI 2016. Article in proceedings
Thai Son, M., Assent, I., Le, A. T., 2016, "Anytime OPTICS", Database Systems for Advanced Applications - 21st International Conference, DASFAA 2016, Proceedings. Article in proceedings
Hazay, C., Polychroniadou, A., Venkitasubramaniam, M., 2016, "Composable Security in the Tamper-Proof Hardware Model Under Minimal Complexity", Theory of Cryptography. Article in proceedings
Polychroniadou, A., Damgård, I. B., Garg, S., Mukherjee, P., Nielsen, J. B., Pandey, O., 2016, "On the Communication and Round Complexity of Secure Computation". Report
Grønbæk, J. E., O'Hara, K., 2016, "Built-In Device Orientation Sensors for Ad-Hoc Pairing and Spatial Awareness". Conference abstract for conference
Bødker, S., Hornbæk, K., Oulasvirta, A., Reeves, S., 2016, "Nine questions for HCI researchers in the making", interactions. Journal article
Damgård, I., Zakarias, R., 2016, "Fast oblivious AES a dedicated application of the MiniMac protocol", Progress in Cryptology – AFRICACRYPT 2016 - 8th International Conference on Cryptology in Africa, Proceedings. Article in proceedings
Goddard, W., Garner, J., Jensen, M. M., 2016, "Designing for social play in co-located mobile games", Proceedings of the Australasian Computer Science Week Multiconference. Article in proceedings
Mortensen, M. L., 2016, "Multi-Criteria Decision Support Queries in Exploratory & Open World Settings". Ph.D. thesis
Bouros, P., Mamoulis, N., Ge, S., Terrovitis, M., 2016, "Set Containment Join Revisited", Knowledge and Information Systems. Journal article
Nielsen, M. M., Tataru, P., Madsen, T., Hobolth, A., Pedersen, J. S., 2016, "Motif discovery in ranked lists of sequences". Working paper
Löffler, M., Staals, F., Urhausen, J., 2016, "New Results on Trajectory Grouping under Geodesic Distance". Paper
Nilges, T., 2016, "Efficient Resettably Secure Two-Party Computation". Net publication - Internet publication
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B., Vezzosi, A., 2016, "Guarded cubical type theory". Conference abstract for conference
Bødker, S., Klokmose, C. N., 2016, "Dynamics, Multiplicity and Conceptual Blends in HCI", CHI '16 . Article in proceedings
Bizjak, A., Grathwohl, H. B., Clouston, R., Møgelberg, R. E., Birkedal, L., 2016, "Guarded dependent type theory with coinductive types", Foundations of Software Science and Computation Structures. Article in proceedings
Sonne, T., Jensen, M. M., 2016, "Evaluating the ChillFish Biofeedback Game with Children with ADHD", Proceedings of the The 15th International Conference on Interaction Design and Children. Article in proceedings
Kunkel, A., Rheinländer, A., Schiefer, C., Helmer, S., Bouros, P., Leser, U., 2016, "PIEJoin: Towards Parallel Set Containment Joins", Proceedings of the 28th International Conference on Scientific and Statistical Database Management. Article in proceedings
Lacerda, F. G., Renes, J. M., Scholz, V. B., 2016, "Coherent state constellations for Bosonic Gaussian channels", IEEE International Symposium on Information Theory, ISIT 2016, Barcelona, Spain, July 10-15, 2016. Book chapter
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", IDC '16 Proceedings of the The 15th International Conference on Interaction Design and Children. Article in proceedings
Bødker, S., Korsgaard, H., Lyle, P., Saad-Sulonen, J., 2016, "Happenstance, Strategies and Tactics: Intrinsic Design in a Volunteer-based Community", Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Article in proceedings
Raskin, M., Mamardashvili, N. A., 2016, "Accessing Local Variables During Debugging", ELS2016 Proceedings of the 9th European Lisp Symposium on European Lisp Symposium. Article in proceedings
Trifiletti, R., Nielsen, J. B., Frederiksen, T. K., Jakobsen, T. P., 2016, "On the Complexity of Additively Homomorphic UC Commitments", Theory of Cryptography - 13th International Conference, TCC 2016-A. Article in proceedings
Chan, T. M., Wilkinson, B. T., 2016, "Adaptive and approximate orthogonal range counting", ACM Transactions on Algorithms. Journal article
Ben-Sasson, E., Ben-Tov, I., Damgård, I., Ishai, Y., Ron-Zewi, N., 2016, "On public key encryption from noisy codewords", Public-Key Cryptography – PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings. Article in proceedings
Houben, S., Marquardt, N., Vermeulen, J., et al., 2016, "Cross-Surface", CHI EA '16. Article in proceedings
Campos, G. O., Zimek, A., Sander, J., et al., 2016, "On the Evaluation of Outlier Detection", Proceedings of the Conference "Lernen, Wissen, Daten, Analysen". Article in proceedings
Nielsen, J. B., Orlandi, C., 2016, "Cross and Clean: Amortized Garbled Circuits with Constant Overhead", Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part I. Article in proceedings
Baum, C., 2016, "On Garbling Schemes with and Without Privacy", Security and Cryptography for Networks. Article in proceedings

Displaying results 251 to 300 out of 4560

Previous Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 Page 8 Page 9 Page 10 Page 11 Next

Comments on content:

Marianne Dammand Iversen

Revised 06.06.2018

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University