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

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

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

Displaying results 2551 to 2600 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