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

Bødker, S. & Klokmose, C. N. (2012). Preparing Students for (Inter-)Action with Activity Theory. International Journal of Design, 6(3), 99-111. http://www.ijdesign.org/ojs/index.php/IJDesign/article/viewFile/972/532

Nissim, K., Orlandi, C. & Smorodinsky, R. (2012). Privacy-aware mechanism design. In B. Faltings (Ed.), Proceedings of the ACM Conference on Electronic Commerce, EC '12 (pp. 774-789). Association for Computing Machinery. https://doi.org/10.1145/2229012.2229073

Midtgaard, J. & Might, M. (Eds.) (2012). Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2012. Elsevier. https://doi.org/10.1016/j.entcs.2012.09.001

Blais, E., Brody, J. E. & Matulef, K. (2012). Property Testing Lower Bounds via Communication Complexity. Computational Complexity, 21(2), 311-358 . https://doi.org/10.1007/s00037-012-0040-x

Korn, M. & Klokmose, C. N. (2012). Putting 'Local' Back into Public Wifi Hotspots. In UbiComp '12 : Proceedings of the 2012 ACM Conference on Ubiquitous Computing (pp. 800-801). Association for Computing Machinery. https://doi.org/10.1145/2370216.2370399

Verbin, E. & Zhang, Q. (2012). Rademacher-Sketch: A Dimensionality-Reducing Embedding for Sum-Product Norms, with an Application to Earth-Mover Distance. Lecture Notes in Computer Science, 7391, 834-845. https://doi.org/10.1007/978-3-642-31594-7_70

Zengfeng, H., Ke, Y. & Zhang, Q. (2012). Randomized algorithms for tracking distributed count, frequencies, and ranks. In K. Markus , B. Michael & L. Maurizio (Eds.), PODS '12 Proceedings of the 31st symposium on Principles of Database Systems (pp. 295-306 ). Association for Computing Machinery. https://doi.org/10.1145/2213556.2213596

Staal, L. K. & Hachisuka, T. (2012). Randomized Coherent Sampling for Reducing the Perceptual Error of Rendered Images. Poster session presented at SIGGRAPH 2012. https://doi.org/10.1145/2342896.2343023

Jensen, S. H., Jonsson, P. A. & Møller, A. (2012). Remedying the Eval that Men Do. In M. Heimdahl & Z. Su (Eds.), 2012 International Symposium on Software Testing and Analysis (ISSTA) : Proceedings (pp. 34-44). Association for Computing Machinery. https://doi.org/10.1145/2338965.2336758

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2012). Requirements for an evaluation infrastructure for reliable pervasive healthcare research. In The 6th International Conference on Pervasive Computing Technologies for Healthcare and Workshops (pp. 260-267). ICST, The Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6240390

Christensen, H. B., Christensen, M., Hansen, K. M., Kyng, M., Manikas, K., Surrow, M. & Urazimbetova, S. (2012). Requirements for a Software-Intensive Ecosystem for Telemedicine. Global Telemedicine and eHealth Updates : Knowledge Resources, 5, 423-427. http://www.medetel.lu/download/2012/Med-e-Tel_2012_Global_Telemedicine_and_eHealth_Updates_Volume_5_Contents.pdf

Rossi, L., Magnani, M. & Ladarola , B. (2012). Rescatemineros: Global Media Events in the Microblogging Age. Social Science Electronic Publishing. http://ssrn.com/abstract=1989791

Rasmussen, M. K. & Petersen, M. G. (2012). Re-scripting interactive artefacts with feminine values. In DPPI '11 Proceedings of the 2011 Conference on Designing Pleasurable Products and Interfaces : proceedings Association for Computing Machinery. https://doi.org/10.1145/2347504.2347515

Ackerman, M. & Branzei, S. (2012). Research Quality, Fairness, and Authorship Order. http://arxiv.org/abs/1208.3391

Sandel, B. S., Arge, L., Dalsgaard, B., Davies, R. G., Gaston, K. J., Sutherland, W. J. & Svenning, J.-C. (2012). Response - Global Endemism Needs Spatial Integration Response. Science, 335(6066), 285-286. https://doi.org/10.1126/science.335.6066.285-a

Hansen, M. S., Sørensen, T. S., Arai, A. & Kellman, P. (2012). Retrospective Reconstruction of High Temporal Resolution Cine Images from Real-Time MRI using Iterative Motion Correction. Magnetic Resonance in Medicine, 68(3), 741-750. https://doi.org/10.1002/mrm.23284

Hansen, D. C., Lühr, A., Bassler, N. & Sørensen, T. S. (2012). Robust Combined Proton & Cone Beam X-ray Tomography. Poster session presented at PTCOG 51, Seoul, Korea, Republic of.

Sandel, B. S. & Corbin, J. (2012). Scale and diversity following manipulation of productivity and disturbance in Californian coastal grasslands. Journal of Vegetation Science, 23(5), 906-918.

Damgård, I. B., Kölker, J. & Miltersen, P. B. (2012). Secret Sharing and Secure Computing from Monotone Formulae. http://eprint.iacr.org/2012/536

Damgård, I. B., Kölker, J. & Toft, T. (2012). Secure Computation, I/O-Efficient Algorithms and Distributed Signatures. Lecture Notes in Computer Science, 7178, 278-295 . https://doi.org/10.1007/978-3-642-27954-6_18

Damgård, I. B., Kölker, J., Faust, S. & Hazay, C. (2012). Secure Two-Party Computation with Low Communication. Lecture Notes in Computer Science, 7194, 54-74 . https://doi.org/10.1007/978-3-642-28914-9_4

Kölker, J. (2012). Selected Slither Link Variants are NP-complete. Journal of Information Processing, 20(3), 709-712 . https://doi.org/10.2197/ipsjjip.20.709

Miltersen, P. B. & Sheffet, O. (2012). Send mixed signals : earn more, work less. In B. Faltings, K. Leyton-Brown & P. Ipeirotis (Eds.), EC '12 Proceedings of the 13th ACM Conference on Electronic Commerce (pp. 234-247). Association for Computing Machinery. https://doi.org/10.1145/2229012.2229033

Rasmussen, M. K., Pedersen, E. W., Petersen, M. G. & Hornbæk, K. (2012). Shape-changing interfaces: a review of the design space and open research questions. https://doi.org/10.1145/2207676.2207781

Rasmussen, M. K., Pedersen, E. W., Petersen, M. G. & Hornbæk, K. A. S. (2012). Shape-changing interfaces: a review of the design space and open research questions. In CHI '12 : Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (pp. 735-744 ). Association for Computing Machinery. https://doi.org/10.1145/2212776.2212798

Faust, S., Hazay, C., Nielsen, J. B., Nordholt, P. S. & Zottarel, A. (2012). Signature Schemes Secure against Hard-to-Invert Leakage. Lecture Notes in Computer Science, 7658, 98-115. https://doi.org/10.1007/978-3-642-34961-4_8

Arge, L., Deleuran, L. K., Mølhave, T., Revsbæk, M. & Truelsen, J. (2012). Simplifying Massive Contour Maps. Lecture Notes in Computer Science, 7501, 96-107. https://doi.org/10.1007/978-3-642-33090-2_10

Christensen, H. B. & Hansen, K. M. (2012). Slutrapportering Net4Care.

Ibsen-Jensen, R. & Miltersen, P. B. (2012). Solving Simple Stochastic Games with Few Coin Toss Positions. Lecture Notes in Computer Science, 7501, 636-647. https://doi.org/10.1007/978-3-642-33090-2_55

Brody, J. E., Liang, H. & Sun, X. (2012). Space-Efficient Approximation Scheme for Circular Earth Mover Distance. Lecture Notes in Computer Science, 7256, 97-108. https://doi.org/10.1007/978-3-642-29344-3_9

Cao, X., Chen, L., Cong, G., Jensen, C. S., Qu, Q., Skovsgaard, A., Wu, D. & Yiu, M. L. (2012). Spatial Keyword Querying: Invited Paper. Lecture Notes in Computer Science, 7532, 16-29 . https://doi.org/10.1007/978-3-642-34002-4_2

Schleuning, M., Fründ, J., Klein, A.-M., Abrahamczyk, S., Alarcón, R., Albrecht, M., Andersson, G. K. S., Bazarian, S., Blüthgen, N., Böhning-Gaese, K., Bommarco, R., Dalsgaard, B., Dehling, D. M., Dormann, C. F., Gotlieb, A., Hagen, M., Hickler, T., Holzschuh, A., Kaiser-Bunbury, C. N. ... Blüthgen, N. (2012). Specialization of mutualistic interaction networks decreases toward tropical latitudes. Current Biology, 22(20), 1925-1931. https://doi.org/10.1016/j.cub.2012.08.015

Micenková, B., van Beusekom, J. & Shafait, F. (2012). Stamp Verification for Automated Document Authentication. Paper presented at International Workshop on Computational Forensics , Tsukuba, Japan.

Hachisuka, T., Jarosz, W., Bouchard , G., Christensen, P., Frisvad, J. R., Wenzel, J., Henrik Wann, J., Kaschalk, M., Knaus, C., Selle, A. & Spencer, B. (2012). State of the Art in Photon-Density Estimation: Course notes. In SIGGRAPH '12 ACM SIGGRAPH 2012 Courses Association for Computing Machinery. https://doi.org/10.1145/2343483.2343489

Bhatacharya, H., Nielsen, M. B. & Bridson, R. (2012). Steady State Stokes Flow Interpolation for Fluid Control. Annual Conference of the European Association for Computer Graphics , 33, 57-60. https://doi.org/10.2312/conf/EG2012/short/057-060

Brodal, G. S., Lagogiannis, G. & Tarjan, R. E. (2012). Strict fibonacci heaps. In STOC '12 Proceedings of the 44th symposium on Theory of Computing (pp. 1177-1184 ). Association for Computing Machinery. https://doi.org/10.1145/2213977.2214082

Davoodi, P., Raman, R. & Satti, S. (2012). Succinct Representations of Binary Trees for Range Minimum Queries. Lecture Notes in Computer Science, 7434, 396-407 . https://doi.org/10.1007/978-3-642-32241-9_34

Jensen, J. L. (2012). Supporting Seamful Development of Positioning Applications through Model Based Translucent Middleware. Department of Computer Science, Aarhus University.

Cao, X., Cong, G., Jensen, C. S., NG, J. J., Ooi, B. C., Phan, N.-T. & Wu, D. (2012). SWORS: a system for the efficient retrieval of relevant spatial web objects. Proceedings of the VLDB Endowment, 5(12), 1914-1917. http://dl.acm.org/citation.cfm?id=2367536

Korn, M. & Back, J. (2012). Talking it Further: From Feelings and Memories to Civic Discussions In and About Places. In L. Malmborg & T. Pederson (Eds.), NordiCHI '12 Proceedings of the 7th Nordic Conference on Human-Computer Interaction: Making Sense Through Design (pp. 189-198). Association for Computing Machinery. https://doi.org/10.1145/2399016.2399046

Reetz, E., Lehmann, A., Kümper, D. & Tönjes, R. (2012). Test Driven Life Cycle Management for Internet of Things based Services: a Semantic Approach. Paper presented at International Conference on Advances in System Testing and Validation Lifecycle, Lisbon, Portugal.

Larsen, K. G. (2012). The Cell Probe Complexity of Dynamic Range Counting. In STOC’12 : Proceedings of the 44th symposium on Theory of Computing (pp. 85-94). Association for Computing Machinery. https://doi.org/10.1145/2213977.2213987

Toftkjær, T. & Kjærgaard, M. B. (2012). The impact of sensor errors and building structures on particle filter-based inertial positioning. Pervasive and Mobile Computing, 8(5), 764–776. https://doi.org/10.1016/j.pmcj.2011.07.001

Kölker, J. (2012). The Magnets Puzzle is NP-Complete. Journal of Information Processing, 20(3), 707-708 . https://doi.org/10.2197/ipsjjip.20.707

Christensen, H. B. (2012). The Net4Care Platform. http://www.net4care.org

Balasch, J., Faust, S., Gierlichs, B. & Verbauwhede, I. (2012). Theory and Practice of a Leakage Resilient Masking Scheme. Lecture Notes in Computer Science, 7658, 758-775. https://doi.org/10.1007/978-3-642-34961-4_45

Keller, M. (2012). Theory and practice of cryptographic protocols -or- cryptography: will it blend? Department of Computer Science, Aarhus University.

Afshani, P., Afrawal, M., Benjamin, D., Larsen, K. G., Mehlhorn, K. & Winzen, C. (2012). The Query Complexity of Finding a Hidden Permutation. Electronic Colloquium on Computational Complexity, (TR12-087). http://eccc.hpi-web.de/report/2012/087/

Sun, X., Wang, C. & Yu, W. (2012). The Relationship between Inner Product and Counting Cycles. Lecture Notes in Computer Science, 7256, 643-654. https://doi.org/10.1007/978-3-642-29344-3_54

Jensen, K., Kristensen, L. M. & Mailund, T. (2012). The sweep-line state space exploration method. Theoretical Computer Science, 429, 169–179. https://doi.org/10.1016/j.tcs.2011.12.036

Displaying results 2951 to 3000 out of 5993

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University