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

Kjærgaard, M. B. (2012). On Improving the Energy Efficiency and Robustness of Position Tracking for Mobile Devices. In Mobile and Ubiquitous Systems: Computing, Networking, and Services: 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers (pp. 162-173 ). Springer. https://doi.org/10.1007/978-3-642-29154-8_14

Danvy, O., Millikin, K., Munk, J. & Zerny, I. (2012). On Inter-deriving Small-step and Big-step Semantics: A Case Study for Storeless Call-by-need Evaluation. Theoretical Computer Science, 435, 21–42. https://doi.org/10.1016/j.tcs.2012.02.023

Brodal, G. S., Moruz, G. & Negoescu, A. (2012). OnlineMin: A Fast Strongly Competitive Randomized Paging Algorithm. Lecture Notes in Computer Science, 7164, 164-175 . https://doi.org/10.1007/978-3-642-29116-6_14

Babka, M., Bulánek, J., Cunat, V., Koucky, M. & Saks, M. (2012). On Online Labeling with Polynomially Many Labels. Lecture Notes in Computer Science, 7501, 121-132 . https://doi.org/10.1007/978-3-642-33090-2_12

Dahl, M., Ning, C. & Toft, T. (2012). On Secure Two-Party Integer Division. Lecture Notes in Computer Science, 7397, 164-178 . https://doi.org/10.1007/978-3-642-32946-3_13

Brodal, G. S., Davoodi, P. & Rao, S. S. (2012). On Space Efficient Two Dimensional Range Minimum Data Structures. Algorithmica, 63(4), 815-830. https://doi.org/10.1007/s00453-011-9499-0

Cramer, R., Damgård, I. B. & Pastro, V. (2012). On the Amortized Complexity of Zero Knowledge Protocols for Multiplicative Relations. Lecture Notes in Computer Science, 7412, 62-79 . https://doi.org/10.1007/978-3-642-32284-6_4

Klokmose, C. N. & Korn, M. (2012). On the Degree of Participant Commitment in Non-Work Settings. Paper presented at Workshop on Participation - basic concepts and research challenges at PDC 2012, Roskilde, Denmark. http://pdc2012.org/index.html

Faust, S., Kohlweiss, M., Marson, G. A. & Venturi, D. (2012). On the Non-malleability of the Fiat-Shamir Transform. Lecture Notes in Computer Science, 7668, 60-79 . https://doi.org/10.1007/978-3-642-34931-7_5

Verdezoto, N. & Grönvall, E. (2012). Opportunities to Support Medication Intake across Boundaries of Care. Paper presented at Designing for Self-Care Acknowledging the Home-Clinic Difference, Copenhagen, Denmark. http://users-cs.au.dk/gronvall/nordichi_rehab2012/accepted.html

Muller, E., Assent, I., Iglesias, P., Mülle, Y. & Böhm, K. B. (2012). Outlier Ranking via Subspace Analysis in Multiple Views of the Data. In Proceedings of the 12th IEEE International Conference on Data Mining, ICDM (pp. 529 - 538 ). IEEE Communications Society. https://doi.org/10.1109/ICDM.2012.112

Christensen, B. B., Nielsen, M. B. & Museth, K. (2012). Out-of-Core Computations of High-Resolution Level Sets by Means of Code Transformation. Journal of Scientific Computing, 50(2), 368-404. https://doi.org/10.1007/s10915-011-9488-0

Yiu, M. L., Assent, I. & Jensen, C. S. (2012). Outsourced Similarity Search on Metric Data Assets. I E E E Transactions on Knowledge & Data Engineering, 24(2), 338-352. https://doi.org/10.1109/TKDE.2010.222

Šidlauskas, D., Šaltenis, S. & Jensen, C. S. (2012). Parallel main-memory indexing for moving-object query and update workloads. In Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data (pp. 37-48 ). Association for Computing Machinery. https://doi.org/10.1145/2213836.2213842

Lee, L.-K., Lewenstein, M. & Zhang, Q. (2012). Parikh Matching in the Streaming Model. Lecture Notes in Computer Science, 7608, 336-341. https://doi.org/10.1007/978-3-642-34109-0_35

Verdezoto, N. & Olsen, J. W. (2012). Personalized Medication Management: Towards a Design of Individualized Support for Elderly Citizens at Home. In Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium (IHI2012) (pp. 813-817). Association for Computing Machinery. https://doi.org/10.1145/2110363.2110463

Bødker, S., Christiansen, E. T., Nyvang, T. & Zander, P.-O. (2012). Personas, people and participation–challenges from the trenches of local government. P D C, 2012(1), 91-100. https://doi.org/10.1145/2347635.2347649

Bødker, S. & Christiansen, E. T. (2012). Poetry in motion: appropriation of the world of Apps. In P. Turner & S. Turner (Eds.), Proceedings of the 30th European Conference on Cognitive Ergonomics, ECCE '12 (pp. 78-84). Association for Computing Machinery. https://doi.org/10.1145/2448136.2448152

Kjærgaard, M. B. & Weckemann, K. (2012). PosQ : Unsupervised Fingerprinting and Visualization of GPS Positioning Quality. In M. Gris & G. Yang (Eds.), Mobile Computing, Applications, and Services: Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers (pp. 176-194 ). Springer. https://doi.org/10.1007/978-3-642-29336-8_10

Sükösd, Z., Knudsen, B., Kjems, J. & Pedersen, C. N. S. (2012). PPfold 3.0: fast RNA secondary structure prediction using phylogeny and auxiliary data. Bioinformatics, 28(20), 2691-2692. https://doi.org/10.1093/bioinformatics/bts488

Faust, S., Pietrzak, K. & Schipper, J. (2012). Practical Leakage-Resilient Symmetric Cryptography. Lecture Notes in Computer Science, 7428, 213-232 . https://doi.org/10.1007/978-3-642-33027-8_13

Sandom, C. J., Sandel, B. S., Dalby, L., Kissling, W. D., Nielsen, K. T., Fløjgaard, C., Lenoir, J., Ejrnæs, R. & Svenning, J.-C. (2012). Predator-prey interactions as macro-scale drivers of species diversity in mammals. Abstract from Ecological Society of America, 97th Annual Meeting, Portland, United States. http://eco.confex.com/eco/2012/webprogram/Paper37320.html

Midtgaard, J. & Might, M. (2012). Preface. Elsevier. https://doi.org/10.1016/j.entcs.2012.09.001

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

Displaying results 2851 to 2900 out of 5916

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University