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

Brânzei, S., Filos-Ratsikas, A., Miltersen, P. B. & Zeng, Y. (2017). Walrasian pricing in multi-unit auctions. In K. G. Larsen, H. L. Bodlaender & J.-F. Raskin (Eds.), 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017 (Vol. 83, pp. 80:1-80:14). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2017.80

Scholl, P., Smart, N. P. & Wood, T. (2017). When It’s All Just Too Much: Outsourcing MPC-Preprocessing. In M. O'Neill (Ed.), Cryptography and Coding - 16th IMA International Conference, IMACC 2017, Proceedings (Vol. 10655, pp. 77-99). Springer VS. https://doi.org/10.1007/978-3-319-71045-7_4

Bertelsen, O. W., Halskov, K. & Bardzell, S. (2016). 40 Years of critical computing: The decennial Aarhus conference series. interactions, 23(2), 30-32. https://doi.org/10.1145/2889345

Damgård, I. B., Haagh, H. F. & Orlandi, C. (2016). Access Control Encryption: Enforcing Information Flow with Cryptography. In M. Hirt & A. Smith (Eds.), Theory of Cryptography - 14th International Conference, TCC 2016-B, Proceedings (Vol. 9986, pp. 547-576). Springer VS. https://doi.org/10.1007/978-3-662-53644-5_21

Raskin, M. & Mamardashvili, N. A. (2016). Accessing Local Variables During Debugging. In ELS2016 Proceedings of the 9th European Lisp Symposium on European Lisp Symposium (pp. 93 - 94). Article 11 European Lisp Scientific Activities Association. http://delivery.acm.org/10.1145/3010000/3005740/d4.pdf?ip=185.45.22.55&id=3005740&acc=ACTIVE%20SERVICE&key=36332CD97FA87885%2E318148A04E30A4A4%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35&CFID=719857644&CFTOKEN=37932629&__acm__=1485177648_adba167cd6af203cbafc7ca2c5484dbf

Stisen, A., Verdezoto, N., Blunck, H., Kjærgaard, M. B. & Grønbæk, K. (2016). Accounting for the Invisible Work of Hospital Orderlies: Designing for Local and Global Coordination. In Proceedings of the 19th ACM Conference on Computer-Supported Cooperative Work and Social Computing, CSCW 2016: CSCW '16 (pp. 980-992). Association for Computing Machinery. https://doi.org/10.1145/2818048.2820006

Mathisen, A., Krogh, S., Stisen, A., Blunck, H. & Grønbæk, K. (2016). A comparative analysis of Indoor WiFi Positioning at a large building complex. In J. J. G. Domínguez, Á. H. Alonso & J. Ureña Ureña (Eds.), 2016 International Conference on Indoor Positioning and Indoor Navigation, IPIN 2016 Article 7743666 IEEE Press. https://doi.org/10.1109/IPIN.2016.7743666

Blunck, H., Bhattacharya, S., Stisen, A., Prentow, T. S., Kjærgaard, M. B., Dey, A., Jensen, M. M. & Sonne, T. (2016). Activity Recognition on Smart Devices: Dealing with diversity in the wild. GetMobile: Mobile Computing and Communications, 20(1), 34-38. https://doi.org/10.1145/2972413.2972425

Chan, T. M. & Wilkinson, B. T. (2016). Adaptive and approximate orthogonal range counting. ACM Transactions on Algorithms, 12(4), 45:1-45:15. Article 45. https://doi.org/10.1145/2830567

Damgård, I. B., Polychroniadou, A. & Rao, V. (2016). Adaptively Secure Multi-Party Computation from LWE (via Equivocal FHE). In Public-Key Cryptography – PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings (Vol. 9615 , pp. 208-233). Springer VS. https://doi.org/10.1007/978-3-662-49387-8_9

Bødker, S., Dindler, C., Halskov, K. & Iversen, O. S. (2016). Advances in Participatory Design. In CHI EA 2016: #chi4good - Extended Abstracts, 34th Annual CHI Conference on Human Factors in Computing Systems (pp. 984-987). Association for Computing Machinery. https://doi.org/10.1145/2851581.2856688

Bødker, S., Korsgaard, H. & Saad-Sulonen, J. (2016). 'A Farmer, a Place and at least 20 Members': The Development of Artifact Ecologies in Volunteer-based Communities. In Proceedings of the 19th ACM Conference on Computer-Supported Cooperative Work and Social Computing, CSCW 2016 (pp. 1142-1156). Association for Computing Machinery. https://doi.org/10.1145/2818048.2820029

Biniaz, A., Bose, P., van Duijn, I., Maheshwari, A. & Smid, M. (2016). A Faster Algorithm for the Minimum Red-Blue-Purple Spanning Graph Problem for Points on a Circle. In T. C. Shermer (Ed.), Proceedings of the 28th Canadian Conference on Computational Geometry (pp. 140-146). Simon Fraser University. Vancouver, British Columbia Canada. http://people.scs.carleton.ca/~michiel/RedBluePurpleCCCG16.pdf

Sonne, T., Marshall, P., Müller, J., Obel, C. & Grønbæk, K. (2016). A Follow-up Study of a Successful Assistive Technology for Children with ADHD and Their Families. In Proceedings of IDC 2016 - The 15th International Conference on Interaction Design and Children (pp. 400-407). https://doi.org/10.1145/2930674.2930704

Krebbers, R. (2016). A Formal C Memory Model for Separation Logic. Journal of Automated Reasoning, 57(4), 319–387. https://doi.org/10.1007/s10817-016-9369-1

Fetzer, V., Müller-Quade, J. & Nilges, T. (2016). A Formal Treatment of Privacy in Video Data. In I. Askoxylakis, S. Ioannidis, S. Katsikas & C. Meadows (Eds.), Computer Security - 21st European Symposium on Research in Computer Security, ESORICS 2016, Proceedings (Vol. 9879, pp. 406-424). Springer VS. https://doi.org/10.1007/978-3-319-45741-3_21

Jakobsen, T. P., Nielsen, J. B. & Orlandi, C. (2016). A Framework for Outsourcing of Secure Computation. http://eprint.iacr.org/2016/037

Birkedal, L., Jaber, G., Sieczkowski, F. & Thamsborg, J. (2016). A Kripke logical relation for effect-based program transformations. Information and Computation, 249, 160-189. https://doi.org/10.1016/j.ic.2016.04.003

Adamsen, C. Q., Mezzetti, G. & Møller, A. (2016). Analyzing Test Completeness for Dynamic Languages. In ISSTA 2016 - Proceedings of the 25th International Symposium on Software Testing and Analysis: ISSTA 2016 (pp. 142-153). Association for Computing Machinery. https://doi.org/10.1145/2931037.2931059

Sonne, T., Marshall, P., Obel, C., Thomsen, P. H. & Grønbæk, K. (2016). An Assistive Technology Design Framework for ADHD. In C. Parker (Ed.), Proceedings of the 28th Australian Computer-Human Interaction Conference, OzCHI 2016: OzCHI '16 (pp. 60-70). Association for Computing Machinery. https://doi.org/10.1145/3010915.3010925

Mann, W., Augsten, N. & Bouros, P. (2016). An Empirical Evaluation of Set Similarity Join Techniques. Proceedings of the VLDB Endowment, 9(9), 636-647. https://doi.org/10.14778/2947618.2947620

Thai Son, M., Assent, I. & Storgaard, M. (2016). AnyDBC: An efficient anytime density-based clustering algorithm for very large complex datasets. In KDD 2016 - Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (pp. 1025-1034). Association for Computing Machinery. https://doi.org/10.1145/2939672.2939750

Thai Son, M., Assent, I. & Le, A. T. (2016). Anytime OPTICS: An efficient approach for hierarchical density-based clustering. In S. B. Navathe, W. Wu, S. Shekhar, X. Du, X. Sean Wang & H. Xiong (Eds.), Database Systems for Advanced Applications - 21st International Conference, DASFAA 2016, Proceedings (Vol. 9642, pp. 164-179). Springer VS. https://doi.org/10.1007/978-3-319-32025-0_11

Afshani, P., Berglin, E., Van Duijn, I. & Nielsen, J. S. (2016). Applications of incidence bounds in point covering problems. In S. Fekete & A. Lubiw (Eds.), 32nd International Symposium on Computational Geometry, SoCG 2016 (Vol. 51, pp. 60.1-60.15). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2016.60

Yon, J., Won, S. B., Cheng, S. W., Cheong, O. & Wilkinson, B. T. (2016). Approximating convex shapes with respect to symmetric difference under homotheties. In S. Fekete & A. Lubiw (Eds.), 32nd International Symposium on Computational Geometry, SoCG 2016 (Vol. 51, pp. 63.1-63.15). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2016.63

van Kreveld, M., Löffler, M., Staals, F. & Wiratma, L. (2016). A Refined Definition for Groups of Moving Entities and its Computation. In S.-H. Hong (Ed.), 27th International Symposium on Algorithms and Computation (ISAAC 2016) (pp. 48.1-48.12). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ISAAC.2016.48

van Kreveld, M., Löffler, M., Staals, F. & Wiratma, L. (2016). A Refined Definition for Groups of Moving Entities and its Computation. Paper presented at EuroCG 2016, Lugano, Switzerland. http://www.eurocg2016.usi.ch/sites/default/files/paper_67.pdf

Rasmussen, M. K., Merritt, T. R., Alonso, M. B. & Petersen, M. G. (2016). Balancing User and System Control in Shape-Changing Interfaces: a Designerly Exploration. In TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction (Vol. 2016, pp. 202-210). Association for Computing Machinery. https://doi.org/10.1145/2839462.2839499

Baum, C., Damgård, I. B., Toft, T. & Zakarias, R. W. (2016). Better Preprocessing for Secure Multiparty Computation. In M. Manulis, A.-R. Sadeghi & S. Schneider (Eds.), Applied Cryptography and Network Security - 14th International Conference, ACNS 2016, Proceedings: 14th International Conference on Applied Cryptography and Network Security (Vol. 9696, pp. 327-345). Springer VS. https://doi.org/10.1007/978-3-319-39555-5_18

Snow, S., Vyas, D., Lyle, P., Mallett, M. & Brereton, M. (2016). Building Connections: Technology Design for Living on a Low Income. In A. M. Kanstrup, J. Vines, L. Huybrechts, R. C. Smith, K. Bodker & C. Bossen (Eds.), PDC 2016: Proceedings of the 14th Participatory Design Conference: Short Papers, Interactive Exhibitions, Workshops - Volume 2 (pp. 1-4). Association for Computing Machinery. https://doi.org/10.1145/2948076.2948091

Tomlein, M. & Grønbæk, K. (2016). Building Models of Installations to Recommend Applications in IoT Software Ecosystems. In Proceedings - 2016 IEEE 4th International Conference on Future Internet of Things and Cloud, FiCloud 2016 (pp. 9-16). Article 7575838 IEEE Press. https://doi.org/10.1109/FiCloud.2016.10

Grønbæk, J. E. & O'Hara, K. (2016). Built-In Device Orientation Sensors for Ad-Hoc Pairing and Spatial Awareness. Abstract from Cross-Surface '16 workshop, Niagara Falls, Canada. http://jensemil.dk/pubs/GronbaekOHara_ISS16_Position_Paper.pdf

Sonne, T., Müller, J., Marshall, P., Obel, C. & Grønbæk, K. (2016). Changing Family Practices with Assistive Technology: MOBERO Improves Morning and Bedtime Routines for Children with ADHD. In CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems: CHI '16 (pp. 152-164). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858157

Lindlbauer, D., Müller, J. & Alexa, M. (2016). Changing the Appearance of Physical Interfaces Through Controlled Transparency. In UIST 2016 - Proceedings of the 29th Annual Symposium on User Interface Software and Technology (pp. 425-435). Association for Computing Machinery. https://doi.org/10.1145/2984511.2984556

Sonne, T. & Jensen, M. M. (2016). ChillFish: A Respiration Game for Children with ADHD. In TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction: Tenth International Conference on Tangible, Embedded, and Embodied Interaction (pp. 271-278). Association for Computing Machinery. https://doi.org/10.1145/2839462.2839480

Bouvin, N. O. & Klokmose, C. N. (2016). Classical Hypermedia Virtues on the Web with Webstrates. In HT 2016 - Proceedings of the 27th ACM Conference on Hypertext and Social Media (pp. 207-212). Association for Computing Machinery. https://doi.org/10.1145/2914586.2914622

Li, Y., Li, X., Sandel, B., Blank, D., Liu, Z., Liu, X. & Yan, S. (2016). Climate and topography explain range sizes of terrestrial vertebrates. Nature Climate Change, 6(5), 498-502. https://doi.org/10.1038/nclimate2895

Kim, J. M., Jacobsen, R. H. & Brewer, R. S. (2016). CoFELS: Conceptual Framework for Electricity Load Shifting System Design. In Proceedings - 19th Euromicro Conference on Digital System Design, DSD 2016: (DSD 2016) (Vol. 2016, pp. 268-275). Article 7723563 IEEE. https://doi.org/10.1109/DSD.2016.48

Lacerda, F. G., Renes, J. M. & Scholz, V. B. (2016). Coherent state constellations for Bosonic Gaussian channels. In Proceedings - ISIT 2016; 2016 IEEE International Symposium on Information Theory (pp. 2499-2503). Article 7541749 IEEE. https://doi.org/10.1109/ISIT.2016.7541749

Muller, M., Neureiter, K., Verdezoto, N., Krischkowsky, A., Al Zubaidi-Polli, A. M. & Tscheligi, M. (2016). Collaborative Appropriation: How Couples, Teams, Groups and Communities Adapt and Adopt Technologies. In Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion, CSCW 2016 Companion: CSCW '16 Companion (pp. 473-480). Association for Computing Machinery. https://doi.org/10.1145/2818052.2855508

Lindlbauer, D., Grønbæk, J. E., Birk, M., Halskov, K., Alexa, M. & Müller, J. (2016). Combining Shape-Changing Interfaces and Spatial Augmented Reality Enables Extended Object Appearance. In C. Lampe, D. Morris & J. P. Hourcade (Eds.), CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems (pp. 791-802). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858457

Hazay, C., Polychroniadou, A. & Venkitasubramaniam, M. (2016). Composable Security in the Tamper-Proof Hardware Model Under Minimal Complexity. In M. Hirt & A. Smith (Eds.), Theory of Cryptography - 14th International Conference, TCC 2016-B, Proceedings: 14th International Conference, TCC 2016-B (Vol. 9985 , pp. 367-399). Springer VS. https://doi.org/10.1007/978-3-662-53641-4_15

Korsgaard, H. & Klokmose, C. N. (2016). Composition and mediation in cross-surface interaction. Paper presented at Cross-Surface: Challenges and Opportunities for ‘bring your own device’ in the wild, San Jose, California, United States. http://cross-surface.com/papers/Cross-Surface_2016_paper_15.pdf

Korsgaard, H., Klokmose, C. N. & Bødker, S. (2016). Computational Alternatives in Participatory Design: Putting the T Back in Socio-technical Research. In M. Teli, J. McDonnell, K. Bodker, C. Bossen, R. C. Smith & A. M. Kanstrup (Eds.), PDC 2016: Proceedings of the 14th Participatory Design Conference: Full Papers - Volume 1 (pp. 71-79). Association for Computing Machinery. https://doi.org/10.1145/2940299.2940314

Søndergaard, D. A., Knudsen, M. & Pedersen, C. S. (2016). Computational Classification of P-Type ATPases. Methods in Molecular Biology, 1377, 493-502. https://doi.org/10.1007/978-1-4939-3179-8

Knudsen, M., Søndergaard, D. A., Tofting-Olesen, C., Hansen, F. T., Brodersen, D. E. & Pedersen, C. S. (2016). Computational discovery of specificity-conferring sites in non-ribosomal peptide synthetases. Bioinformatics, 32(3), 325-329. https://doi.org/10.1093/bioinformatics/btv600

Alexander, C., Arge, L., Bøcher, P. K., Revsbæk, M., Sandel, B., Svenning, J. C., Tsirogiannis, C. & Yang, J. (2016). Computing river floods using massive terrain data. In J. A. Miller, D. O'Sullivan & N. Wiegand (Eds.), Geographic Information Science: 9th International Conference, GIScience 2016 (Vol. 9927, pp. 3-17). Springer VS. https://doi.org/10.1007/978-3-319-45738-3_1

Abe, M., Chase, M., David, B., Kohlweiss, M., Nishimaki, R. & Ohkubo, M. (2016). Constant-Size Structure-Preserving Signatures: Generic Constructions and Simple Assumptions. Journal of Cryptology, 29(4), 833-878. https://doi.org/10.1007/s00145-015-9211-7

Tomlein, M. (2016). Context-Aware Software Ecosystem for Industrial Products. In Proceedings - 2016 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016 (pp. 279-280). Article 7516845 IEEE Press. https://doi.org/10.1109/WICSA.2016.53

Duijn, I. V., Kostitsyna, I., Kreveld, M. V. & Löffler, M. (2016). Critical Placements of a Square or Circle amidst Trajectories for Junction Detection. In T. C. Shermer (Ed.), Proceedings of the 28th Canadian Conference on Computational Geometry (pp. 208 - 215). Simon Fraser University. Vancouver, British Columbia Canada. http://www.sfu.ca/~shermer/CCCG2016/CCCG_2016_proceedings_preliminary.pdf

Displaying results 1851 to 1900 out of 5916

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University