Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

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

Vermeulen, J., Kawsar, F., Simeone, A. L., Kortuem, G., Luyten, K. & Coninx, K. (2012). Informing the design of situated glyphs for a care facility. I 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012 (s. 89-96) https://doi.org/10.1109/VLHCC.2012.6344490

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. I CHI EA '12: Extended abstracts on Human Factors in Computing Systems (s. 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. I ITiCSE '12 Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education (s. 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. I UbiComp '12 : Proceedings of the 2012 ACM Conference on Ubiquitous Computing (s. 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

Sarno, G., Lagerqvist, B., Fröbert, O., Nilsson, J., Olivecrona, G., Omerovic, E., Saleh, N., Venetzanos, D. & James, S. (2012). Lower risk of stent thrombosis and restenosis with unrestricted use of 'new-generation' drug-eluting stents: A report from the nationwide Swedish Coronary Angiography and Angioplasty Registry (SCAAR). European Heart Journal, 33(5), 606-613. https://doi.org/10.1093/eurheartj/ehr479

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. I Web Technologies and Applications: 14th Asia-Pacific Web Conference, APWeb 2012, Kunming, China, April 11-13, 2012. Proceedings (s. 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. I J. Simonsen & T. Robertson (red.), Routledge International Handbook of Participatory Design (s. 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. I IEEE International Conference on Pervasive Computing and Communications (PerCom) (s. 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

Streit, M., Schulz, H.-J., Lex, A., Schmalstieg, D. & Schumann, H. (2012). Model-Driven Design for the Visual Analysis of Heterogeneous Data. IEEE Transactions on Visualization and Computer Graphics, 18(6), 998-1010. https://doi.org/10.1109/TVCG.2011.108

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. I E. Müller, T. Seidl & A. Zimek (red.), 2012 SIAM International Conference on Data Mining: 3rd MultiClust Workshop: Discovering, Summarizing and Using Multiple Clusterings (s. 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. Afhandling præsenteret på ACM-SIAM symposium on Disrete Algorithms, New Orleans, USA.

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. Softwareprogram . http://www.net4care.org

Christensen, H. B. & Hansen, K. M. (2012). Net4Care : Towards a Mission-Critical Software Ecosystem. I Joint Working IEEE/IFIP Conference on Software Architecture (WICSA) and European Conference on Software Architecture (ECSA), 2012 (s. 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. I Proceedings of the 24th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA (s. 246-254 ). Association for Computing Machinery. https://doi.org/10.1145/2312005.2312050

Hoggan, E. & Brewster, S. (2012). Nonspeech auditory and crossmodal output. The Human-Computer Interaction Handbook: Fundamentals, Evolving Technologies and Emerging Applications, 211-236.

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. I 2012 IFIP Wireless Days (WD) (s. 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. I Mobile and Ubiquitous Systems: Computing, Networking, and Services: 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers (s. 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

Brodal, G. S., Davoodi, P. & Rao, S. S. (2012). On Space Efficient Two Dimensional Range Minimum Data Structures. Algorithmica, 63(4), 815-830. https://doi.org/10.1007/s00453-011-9499-0

Cramer, R., Damgård, I. B. & Pastro, V. (2012). On the Amortized Complexity of Zero Knowledge Protocols for Multiplicative Relations. Lecture Notes in Computer Science, 7412, 62-79 . https://doi.org/10.1007/978-3-642-32284-6_4

Viser resultater 2851 til 2900 ud af 6063

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series