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

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

Jensen, C. S., Ofek, E. & Tanin, E. (2012). Highlights from ACM SIGSPATIAL GIS 2011: the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems: (Chicago, Illinois - November 1 - 4, 2011). SIGSPATIAL Special, 4(1), 2-4. https://doi.org/10.1145/2189403.2189404

Bogdanov, D., Niitsoo, M., Toft, T. & Willemson, J. (2012). High-performance secure multi-party computation for data mining applications. International Journal of Information Security, 11(6), 403-418 . https://doi.org/10.1007/s10207-012-0177-2

Deleuran, L. K. (2012). Homotopic Polygonal Line Simplification. Department of Computer Science, University of Aarhus, Denmark.

Lynggaard, A. B., Petersen, M. G. & Hepworth, S. (2012). "I had a dream and i built it": power and self-staging in ubiquitous high-end homes. In CHI EA '12 : CHI '12 Extended Abstracts on Human Factors in Computing Systems (pp. 201-210). Association for Computing Machinery. https://doi.org/10.1145/2212776.2212798

Damgård, I. B., Keller, M., Keller, E., Miles, C. & Smart, N. P. (2012). Implementing AES via an Actively/Covertly Secure Dishonest-Majority MPC Protocol. Lecture Notes in Computer Science, 7485, 241-263. https://doi.org/10.1007/978-3-642-32928-9_14

Displaying results 2501 to 2550 out of 5664

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University