Publikationer

Søg publikationer fra Institut for Datalogi

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

Baniukevic, A., Jensen, C. S. & Lu, H. (2013). Hybrid Indoor Positioning with Wi-Fi and Bluetooth: Architecture and Performance . I IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:1 ) (s. 207 - 216 ). IEEE. https://doi.org/10.1109/MDM.2013.30

Radaelli, L., Sabonis, D., Lu, H. & Jensen, C. S. (2013). Identifying Typical Movements Among Indoor Objects: Concepts and Empirical Study. I IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:1 ) (s. 197 - 206 ). IEEE. https://doi.org/10.1109/MDM.2013.29

Kjærgaard, M. B., Krarup, M. V., Stisen, A., Prentow, T. S., Blunck, H., Grønbæk, K. & Jensen, C. S. (2013). Indoor Positioning using Wi-Fi: How Well Is the Problem Understood?. Afhandling præsenteret på International Conference on Indoor Positioning and Indoor Navigation, Montbéliard, Frankrig.

Ceikute, V. (2013). Inferring Groups of Objects, Preferred Routes, and Facility Locations from Trajectories. Department of Computer Science, Aarhus University.

Athukorala, K., Hoggan, E., Lehtiö, A., Ruotsalo, T. & Jacucci, G. (2013). Information-seeking behaviors of computer scientists: Challenges for electronic literature search tools. Proceedings of the ASIST Annual Meeting, 50(1), 1-11.

Ernst, E. (2013). Inheritance versus parameterization. I M. Markku (red.), Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance, MASPEGHI '13 (s. 26-29 ). Association for Computing Machinery. https://doi.org/10.1145/2489828.2489832

Birkedal, L. & Mogelberg, R. E. (2013). Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes. Annual Symposium on Logic in Computer Science, 213-222. https://doi.org/10.1109/LICS.2013.27

Jensen, M. M., Grønbæk, K., Rasmussen, M. K., Thomassen, N., Andersen, J. & Nielsen, J. (2013). Interactive football training based on rebounders with hit position sensing and audio/light feedback. Abstract fra International Symposium on Computer Science in Sports, Istanbul, Tyrkiet.

Brabrand, C., Ribeiro, M., Tolêdo, T., Winther, J. & Borba, P. (2013). Intraprocedural dataflow analysis for software product lines. I G. T. Leavens , S. Chiba & É. Tanter (red.), Transactions on Aspect-Oriented Software Development X (s. 73-108). Springer VS. https://doi.org/10.1007/978-3-642-36964-3_3

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2013). Introducing the Adherence Strategy Engineering Framework (ASEF): Support for Developing Technology-based Self-care Solutions. Methods of Information in Medicine, 52(3), 220-230. https://doi.org/10.3414/ME12-01-0027

Pierce, J., Strengers, Y., Sengers, P. & Bødker, S. (2013). Introduction to the Special Issue on Practice-Oriented Approaches to Sustainable HCI. ACM Transactions on Computer-Human Interaction, 20(4), Artikel 20. https://doi.org/10.1145/2494260

Kejlberg-Rasmussen, C., Tao, Y., Tsakalidis, K., Tsichlas, K. & Yoon, J. (2013). I/O-Efficient Planar Range Skyline and Attrition Priority Queues. I R. Hull & W. Fan (red.), Proceedings of the 32nd symposium on Principles of database systems , PODS '13 (s. 103-114 ). Association for Computing Machinery. https://doi.org/10.1145/2463664.2465225

Yang, B., Fantini, E. N. & Jensen, C. S. (2013). iPark: Identifying Parking Spaces from Trajectories. I G. Guerrini & N. W. Paton (red.), Proceedings of The 16th International Conference on Extending Database Technology: EDBT 2013 (s. 705-708 ). Association for Computing Machinery. https://doi.org/10.1145/2452376.2452459

Rasmussen, M. K., Grönvall, E., Kinch, S. & Petersen, M. G. (2013). It’s alive, it’s magic, it’s in love with you: Opportunities, Challenges and Open Questions for Actuated Interfaces. I H. Shen, R. Smith, J. Paay, P. Calder & T. Wyeld (red.), Proceedings of the 25th Australian Computer-Human Interaction Conference: Augmentation, Application, Innovation, Collaboration. OzCHI '13 (s. 63-72). Association for Computing Machinery. https://doi.org/10.1145/2541016.2541033

Georgiev, I., Křivánek, J., Hachisuka, T., Nowrouzezahrai , D. & Jarosz, W. (2013). Joint importance sampling of low-order volumetric scattering. A C M Transactions on Graphics, (6), Artikel 164 . https://doi.org/10.1145/2508363.2508411

Christensen, H. B. (2013). Karibu: EcoSense Communication Framework. Softwareprogram . https://github.com/ecosense-au-dk/CommunicationFramework

Dalsgaard, P. & Eriksson, E. (2013). Large-scale participation: A case study of a participatory approach to developing a new public library. I CHI 2013: Changing Perspectives, Conference Proceedings - The 31st Annual CHI Conference on Human Factors in Computing Systems (s. 399-408) https://doi.org/10.1145/2470654.2470713

Bendlin, R. (2013). Lattice-based Cryptography: Threshold Protocols and Multiparty Computation. Department of Computer Science, Aarhus University.

Hazay, C., López-Alt, A., Wee, H. & Wichs, D. (2013). Leakage-resilient cryptography from minimal assumptions. I T. Johansson & P. Nguyen (red.), Leakage-Resilient Cryptography from Minimal Assumptions: 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings (s. 160-176). Springer VS. https://doi.org/10.1007/978-3-642-38348-9_10

Hubacek, P., Nielsen, J. B. & Rosen, A. (2013). Limits on the Power of Cryptographic Cheap Talk. I R. Canetti & J. A. Garay (red.), Advances in Cryptology – CRYPTO 2013: 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I (s. 277-297 ). Springer VS. https://doi.org/10.1007/978-3-642-40041-4_16

Polli, A. M., Korn, M. & Klokmose, C. N. (2013). Local Area Artworks: Collaborative Art Interpretation On-Site. I F. Mattern & S. Santini (red.), Proceedings of The 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp '13 Adjunct (s. 79-82). Association for Computing Machinery. https://doi.org/10.1145/2494091.2494114

Dang, X.-H., Micenková, B., Assent, I. & Ng, R. T. (2013). Local Outlier Detection with Interpretation. I H. Blockeel, K. Kersting , S. Nijssen & F. Železný (red.), Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part III (s. 304-320 ). Springer VS. https://doi.org/10.1007/978-3-642-40994-3_20

Rasmussen, M. (2013). Magical Realities in Interaction Design. I Proceedings of the 7th International Conference on Tangible, Embedded and Embodied Interaction, TEL '13 (s. 125-128 ). Association for Computing Machinery. https://doi.org/10.1145/2460625.2460644

Johnson, P. M., Xu, Y., Brewer, R. S., Moore, C. A., Lee, G. E. & Connell, A. (2013). Makahiki+WattDepot: An open source software stack for next generation energy research and education. I L. M. Hilty, B. Aebischer, G. Andersson & W. Lohmann (red.), Proceedings of the First Interntional Conference on Information and Communication Technologies for Sustainability (ICT4S) Akademia.edu. http://www.academia.edu/2911805/ICT4S_2013_Proceedings_of_the_First_International_Conference_on_Information_and_Communication_Technologies_for_Sustainability_ETH_Zurich_February_14-16_2013

Branzei, S., Michalak, T., Rahwan, T., Larson, K. & Jennings, N. (2013). Matchings with Externalities and Attitudes. I M. Gina & O. Shehory (red.), International Conference on Autonomous Agents and Multi-agent Systems, AAMAS '13 (s. 295-302 ). Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2484969&CFID=340403434&CFTOKEN=84711969

Wagner, S., Buus, N. H., Jespersen, B., Ahrendt, P., Bertelsen, O. W. & Toftegaard, T. S. (2013). Measurement adherence in the blood pressure self-measurement room. Telemedicine and e-Health, 19(11), 826-833. https://doi.org/10.1089/tmj.2013.0032, https://doi.org/10.1089/tmj.2013.0032

Dalgaard, L. G., Grönvall, E. & Verdezoto, N. (2013). MediFrame: A Tablet Application to Plan, Inform, Remind and Sustain Older Adults Medication Intake. I IEEE International Conference on Healthcare Informatics, IEEE ICHI 2013 (s. 36-45). IEEE. https://doi.org/10.1109/ICHI.2013.12

Agarwal , P. K., Graham , G., Huang, Z., Phillips, J., Wei, Z. & Yi, K. (2013). Mergeable summaries. A C M Transactions on Database Systems, 38(4), Artikel 26 . https://doi.org/10.1145/2500128

Jensen, C. S. (red.), Jermaine, C., Zhou, X. (red.), Kotagiri, R. (red.) & Ooi, B. C. (red.) (2013). Message from the ICDE 2013 Program Committee and General. I 2013 IEEE 29th International Conference on Data Engineering (ICDE), : Australia, April 8–11, 2013 (s. i-ii). IEEE Communications Society. http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6530811

Hu, H. (red.), Jensen, C. S. & Dingming , D. (red.) (2013). Message from the LBS n.0 Workshop Organizers. I IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:2 ) (s. xiii). IEEE. http://mdm2013.dico.unimi.it/

Wölfel, C. & Merritt, T. (2013). Method card design dimensions: A survey of card-based design tools. I P. Kotzé et al. (red.), Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I (s. 479-486). Springer VS. https://doi.org/10.1007/978-3-642-40483-2_34

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2013). Methods for Similarity-Based Virtual Screening. Computational and Structural Biotechnology Journal, 5(6). https://doi.org/10.5936/csbj.201302009

Frederiksen, T. K., Jakobsen, T. P., Nielsen, J. B., Nordholt, P. S. & Orlandi, C. (2013). MiniLEGO: Efficient secure two-party computation from general assumptions. I T. Johansson & P. Q. Nguyen (red.), Advances in Cryptology – EUROCRYPT 2013: 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings (s. 537-556). Springer VS. https://doi.org/10.1007/978-3-642-38348-9_32

Larsen, K. G. (2013). Models and Techniques for Proving Data Structure Lower Bounds. Department of Computer Science, Aarhus University.

Liu, K., Yang, B., Shang, S., Li, Y. & Ding, Z. (2013). MOIR/UOTS: Trip recommendation with user oriented trajectory search. I IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:1 ) (s. 335-337). IEEE. https://doi.org/10.1109/MDM.2013.49

Sergey, I., Devriese, D., Might, M., Midtgaard, J., Darais, D., Clarke, D. & Piessens, F. (2013). Monadic abstract interpreters. I H.-J. Boehm (red.), Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13 (s. 399-410). Association for Computing Machinery. https://doi.org/10.1145/2491956.2491979

Frederiksen, S. K. S. & Miltersen, P. B. (2013). Monomial strategies for concurrent reachability games and other stochastic games. I P. A. Abdulla & I. Potapov (red.), Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings (s. 122-134 ). Springer VS. https://doi.org/10.1007/978-3-642-41036-9_12

Alamdari, S., Angelini, P., Chan, T. M., Di Battista, G., Frati, F., Lubiw, A., Patrignani, M., Roselli, V., Singla, S. & Wilkinson, B. T. (2013). Morphing Planar Graph Drawings with a Polynomial Number of Steps. The Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings, 24, 1656-1667. http://knowledgecenter.siam.org/0236-000137/0236-000137/1

Wu, D., Yiu, M. L. & Jensen, C. S. (2013). Moving Spatial Keyword Queries: Formulation, Methods, and Analysis. A C M Transactions on Database Systems, 38(1), Artikel 7. https://doi.org/10.1145/2445583.2445590

Andersen, M. S. (2013). Multi-dimensional Location Privacy: Concepts, Architecture, and User Interface. Datalogisk Institut, Aarhus Universitet.

Hoggan, E., Nacenta, M., Kristensson, P. O., Williamson, J., Oulasvirta, A. & Lehtiö, A. (2013). Multi-touch pinch gestures: Performance and ergonomics. I Proceedings of the 2013 ACM international conference on Interactive tabletops and surfaces (s. 219-222)

Hoggan, E., Williamson, J., Oulasvirta, A., Nacenta, M., Kristensson, P. O. & Lehtiö, A. (2013). Multi-touch rotation gestures: Performance and ergonomics. I Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (s. 3047-3050)

Arge, L., Walderveen, F. V. & Zeh, N. (2013). Multiway simple cycle separators and I/O-efficient algorithms for planar graphs. I Proceedings of the 24th Annual ACM-SIAM Symposium on Discrete Algorithms (s. 901-918). Society for Industrial and Applied Mathematics. http://knowledgecenter.siam.org/soda/

Larsen, K. G. & Walderveen, F. V. (2013). Near-Optimal Range Reporting Structures for Categorical. I Proceedings of the 24th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2013 (s. 265-276). Association for Computing Machinery. http://knowledgecenter.siam.org/0236-000081/~~PdfSource/0

Nordholt, P. S. (2013). New Approaches to Practical Secure Two-Party Computation. Institut for Datalogi, Aarhus Universitet.

Olsen, M. & Revsbæk, M. (2013). On Alliance Partitions and Bisection Width for Planar Graphs. Journal of Graph Algorithms and Applications, 17(6), 599-614. https://doi.org/10.7155/jgaa.00307

Arge, L., Fischer, J., Sanders, P. & Sitchinava, N. (2013). On (dynamic) range minimum queries in external memory. I F. Dehne, R. Solis-Oba & J.-R. Sack (red.), Algorithms and Data Structures: 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings (s. 37-48). Springer VS. https://doi.org/10.1007/978-3-642-40104-6_4

Zerny, I. (2013). On Graph Rewriting, Reduction, and Evaluation in the Presence of Cycles. Higher-Order and Symbolic Computation, 26(1), 63–84. https://doi.org/10.1007/s10990-014-9103-9

Blunck, H., Bouvin, N. O., Franke, T., Grønbæk, K., Kjærgaard, M. B., Lukowicz, P. & Wüstenberg, M. (2013). On Heterogeneity in Mobile Sensing Applications Aiming at Representative Data Collection. I F. Mattern & S. Santini (red.), Proceedings of the 2013 ACM Conference on Pervasive and Ubiquitous Computing Adjunct Publication, UbiComp '13 Adjunct (s. 1087-1098 ). Association for Computing Machinery. https://doi.org/10.1145/2494091.2499576

Lam, T.-W., Lee, L. K., To, I. K. K. & Wong, P. W. H. (2013). Online Speed Scaling Based on Active Job Count to Minimize Flow Plus Energy. Algorithmica, 65(3), 605-633 . https://doi.org/10.1007/s00453-012-9613-y

Viser resultater 2601 til 2650 ud af 6083

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series