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

Bøgh, K. S., Assent, I. & Magnani, M. (2013). Efficient GPU-based skyline computation. In R. Johnson & A. Kemper (Eds.), Proceedings of the Ninth International Workshop on Data Management on New Hardware , DaMoN '13 Article 5 Association for Computing Machinery. https://doi.org/10.1145/2485278.2485283

Tzoumas, K., Deshpande, A. & Jensen, C. S. (2013). Efficiently adapting graphical models for selectivity estimation. V L D B Journal, 22(1), 3-27. https://doi.org/10.1007/s00778-012-0293-7

Cohen, G., Damgård, I. B., Ishai, Y., Kölker, J., Miltersen, P. B., Raz, R. & Rothblum, R. D. (2013). Efficient multiparty protocols via log-depth threshold formulae. In R. Canetti & J. A. Garay (Eds.), Advances in Cryptology – CRYPTO 2013: 33rd Annual Conference. Proceedings, Part II (pp. 185-202). Springer VS. https://doi.org/10.1007/978-3-642-40084-1_11

Cohen, G., Damgård, I. B., Ishai, Y., Kölker, J., Miltersen, P. B., Raz, R. & Rothblum, R. (2013). Efficient Multiparty Protocols via Log-Depth Threshold Formulae Contact Add Comment RSS-Feed. Electronic Colloquium on Computational Complexity, (TR13-107). http://eccc.hpi-web.de/report/2013/107/

Midtgaard, J., Ramsay, N. & Larsen, B. (2013). Engineering Definitional Interpreters. In T. Schrijvers & R. Peña (Eds.), Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming , PPDP '13 (pp. 121-132). Association for Computing Machinery. https://doi.org/10.1145/2505879.2505894

Branzei, S., Caragiannis, I., Kurokawa, D. & Procaccia, A. (2013). Equilibria of Generalized Cut and Choose Protocols. (1307.2225v1 ed.) arxiv.org. http://arxiv.org/abs/1307.2225

Branzei, S. & Miltersen, P. B. (2013). Equilibrium Analysis in Cake Cutting. In M. Gini & O. Shehory (Eds.), Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems , AAMAS '13 (pp. 327-334 ). Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2484920.2484974&coll=DL&dl=ACM&CFID=340403434&CFTOKEN=84711969

Korn, M., Polli, A. M. & Klokmose, C. N. (2013). Experiences from a Real-Time Mobile Collaborative Writing System in an Art Gallery. Paper presented at Designing Mobile Face-to-Face Group Interactions at ECSCW 2013, Paphos, Cyprus. http://groupinteractions.wordpress.com/

Korn, M., Polli, A. M. & Klokmose, C. N. (2013). Experiences from a Real-Time Mobile Collaborative Writing System in an Art Gallery. Abstract from Designing Mobile Face-to-Face Group Interactions at ECSCW 2013, Paphos, Cyprus. http://ojs.statsbiblioteket.dk/index.php/daimipb/article/viewFile/13587/11586

Micenková, B., Ng, R. T., Dang, X.-H. & Assent, I. (2013). Explaining outliers by subspace separability. In H. Xiong, G. Karypis, B. Thuraisingham, D. Cook & X. Wu (Eds.), Proceedings, IEEE 13th International Conference on Data Mining (ICDM 2013) (pp. 518 - 527 ). IEEE Press. http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6724379

Nielsen, M., Kjærgaard, M. B. & Grønbæk, K. (2013). Exploring Interaction Techniques and Task Types for Direct-Touch as Input Modality. Poster session presented at VAST Infovis Scivis, Atlanta, Georgia, United States.

Sonne, T. & Grønbæk, K. (2013). Exploring New Potentials in Preventing Unhealthy Computer Habits. In W. E. Mackay, S. Brewster & S. Bødker (Eds.), CHI '13 Extended Abstracts on Human Factors in Computing Systems, CHI EA '13 (pp. 487-492 ). Association for Computing Machinery. https://doi.org/10.1145/2468356.2468442

Jensen, M. M., Rasmussen, M. & Grønbæk, K. (2013). Exploring Opponent Formats: Game Mechanics for Computer-Supported Physical Games. In J. C. Anacleto, E. W. G. Clua, F. S. Correa da Silva, S. Fels & H. S. Yang (Eds.), Entertainment Computing - ICEC 2013: 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings (Vol. 8215, pp. 48-60). Springer VS. https://doi.org/10.1007/978-3-642-41106-9_6

Nørgaard, M., Merritt, T. R., Rasmussen, M. & Petersen, M. G. (2013). Exploring the design space of shape-changing objects: imagined physics. In Proceedings of the 6th International Conference on Designing Pleasurable Products and Interfaces (pp. 251-260 ). Association for Computing Machinery. https://doi.org/10.1145/2513506.2513533

Chen, S., Scheder, D. A., Talebanfard, N. & Tang, B. (2013). Exponential Lower Bounds for the PPSZ k-SAT Algorithm. In Proceedings of the 24th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA '13 (pp. 1253-1263). Society for Industrial and Applied Mathematics. http://knowledgecenter.siam.org/0236-000027/0236-000027/1

Branzei, S., Procaccia, A. & Zhang, J. (2013). Externalities in Cake Cutting. Proceedings of the International Joint Conference on Artificial Intelligence, 13.

Magnani, M., Montesi, D. & Rossi, L. (2013). Factors enabling information propagation in a Social Network Site. In T. Özyer , J. Rokne , G. Wagner & A. H. P. Reuser (Eds.), The Influence of Technology on Social Network Analysis and Mining (pp. 411-426 ). Springer. https://doi.org/10.1007/978-3-7091-1346-2_18

Frederiksen, T. K. & Nielsen, J. B. (2013). Fast and maliciously secure two-party computation using the GPU. In Applied Cryptography and Network Security: 11th International Conference, ACNS 2013, Banff, AB, Canada, June 25-28, 2013. Proceeding (pp. 339-356). Springer VS. https://doi.org/10.1007/978-3-642-38980-1_21

Pettie, S. & Su, H.-H. (2013). Fast distributed coloring algorithms for triangle-free graphs. In F. Fomin, R. Freivalds, M. Kwiatkowska & D. Peleg (Eds.), Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II (pp. 681-693). Springer Publishing Company. https://doi.org/10.1007/978-3-642-39212-2_59

Bødker, S. & Petersen, M. G. (2013). Feedback. interactions, 20(1), 6-9. https://doi.org/10.1145/2405716.2405718

Kaul, M., Wong, R. C.-W., Yang, B. & Jensen, C. S. (2013). Finding Shortest Paths on Terrains by Killing Two Birds with One Stone. Proceedings of the VLDB Endowment, 7(1), 73-84. http://www.vldb.org/pvldb/vol7/p73-kaul.pdf

Magnani, M. & Rossi, L. (2013). Formation of multiple networks. In A. M. Greenberg , W. G. Kennedy & N. D. Bos (Eds.), Social Computing, Behavioral-Cultural Modeling and Prediction: 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings (pp. 257-264). Springer Publishing Company. https://doi.org/10.1007/978-3-642-37210-0_28

Urazimbetova, S. & Kyng, M. (2013). From Many to One: Analysis of Information Models for Patient Centric Telemedicine. Global Telemedicine and eHealth Updates : Knowledge Resources, 6, 7-12. http://www.medetel.eu/download/2013/parallel_sessions/presentation/day3/From_Many_to_One.pdf

Bødker, S. & Klokmose, C. N. (2013). From Persona to Techsona. In P. Kotzé, G. Marsden , G. Lindgaard, J. Wesson & M. Winckler (Eds.), Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV (pp. 842-349). Springer VS. https://doi.org/10.1007/978-3-642-40498-6_26

Magnani, M. & Assent, I. (2013). From stars to galaxies: skyline queries on aggregate data. In G. Guerrini & N. W. . Paton (Eds.), International Conference on Extending Database Technology (pp. 477-488 ). Association for Computing Machinery. https://doi.org/10.1145/2452376.2452432

Hansen, M. S. & Sørensen, T. S. (2013). Gadgetron: An Open Source Framework for Medical Image Reconstruction. Magnetic Resonance in Medicine, 69(6), 1768-1776. https://doi.org/10.1002/mrm.24389

Simonsen, M., Christensen, M. H., Thomsen, R. & Pedersen, C. N. S. (2013). GPU-Accelerated High-Accuracy Molecular Docking using Guided Differential Evolution. In S. tsutsui & P. Collet (Eds.), Massively Parallel Evolutionary Computation on GPGPUs Springer Publishing Company.

Bøgh, K. S., Skovsgaard, A. & Jensen, C. S. (2013). GroupFinder: a new approach to top-k point-of-interest group retrieval. Proceedings of the VLDB Endowment, 6(12), 1226-1229 . http://dl.acm.org.ez.statsbiblioteket.dk:2048/citation.cfm?id=2536274.2536282&coll=DL&dl=ACM&CFID=280253056&CFTOKEN=11487082

Radel, D., Sand, A. & Steel, M. (2013). Hide and seek: placing and finding an optimal tree for thousands of homoplasy-rich sequences. Molecular Phylogenetics and Evolution, 69(3), 1186–1189. https://doi.org/10.1016/j.ympev.2013.08.001

Lindell, Y., Nissim, K. & Orlandi, C. (2013). Hiding the Input-Size in Secure Two-Party Computation. In K. Sako & P. Sarkar (Eds.), Advances in Cryptology - ASIACRYPT 2013: 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II (Vol. 8197, pp. 421-440). Springer VS. https://doi.org/10.1007/978-3-642-41019-2_6

Verdezoto, N. (2013). Home-based Healthcare Technology: Understanding and Designing to Support the Care Management Work at Home. Abstract from IEEE International Conference on Healthcare Informatics, Philadelphia, United States.

Verdezoto, N. (2013). Home-based Self-care: Understanding and Designing Pervasive Technology to Support Care Management Work at Home. Department of Computer Science, Aarhus University.

Branzei, S., Caragiannis, I., Morgenstern, J. & Procaccia, A. (2013). How Bad is Selfish Voting? In Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence AAAI Press. http://www.aaai.org/Library/AAAI/aaai13contents.php

Bendlin, R., Peikert, C. & Krehbiel, S. (2013). How to Share a Lattice Trapdoor: Threshold Protocols for Signatures and (H)IBE. In 11th International Conference on Applied Cryptography and Network Security, ACNS 2013 (Vol. 7954, pp. 218-236). Springer VS. https://doi.org/10.1007/978-3-642-38980-1_14

Sandel, B. S. & Svenning, J.-C. (2013). Human impacts drive a global topographic signature in tree cover. Nature Communications, 4, 1-7. Article 2474. https://doi.org/10.1038/ncomms3474

Baniukevic, A., Jensen, C. S. & Lu, H. (2013). Hybrid Indoor Positioning with Wi-Fi and Bluetooth: Architecture and Performance . In IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:1 ) (pp. 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. In IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:1 ) (pp. 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?. Paper presented at International Conference on Indoor Positioning and Indoor Navigation, Montbéliard, France.

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

Ernst, E. (2013). Inheritance versus parameterization. In M. Markku (Ed.), Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance, MASPEGHI '13 (pp. 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 from International Symposium on Computer Science in Sports, Istanbul, Turkey.

Brabrand, C., Ribeiro, M., Tolêdo, T., Winther, J. & Borba, P. (2013). Intraprocedural dataflow analysis for software product lines. In G. T. Leavens , S. Chiba & É. Tanter (Eds.), Transactions on Aspect-Oriented Software Development X (pp. 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), Article 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. In R. Hull & W. Fan (Eds.), Proceedings of the 32nd symposium on Principles of database systems , PODS '13 (pp. 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. In G. Guerrini & N. W. Paton (Eds.), Proceedings of The 16th International Conference on Extending Database Technology: EDBT 2013 (pp. 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. In H. Shen, R. Smith, J. Paay, P. Calder & T. Wyeld (Eds.), Proceedings of the 25th Australian Computer-Human Interaction Conference: Augmentation, Application, Innovation, Collaboration. OzCHI '13 (pp. 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), Article 164 . https://doi.org/10.1145/2508363.2508411

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

Displaying results 2601 to 2650 out of 6000

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University