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

Brody, J. E., Chakrabarti, A., McGregor, A. & Kondapally, R. (2012). Certifying Equality With Limited Interaction. Electronic Colloquium on Computational Complexity, (TR12-153 ). http://eccc.hpi-web.de/report/2012/153/

Kjærgaard, M. B. & Nurmi, P. (2012). Challenges for Social Sensing using WiFi Signals. In Proceedings of the 1st ACM workshop on Mobile systems for computational social science, MCSS '12 (pp. 17-21 ). Association for Computing Machinery. https://doi.org/10.1145/2307863.2307869

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2012). Challenges in Blood Pressure Self-Measurement. International Journal of Telemedicine and Applications, 2012. https://doi.org/10.1155/2012/437350

Sandel, B. S. & Dangremond, E. (2012). Climate change and the invasion of California by grasses. Global Change Biology, 18(1), 277.

Assent, I. (2012). Clustering high dimensional data. Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery, 2(4), 340-350. https://doi.org/10.1002/widm.1062

Damgård, I. B. & Zakarias, S. N. H. (2012). Constant-Overhead Secure Computation of Boolean Circuits using Preprocessing. Cryptology ePrint Archive. http://eprint.iacr.org/2012/512

Pastro, V. (2012). Construction of rational elliptic surfaces with Mordell-Weil rank four. Commentarii Mathematici Universitatis Sancti Pauli, 61(1), 29-42.

Wagner, S. R., Rasmussen, N. H., Ahrendt, P., Toftegaard, T. S. & Bertelsen, O. W. (2012). Context classification during blood pressure self-measurement using the sensor seat and the audio classification device. In The 6th International Conference on Pervasive Computing Technologies for Healthcare and Workshops (pp. 201 - 202 ). ICST, The Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6240390

Chan, H.-L., Lam, T.-W., Lee, L. K. & Ting, H.-F. (2012). Continuous monitoring of distributed data streams over a time-based sliding window. Algorithmica, 62(3-4), 1088-1111 . https://doi.org/10.1007/s00453-011-9506-5

Graham, C., Muthukrishnan, S., Yi, K. & Zhang, Q. (2012). Continuous sampling from distributed streams: Article No.: 10. Journal of the ACM, 59(2). https://doi.org/10.1145/2160158.2160163

Rasmusson, A. (2012). Contributions to computational stereology and parallel programming. Department of Computer Science, Aarhus University.

Midtgaard, J. (2012). Control-flow analysis of functional programs. A C M Computing Surveys, 44(3), 10:1 - 10:33. https://doi.org/10.1145/2187671.2187672

Midtgaard, J. & Jensen, T. P. (2012). Control-flow analysis of function calls and returns by abstract interpretation. Information and Computation, 211, 49-76. https://doi.org/10.1016/j.ic.2011.11.005

Rossi, L. & Magnani, M. (2012). Conversation practices and network structure in Twitter. In Proceedings of the Sixth International Conference on Weblogs and Social Media (pp. 563-566). AAAI Press. http://www.aaai.org/ocs/index.php/ICWSM/ICWSM12/paper/view/4634

Magnani, M., Montesi, D. & Rossi, L. (2012). Conversation Retrieval from Microblogging Sites. Information Retrieval, 15(3-4), 354-372. https://doi.org/10.1007/s10791-012-9189-9

Li , X., Karras, P. & Jensen, C. S. (2012). Cooperative Scalable Moving Continuous Query Processing. In Proceedings of the 13th International Conference on Mobile Data Management, MDM (pp. 69 - 78 ). IEEE Press. https://doi.org/10.1109/MDM.2012.20

Funder, J. L. (2012). Cryptography with Quantum Mechanics. Department of Computer Science, Aarhus University.

Cujia, K., Wirz, M., Kjærgaard, M. B., Roggen, D. & Tröster, G. (2012). DactyLoc : A minimally geo-referenced WiFi+GSM-fingerprint-based localization method for positioning in urban spaces. In C. Rizos, A. Dempster, B. Li & T. Gallagher (Eds.), Proceedings of the 3rd International Conference on Indoor Positioning and Indoor Navigation (IPIN), 2012 (pp. 1-9). IEEE. https://doi.org/10.1109/IPIN.2012.6418923

Jensen, C. S. (2012). Data management on the spatial web. Proceedings of the VLDB Endowment, 5(12), 1696-1696 . http://dl.acm.org/citation.cfm?id=2367504

Chen, S., Verbin, E. & Yu, W. (2012). Data Structure Lower Bounds on Random Access to Grammar-Compressed Strings. http://arxiv.org/abs/1203.1080

Cramer, R., Damgård, I. B., Kiltz, E., Zakarias, S. N. H. & Zottarel, A. (2012). DDH-Like Assumptions Based on Extension Rings. Lecture Notes in Computer Science, 7293, 644-661 . https://doi.org/10.1007/978-3-642-30057-8_38

Verdezoto, N. & Grönvall, E. (2012). Designing a Tablet Touch-Screen Interface for Older Adults. Paper presented at How to Design Touch Interfaces for and with Older Adults: Identification of Challenges and Opportunities, Copenhagen, Denmark. http://workshops.icts.sbg.ac.at/NordiCHI2012/papers/Verdezoto_et_al.pdf

Bertelsen, O. W. & Kramp, G. (2012, May 5). Designing for Anxiety Therapy, Bridging Clinical and Non-Clinical. Association for Computing Machinery. http://www.ics.uci.edu/~yunanc/chi2012health/

Grønbæk, K., Kortbek, K. J., Christensen, C. M., Nielsen, J. & Stenfeldt, L. (2012). Designing Playful Interactive Installations for Urban Environments - The SwingScape Experience. Lecture Notes in Computer Science, 7624, 230-245 . https://doi.org/10.1007/978-3-642-34292-9_16

Kjærgaard, M. B., Wirz, M., Roggen, D. & Tröster, G. (2012). Detecting Pedestrian Flocks by Fusion of Multi-Modal Sensors in Mobile Phones. In Proceedings of the 2012 ACM Conference on Ubiquitous Computing (pp. 240-249). Association for Computing Machinery. https://doi.org/10.1145/2370216.2370256

Andersson, K. O. D., Hansen, K. A., Miltersen, P. B. & Sørensen, T. B. (2012). Deterministic Graphical Games Revisited. Journal of Logic and Computation, 22(2), 165-178. https://doi.org/10.1093/logcom/exq001

Akavia, A., Goldwasser, S. & Hazay, C. (2012). Distributed public key schemes secure against continual leakage. In Proceedings of the 2012 ACM symposium on Principles of Distributed Computing, PODC (pp. 155-164 ). Association for Computing Machinery. https://doi.org/10.1145/2332432.2332462

Schraefel, M. C., Rouncefield, M., Kellogg, W., Ackerman, M., Marsden, G., Bødker, S., Wyche, S. & Reddy, M. (2012). Domain crossing: how much expertise is enough? In S. Poltrock & C. Simone (Eds.), CSCW’12 : Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work Companion (pp. 29-32). Association for Computing Machinery. https://doi.org/10.1145/2141512.2141529

Bødker, S. & Klokmose, C. N. (2012). Dynamics in artifact ecologies. In NordiCHI '12 : Proceedings of the 7th Nordic Conference on Human-Computer Interaction: Making Sense Through Design (pp. 448-457 ). Association for Computing Machinery. https://doi.org/10.1145/2399016.2399085

Guo, C., Ma, M., Yang, B., Jensen, C. S. & Kaul, M. (2012). EcoMark: Evaluating Models of Vehicular Environmental Impact. In I. Cruz & C. Knoblock (Eds.), Proceedings of the 20th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems: ACM SIGSPATIAL GIS 2012 (pp. 269-278). Association for Computing Machinery. https://doi.org/10.1145/2424321.2424356

Jensen, C. S., Thomsen, J. R. & Yiu, M. L. (2012). Effective caching of shortest paths for location-based services. In Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data (pp. 313-324 ). Association for Computing Machinery. https://doi.org/10.1145/2213836.2213872

Jowhari, H. (2012). Efficient Communication Protocols for Deciding Edit Distance. Lecture Notes in Computer Science, 7501, 648-658 . https://doi.org/10.1007/978-3-642-33090-2_56

Tsirogiannis, C., Sandel, B. S. & Cheliotis, D. (2012). Efficient Computation of Popular Phylogenetic Tree Measures. Lecture Notes in Computer Science, 7534, 30-43. https://doi.org/10.1007/978-3-642-33122-0_3

Hazay, C., Mikkelsen, G. L., Rabin, T. & Toft, T. (2012). Efficient RSA Key Generation and Threshold Paillier in the Two-Party Setting. Lecture Notes in Computer Science, 7178, 313-331. https://doi.org/10.1007/978-3-642-27954-6_20

Hazay, C. & Nissim , K. (2012). Efficient Set Operations in the Presence of Malicious Adversaries. Journal of Cryptology, 25(3), 383-433 . https://doi.org/10.1007/s00145-011-9098-x

Mikkelsen, G. L., Keller, M. & Rupp, A. (2012). Efficient Threshold Zero-Knowledge with Applications to User-Centric Protocols. Lecture Notes in Computer Science, 7412, 147-166 . https://doi.org/10.1007/978-3-642-32284-6_9

Ribeiro, M., Tolêdo , T., Winther, J., Brabrand, C. & Borba, P. (2012). Emergo : a tool for improving maintainability of preprocessor-based product lines. In Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion, AOSD Companion '12 (pp. 23-26 ). Association for Computing Machinery. https://doi.org/10.1145/2162110.2162128

Gupta, V., Markmann, K., Pedersen, C. N. S., Stougaard, J. & Andersen, S. U. (2012). shortran: A pipeline for small RNA-seq data analysis. Bioinformatics, 28(20), 2698-2700. https://doi.org/10.1093/bioinformatics/bts496

Christensen, H. B. (2012). En model for programmer. Datalogisk Institut, Aarhus Universitet.

Ateniese, G., Dagdelen, Ö., Damgård, I. B. & Venturi, D. (2012). Entangled Cloud Storage. http://eprint.iacr.org/2012/511

Branzei, S., Forero, C., Larson, K. & Miltersen, P. B. (2012). Equilibria of Chinese Auctions. arxiv.org. http://arxiv.org/abs/1208.0296

Deng, X. & Zhang, J. (2012). Equiseparability on Terminal Wiener Index. Applied Mathematics Letters, 25(3), 580-585. https://doi.org/10.1016/j.aml.2011.09.063

De Fraine, B., Ernst, E. & Südholt, M. (2012). Essential AOP: The A Calculus. A C M Transactions on Programming Languages and Systems, 34(3), Art. 12: 1-43. https://doi.org/10.1145/2362389.2362391

Blunck, H., Kjærgaard, M. B. & Melchior, C. (2012). Evaluating energy consumption of sensing algorithms - solely via models?. Poster session presented at The 10th International Conference on Mobile Systems, Applications, and Services, Ambleside, United Kingdom. https://doi.org/10.1145/2307636.2307707

Pedersen, C. N. S., Axelsen, K. B., Harper, J. F. & Palmgren, M. G. (2012). Evolution of plant P-type ATPases. Frontiers in Plant Science, 21. https://doi.org/10.3389/fpls.2012.00031

Hansen, K. A., Koucky, M., Lauritzen, N., Miltersen, P. B. & Tsigaridas, E. (2012). Exact Algorithms for Solving Stochastic Games. http://arxiv.org/abs/1202.3898

Verdezoto, N., Grönvall, E., Vincentz, S. & Rostgaard Thielsen, S. (2012). Exploring Challenges of Self-Monitoring for Senior Adults. Paper presented at Bridging Clinical and Non-clinical Health Practices: Opportunities and Challenges, Austin, Texas, United States. http://www.ics.uci.edu/~yunanc/chi2012health/Downloads/Verdezoto.pdf

Walderveen, F. V. (2012). External Memory Graph Algorithms and Range Searching Data Structures. Department of Computer Science, Aarhus University.

Arge, L. A., Brodal, G. S. & Satti, S. R. (2012). External Memory Planar Point Location with Logarithmic Updates. Algorithmica, 63(1-2), 457-475. https://doi.org/10.1007/s00453-011-9541-2

Arge, L., Haverkort, H. & Tsirogiannis, C. (2012). Fast generation of multiple resolution instances of raster data sets. In I. Cruz & C. Knoblock (Eds.), Proceedings of the 20th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems: ACM SIGSPATIAL GIS 2012 (pp. 52-60). Association for Computing Machinery. https://doi.org/10.1145/2424321.2424329

Displaying results 2601 to 2650 out of 5776

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University