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

Kölker, J. (2012). Kurodoko is NP-Complete. Journal of Information Processing, 20(3), 694-706 . https://doi.org/10.2197/ipsjjip.20.694

Dziembowski, S. & Faust, S. (2012). Leakage-Resilient Circuits without Computational Assumptions. Lecture Notes in Computer Science, 7194, 230-247 . https://doi.org/10.1007/978-3-642-28914-9_13

Damgård, I. B., Hazay, C. & Patra, A. (2012). Leakage Resilient Secure Two-Party Computation. http://eprint.iacr.org/2011/256

Christensen, H. B. & Corry, A. V. (2012). Lectures Abandoned: Active Learning by Active Seminars. In ITiCSE '12 Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education (pp. 16-21 ). Association for Computing Machinery. https://doi.org/10.1145/2325296.2325304

Ingesman, M. D. & Ernst, E. (2012). Lifted Java: A Minimal Calculus for Translation Polymorphism. Journal of Object Technology, 11(1), 1-23. https://doi.org/10.5381/jot.2012.11.1.a2

Chan, T. M., Durocher, S., Larsen, K. G., Morrison, J. & Wilkinson, B. T. (2012). Linear-Space Data Structures for Range Mode Query in Arrays. Leibniz International Proceedings in Informatics, 14, 290-301. https://doi.org/10.4230/LIPIcs.STACS.2012.290

Korn, M. & Bødker, S. (2012). Looking ahead – How field trials can work in iterative and exploratory design of ubicomp systems. In UbiComp '12 : Proceedings of the 2012 ACM Conference on Ubiquitous Computing (pp. 21-30). Association for Computing Machinery. https://doi.org/10.1145/2370216.2370221

Phillips, J., Verbin, E. & Zhang, Q. (2012). Lower Bounds for Number-in-Hand Multiparty Communication Complexity, Made Easy. The Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings, 23, 486-501. http://delivery.acm.org.ez.statsbiblioteket.dk:2048/10.1145/2100000/2095158/p486-phillips.pdf?ip=130.225.27.190&acc=ACTIVE%20SERVICE&CFID=163115493&CFTOKEN=91446070&__acm__=1356809475_fd9644b3144bb0145788980a11fea592

Afshani, P. & Zeh, N. (2012). Lower Bounds for Sorted Geometric Queries in the I/O Model. Lecture Notes in Computer Science, 7501, 48-59 . https://doi.org/10.1007/978-3-642-33090-2_6

Hansen, M. T. (2012). Low-Power Wireless Sensor Network Infrastructures. Department of Computer Science, Aarhus University.

Branzei, S., Michalak, T., Rahwan, T., Larson, K. & Jennings, N. R. (2012). Matching Games with Additive Externalities. http://arxiv.org/abs/1207.3682

Dam, P., Lynge Andersen, J., Dalgaard, L. G., Grönvall, E., Herborg, H., Pedersen, A., Rossing, C. & Vittrup, C. (2012). Medicin bestemmer hverdagen. Tidsskrift for Dansk Sundhedsvaesen, 88(5), 34-41.

Sheng, Q. Z., Wang, G. & Jensen, C. S. (2012). Message from the Program Chairs. In Web Technologies and Applications: 14th Asia-Pacific Web Conference, APWeb 2012, Kunming, China, April 11-13, 2012. Proceedings (pp. VI). Springer. https://doi.org/10.1007/978-3-642-29253-8

Bratteteig, T., Bødker, K., Dittrich, Y., Mogensen, P. H. & Simonsen, J. (2012). Methods: Organizing Principles and General Guidelines for Participatory Design Projects. In J. Simonsen & T. Robertson (Eds.), Routledge International Handbook of Participatory Design (pp. 117-144). Routledge.

Kjærgaard, M. B. (2012). Minimizing the Power Consumption of Location-Based Services on Mobile Phones. I E E E Pervasive Computing, 11(1), 67-73. https://doi.org/10.1109/MPRV.2010.47

Britz, D., Østerby, O. & Strutwolf, J. (2012). Minimum grid digital simulation of chronoamperometry at a disk electrode. Electrochimica Acta, 78, 365-376.

Kjærgaard, M. B., Wirz, M., Roggen, D. & Tröster, G. (2012). Mobile Sensing of Pedestrian Flocks in Indoor Environments using WiFi Signals. In IEEE International Conference on Pervasive Computing and Communications (PerCom) (pp. 95 - 102 ). IEEE. https://doi.org/10.1109/PerCom.2012.6199854

Hansen, F. A., Kortbek, K. J. & Grønbæk, K. (2012). Mobile Urban Drama - Interactive Storytelling in Real World Environments. New Review of Hypermedia and Multimedia, 18(1-2), 63-89. https://doi.org/10.1080/13614568.2012.617842

Bødker, S., Mathiasen, N. R. & Petersen, M. G. (2012). Modeling Is Not the Answer! Designing for Usable Security. interactions, 19(5), 54-57. https://doi.org/10.1145/2334184.2334197

Damgård, I. B., Pastro, V., Smart, N. & Zakarias, S. N. H. (2012). Multiparty computation from somewhat homomorphic encryption. Lecture Notes in Computer Science, 7417, 643-662. https://doi.org/10.1007/978-3-642-32009-5_38

Dang, X.-H., Assent, I. & Bailey, J. (2012). Multiple Clustering Views via Constrained Projections. In E. Müller, T. Seidl & A. Zimek (Eds.), 2012 SIAM International Conference on Data Mining: 3rd MultiClust Workshop: Discovering, Summarizing and Using Multiple Clusterings (pp. 23-30). Society for Industrial and Applied Mathematics. http://siam.omnibooksonline.com/2012datamining/data/papers/WS06.pdf

Rossi, L. & Magnani, M. (2012). Multi-Stratum Networks: toward a unified model of on-line identities. http://arxiv.org/abs/1211.0169

Beaudouin-Lafon, M., Chapuis, O., Eagan, J. R., Gjerlufsen, T., Huot, S., Klokmose, C. N., Mackay, W., Nancel, M., Pietriga, E., Pillias, C., Primet, R. & Wagner, J. (2012). Multi-surface Interaction in the WILD Room. Computer, 45(4), 48-56. https://doi.org/10.1109/MC.2012.110

Arge, L., Walderveen, F. V. & Zeh, N. (2012). Multiway simple cycle separators and I/O-efficient algorithms for planar graphs. Paper presented at ACM-SIAM symposium on Disrete Algorithms, New Orleans, United States.

Christensen, H. B., Hansen, K. M., Rasmussen, M. & Manikos, K. (2012). Net4Care Ecosystem Website. http://www.net4care.org

Christensen, H. B. & Hansen, K. M. (2012). Net4Care platform. Computer programme . http://www.net4care.org

Christensen, H. B. & Hansen, K. M. (2012). Net4Care : Towards a Mission-Critical Software Ecosystem. In Joint Working IEEE/IFIP Conference on Software Architecture (WICSA) and European Conference on Software Architecture (ECSA), 2012 (pp. 224 - 228 ). IEEE Communications Society. https://doi.org/10.1109/WICSA-ECSA.212.34

Chan, H.-L., Chan, S.-H., Lam, T.-W., Lee, L. K. & Zhu, J. (2012). Non-clairvoyant weighted flow time scheduling with rejection penalty. In Proceedings of the 24th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA (pp. 246-254 ). Association for Computing Machinery. https://doi.org/10.1145/2312005.2312050

Moad, S., Hansen, M. T., Jurdak, R., Kusy, B., Bouabdallah, N. & Ksentini, A. (2012). On balancing between minimum energy and minimum delay with radio diversity for wireless sensor networks. In 2012 IFIP Wireless Days (WD) (pp. 1 - 6 ). IEEE Press. https://doi.org/10.1109/WD.2012.6402840

Klinc, D., Hazay, C., Jagmohan, A., Krawczyk, H. & Rabin, T. (2012). On compression of data encrypted with block ciphers. I E E E Transactions on Information Theory, 58(11), 6989-7001. https://doi.org/10.1109/TIT.2012.2210752

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

Displaying results 2801 to 2850 out of 5896

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University