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

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. Aarhus University.

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

Afshani, P. (2012). Improved pointer machine and I/O lower bounds for simplex range reporting and related problems. In Proceedings of the 2012 Symposuim on Computational Geometry, SoCG (pp. 339-346 ). Association for Computing Machinery. https://doi.org/10.1145/2261250.2261301

Larsen, K. G. & Nguyen, H. L. (2012). Improved Range Searching Lower Bounds. In Proceedings of the 2012 symposuim on Computational Geometry: Chapel Hill, NC, USA — June 17 - 20, 2012 (pp. 171-178). Association for Computing Machinery. https://doi.org/10.1145/2261250.2261275

Winther, J. (2012). Improving Precision of Generated ASTs. Paper presented at 12th International Workshop on Language Descriptions, Tools, and Applications, Tallinn, Estonia.

Winther, J. (2012). Improving Precision of Types. Department of Computer Science, Aarhus University.

Andreasen, E., Feldthaus, A., Jensen, S. H., Jensen, C. S., Jonsson, P. A., Madsen, M. & Møller, A. (2012). Improving Tools for JavaScript Programmers (Position Paper). Paper presented at International Workshop on Scripts to Programs, Beijing, China. http://cs.au.dk/~amoeller/papers/stop/

Chen, N., Deng, X., Zhang, H. & Zhang, J. (2012). Incentive Ratios of Fisher Markets. Lecture Notes in Computer Science, 7392, 464-475 . https://doi.org/10.1007/978-3-642-31585-5_42

Schougaard, K. R., Grønbæk, K. & Scharling, T. (2012). Indoor Pedestrian Navigation Based on Hybrid Route Planning and Location Modeling. Lecture Notes in Computer Science, 7319, 289-306. https://doi.org/10.1007/978-3-642-31205-2_18

Kaptelinin, V. & Bannon, L. J. (2012). Interaction Design Beyond the Product : Creating Technology-Enhanced Activity Spaces. Human-Computer Interaction, 27(3), 277-309. http://www.tandfonline.com/doi/abs/10.1080/07370024.2011.646930#tabModule

Larsen, K. G. & Pagh, R. (2012). I/O-Efficient Data Structures for Colored Range and Prefix Reporting. The Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings, 23, 583-592. http://siam.omnibooksonline.com/2012SODA/index.html

Kejlberg-Rasmussen, C., Tsakalidis, K. & Tsichlas, K. (2012). I/O-Efficient Dynamic Planar Range Skyline Queries. arxiv.org. http://arxiv.org/abs/1207.2341

Kölker, J. (2012). I/O-efficient multiparty computation, formulaic secret sharing and np-complete puzzles. Department of Computer Science, Aarhus University.

Arge, L. & Larsen, K. G. (2012). I/O-Efficient Spatial Data Structures for Range Queries. SIGSPATIAL Special, 4(2), 2-7. http://www.sigspatial.org/sigspatial-special-issues/SIGSPATIALSpecialVol4No2.pdf

Damgård, I. B. & Park, S. (2012). Is Public-Key Encryption Based on LPN Practical? http://eprint.iacr.org/2012/699

Mortensen, D. H., Hepworth, S. J., Berg, K. S. & Petersen, M. G. (2012). "It's in Love with You". Communicating Status and Preference with Simple Product Movements. In CHI EA '12: Extended abstracts on Human Factors in Computing Systems (pp. 61-70). Association for Computing Machinery. https://doi.org/10.1145/2212776.2212784

Wu, D., Yiu, M. L., Cong, G. & Jensen, C. S. (2012). Joint Top-K Spatial Keyword Query Processing. I E E E Transactions on Knowledge & Data Engineering, 24(10), 1889 - 1903 . https://doi.org/10.1109/TKDE.2011.172

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

Displaying results 2601 to 2650 out of 5737

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University