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

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

Schaeffter, T., Hansen, M. S. & Sørensen, T. S. (2012). Fast Implementation of Iterative Image Reconstruction. Paper presented at International Society for Magnetic Resonance in Medicine, Melbourne, Australia. http://www.ismrm.org/12/SS_ImageRecon.htm

Brodal, G. S., Nielsen, J. A. S. & Truelsen, J. (2012). Finger Search in the Implicit Model. Lecture Notes in Computer Science, 7676, 527-536 . https://doi.org/10.1007/978-3-642-35261-4_55

Jensen, C. S. (2012). Foreword. In The Knowledge Grid : toward Cyber-Physical Society (2. ed., pp. 5). World Scientific.

Brodal, G. S., Sioutas, S., Tsakalidis, K. & Tsichlas, K. (2012). Fully Persistent B-trees. The Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings, 23, 602-614. http://delivery.acm.org.ez.statsbiblioteket.dk:2048/10.1145/2100000/2095167/p602-brodal.pdf?ip=130.225.27.190&acc=ACTIVE%20SERVICE&CFID=163115493&CFTOKEN=91446070&__acm__=1356816735_08b5a98a0788aa0b0163ee8e9fc7dce3

Hansen, M. S. & Sørensen, T. S. (2012). Gadgetron Users Guide : A Medical Image Reconstruction Framework. (Revision 1.0 ed.) SourceForge. http://sourceforge.net/projects/gadgetron/files/manual/gadgetron_manual_1.0.pdf/download

Magnussen, R., Hansen, S. D., Grønbæk, K., Mølmer, K. & Sherson, J. F. (2012). Game-based Research Collaboration applied to Science Education. Games+Learning+Society Conference Proceedings, 431-436.

Erkin, Z., Veugen, T., Toft, T. & Lagendijk, R. L. (2012). Generating Private Recommendations Efficiently Using Homomorphic Encryption and Data Packing. I E E E Transactions on Information Forensics and Security, 7(3), 1053 - 1066 . https://doi.org/10.1109/TIFS.2012.2190726

Hansen, A. B. & Midtgaard, J. (2012). Handling Overflow in MLton. Abstract from ACM SIGPLAN Workshop on ML, Copenhagen, Denmark. http://www.lexifi.com/ml2012/full8.pdf

Larsen, K. G. (2012). Higher Cell Probe Lower Bounds for Evaluating Polynomials. In FOCS'12: IEEE 53rd Annual Symposium on Foundations of Computer Science (pp. 293 - 301 ). IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2012.21

Arge, L., Afshani, P. & Larsen, K. G. (2012). Higher-dimensional Orthogonal Range Reporting and Rectangle Stabbing in the Pointer Machine Model. In Proceedings of the 2012 Symposuim on Computational Geometry (pp. 323-338). Association for Computing Machinery. https://doi.org/10.1145/2261250.2261299

Displaying results 2751 to 2800 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