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

Antoy, S., Johannsen, J., Libby, S., 2014, "Needed Computations Shortcutting Needed Steps". Paper
Blevis, E., Koskinen, . K., Lee, ., et al., 2015, "Transdisciplinary Interaction Design in Design Education", Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems. Article in proceedings
Blevis, E., Bødker, S., Flach, J., et al., 2015, "Ecological Perspectives in HCI". Conference abstract for conference
Bothorel, C., Cruz, J. D., Magnani, M., Micenková, B., 2015, "Clustering attributed graphs", Network Science . Journal article
Dodis, Y., Nielsen, J. B., 2015, "Theory of Cryptography". Anthology
Dodis, Y., Nielsen, J. B., 2015, "Theory of Cryptography". Anthology
Elkin , M. ., Pettie, S., Su, H., 2015, "(2Δ − 1)-edge-coloring is much easier than maximal matching in the distributed setting", Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA '15. Article in proceedings
Elkin , M. ., Pettie, S., 2015, "A linear-size logarithmic stretch path-reporting distance oracle for general graphs", SODA '15 Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms . Article in proceedings
Gambs, S., Ranellucci, S., Tapp, A., 2014, "The Crypto-democracy and the Trustworthy". Paper
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
Magnani, M., Assent, I., Hornbæk, ., Jakobsen, . R., Larsen, . F., 2013, "SkyView", Proceedings of the 22nd ACM International Conference on Information & Knowledge Management, CIKM '13 . Article in proceedings
Marcedone , A., Orlandi, C., 2014, "Obfuscation ⇒ (IND-CPA Security ⇏ Circular Security)", Security and Cryptography for Networks. Article in proceedings
Walter, R., Bulling, A., Lindlbauer, D., Schuessler , M., Müller, J., 2015, "Analyzing visual attention during whole body interaction with public displays", Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp '15 . Article in proceedings
Agarwal, P. K., Arge, L., Mølhave, T., Revsbæk, M., Yang, J., 2014, "Maintaining Contour Trees of Dynamic Terrains". Working paper
Agarwal, P. K., Mølhave, T., Revsbæk, M., Safa, I., Wang, Y., Yang, J., 2015, "Maintaining Contour Trees of Dynamic Terrains", 31st International Symposium on Computational Geometry (SoCG 2015). Article in proceedings
Agarwal , . K., Graham , ., Huang, Z., Phillips, ., Wei, Z., Yi, ., 2013, "Mergeable summaries", A C M Transactions on Database Systems. Journal article
Bringmann, K., Larsen, K. G., 2013, "Succinct Sampling from Discrete Distributions", Proceedings of the 45th annual ACM Symposium on Theory of Computing, STOC '13. Article in proceedings
Chen, S., Verbin, E., Yu, W., 2012, "Data Structure Lower Bounds on Random Access to Grammar-Compressed Strings". Working paper
Chen, S., Scheder, D. A., Talebanfard, N., Tang, B., 2013, "Exponential Lower Bounds for the PPSZ k-SAT Algorithm", Proceedings of the 24th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA '13. Article in proceedings
Christensen, L. R., Bertelsen, O. W., 2015, "View of Causation for CSCW", Designing Socially Embedded Technologies in the Real-World, Part II. Book chapter
De Cock, 4., Dowsley, R., Horst, C., et al., 2017, "Efficient Privacy-Preserving Scoring of Decision Trees, SVM and Logistic Regression Models". Poster
Dicke, C., Müller, J., 2015, "Evaluating Mid-air List Interaction for Spatial Audio Interfaces", Proceedings of the 3rd ACM Symposium on Spatial User Interaction, SUI '15. Article in proceedings
Etessami, K., Hansen, K. A., Miltersen, P. B., Sørensen , T. B., 6.2014, "The Complexity of Approximating a Trembling Hand Perfect Equilibrium of a Multi-player Game in Strategic Form", Algorithmic Game Theory. Article in proceedings
Genkin, D., Ishai , Y., Polychroniadou, A., 2015, "Efficient Multi-party Computation: From Passive to Active Security via Secure SIMD Circuits", Advances in Cryptology -- CRYPTO 2015. Article in proceedings
Hu, H., Jensen, C. S., Dingming , D., 2013, "Message from the LBS n.0 Workshop Organizers", IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:2 ) . Preface/postscript
Lindell, Y., Nissim, K., Orlandi, C., 2013, "Hiding the Input-Size in Secure Two-Party Computation", Advances in Cryptology - ASIACRYPT 2013. Article in proceedings
Mackay, W. E., Brewster, S., Bødker, S., 2013, "CHI '13 Extended Abstracts on Human Factors in Computing Systems". Anthology
Mackay, W. E., Brewster, S., Bødker, S., 2013, "Proceedings of the SIGCHI Conference on Human Factors in Computing Systems". Anthology
Miruchna , V., Walter , R., Lindlbauer , D., Lehmann , M., Klitzing, R. v., Müller, J., 2015, "GelTouch", UIST '15 Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology . Article in proceedings
Müller-Lennert, M., Dupont-Dupuis, F., Szehr, O., Fehr, S., Tomamichel, M., 2013, "On quantum Rényi entropies", Journal of Mathematical Physics. Journal article
Peternier , A., Binder, W., Ernst, E., Hirschfeld, R., 1.1.2014, "MODULARITY 2014 - Proceedings of the 13th International Conference on Modularity (Formerly AOSD)". Anthology
Radel, D., Sand, A., Steel, M., 2013, "Hide and seek", Molecular Phylogenetics and Evolution. Journal article
Simmons , R. J. ., Zerny, I., 2013, "A logical correspondence between natural semantics and abstract machines", Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP '13 . Article in proceedings
Turon, ., Dreyer , . ., Birkedal, L., 2013, "Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency", Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, ICFP '13 . Article in proceedings
de Montjoye, Y., Radaelli, L., Singh, V. K., Pentland, A. “., 30.1.2015, "Unique in the shopping mall: On the reidentifiability of credit card metadata", Science. Journal article
Šidlauskas, D., Jensen, C. S., Šaltenis , S., 2012, "A comparison of the use of virtual versus physical snapshots for supporting update-intensive workloads", Proceedings of the Eighth International Workshop on Data Management on New Hardware. Book chapter
Aagaard, L., Amarzguioui, M., Sun, G., et al., 2007, "A Facile Lentiviral Vector System for Expression of Doxycycline-Inducible shRNAs: Knockdown of the Pre-miRNA Processing Enzyme Drosha", Molecular Therapy. Journal article
Aarhus, R., Ballegaard, S. A., Hansen, T. R., 2009, "The eDiary", Proceedings of the 11th European Conferenceon Computer Supported Cooperative Work. Article in proceedings
Aarhus, R., Ballegaard, S. A., Hansen, T. R., 2009, "SundtHjem projektet". Report
Aarhus, R., Ballegaard, S. A., Grönvall, E., Larsen, S. B., 2009, "Ageing in communal place", Supplementary Proceeding of the 11th European Conference on Computer Supported Cooperative Work. Article in proceedings
Aarhus, R., 2008, "Rapport over feltstudie". Report
Aarhus, R., Ballegaard, S. A., 2008, "Boligbesøg 2008". Report
Aarhus, R., Ballegaard, S. A., Grönvall, E., Larsen, S. B., 2009, "Ageing in Communal Place", International Reports on Socio-Informatics. Journal article
Aarhus, R., Grönvall, E., Larsen, S. B., 2010, "Interactive Healthcare Systems in the Home: Vestibular Rehabilitation", Wish: the First International Workshop on Interactive Systems for Healthcare. Article in proceedings
Aarhus, R., Ballegaard, S. A., 2010, "Negotiating boundaries", Proceedings of the 28th international conference on human factors in computing systems. CHI '10. Article in proceedings
Aarhus, R., Gjerlufsen, T., Hohn, T., Vesterby, M., 2010, "Telemedicine for Healthy Patients", Infrastructure for Health Care. Conference abstract in proceedings
Aarhus, R., Grönvall, E., Kyng, M., 2010, "Challenges in participation: Users and their roles in the development of home-based Pervasive Healthcare applications", 2010 4th International Conference on Pervasive Computing Technologies for Healthcare. Article in proceedings
Aarhus, R., Cedergren, A., Grönvall, E., et al., 2010, "Wii i Trige", D A I M I P B. Journal article
Aarhus, R., Grönvall, E., Larsen, S. B., Wollsen, S., 2011, "Turning training into play", Gerontechnology. Journal article
Abam, M., de Berg, M., Gudmundsson, J., 2008, "A Simple and Efficient Kinetic Spanner", Annual Symposium on Computational Geometry. Article in proceedings

Displaying results 1 to 50 out of 4518

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 Page 8 Page 9 Page 10 Next

Comments on content:

Marianne Dammand Iversen

Revised 31.08.2017

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University