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

Sort by: Date | Author | Title

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

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) (Vol. 64, pp. 1 - 12). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. Leibniz International Proceedings in Informatics (LIPIcs) 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.

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) IEEE Press. IPIN https://doi.org/10.1109/IPIN.2016.7743666

Damgård, I. B., Haagh, H. F. & Orlandi, C. (2016). Access Control Encryption: Enforcing Information Flow with Cryptography. In M. Hirt & A. Smith (Eds.), TCC 2016-B: Fourteenth IACR Theory of Cryptography Conference (Vol. 9986, pp. 547-576). Springer VS. Lecture Notes in Computer Science, Vol.. 9986 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). [11] European Lisp Scientific Activities Association. ELS2016

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 & Social Computing: CSCW '16 (pp. 980-992). New York, NY, USA: Association for Computing Machinery. Conference on Computer Supported Cooperative Work. Proceedings https://doi.org/10.1145/2818048.2820006

Blunck, H., Bhattacharya, S., Stisen, A., Prentow, T. S., Kjærgaard, M. B., Dey, A. ... 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. [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 Practice and Theory of Public-Key Cryptography (PKC) 2016 (Vol. 9615 , pp. 208-233). Springer VS. Lecture Notes in Computer Science, Vol.. 9615 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 '16: Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems (pp. 984-987). Association for Computing Machinery.

Sonne, T., Marshall, P., Obel, C., Thomsen, P. H. & Grønbæk, K. (2016). An Assistive Technology Design Framework for ADHD. In Proceedings of the 28th Australian Conference on Computer-Human Interaction : OzCHI '16 (pp. 60-70). New York, NY, USA: Association for Computing Machinery. OzCHI: Australian Conference on Human-Computer Interaction, Vol.. 2016 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, 636-647. https://doi.org/10.14778/2947618.2947620

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

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. Lecture Notes in Computer Science (LNCS), Vol.. 9642 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). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, Vol.. 51 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). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, Vol.. 51 https://doi.org/10.4230/LIPIcs.SoCG.2016.63

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 Proceedings of the TEI '16: Tenth International 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 on Applied Cryptography and Network Security (Vol. 9696, pp. 327-345). Springer VS. Lecture Notes in Computer Science (LNCS), Vol.. 9696 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 Proceedings of the 14th Participatory Design Conference: Short Papers, Interactive Exhibitions, Workshops (Vol. 2, pp. 1-4). New York, NY, USA: Association for Computing Machinery. PDC '16 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 2016 IEEE 4th International Conference on Future Internet of Things and Cloud (FiCloud) (pp. 9-16). 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.

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 Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems: CHI '16 (pp. 152-164). New York, NY, USA: 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). New York, NY, USA: 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 Proceedings of the TEI '16: Tenth International Conference on Tangible, Embedded, and Embodied Interaction (pp. 271-278). New York, NY, USA: 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 Proceedings of the 27th ACM Conference on Hypertext and Social Media (pp. 207-212). New York, NY, USA: Association for Computing Machinery. A C M Conference on Hypertext and Hypermedia. Proceedings, Vol.. 2016 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 of the 19th Euromicro conference on Digital System Design: (DSD 2016) (Vol. 2016, pp. 268-275). 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 IEEE International Symposium on Information Theory, ISIT 2016, Barcelona, Spain, July 10-15, 2016 (pp. 2499-2503). 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 '16 Companion (pp. 473-480). New York, NY, USA: 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 '16 Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems (pp. 791-802). New York, NY, USA: 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 (Vol. 9985 , pp. 367-399). Springer, Berlin, Heidelberg: Springer VS. Lecture Notes in Computer Science, Vol.. 9985 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, United States.

Korsgaard, H., Klokmose, C. N. & Bødker, S. (2016). Computational Alternatives in Participatory Design: Putting the T Back in Socio-technical Research. In Proceedings of the 14th Participatory Design Conference (Vol. 1, pp. 71-79). New York, NY, USA: Association for Computing Machinery. PDC '16 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. ... 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. Lecture Notes in Computer Science, Vol.. 9927 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), 1-46. https://doi.org/10.1007/s00145-015-9211-7

Tomlein, M. (2016). Context-Aware Software Ecosystem for Industrial Products. In 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA) (pp. 279-280). 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. CCCG

Nielsen, J. B. & Orlandi, C. (2016). Cross and Clean: Amortized Garbled Circuits with Constant Overhead. In M. Hirt & A. Smith (Eds.), Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part I (Vol. 9985, pp. 582-603). Berlin: Springer VS. Lecture Notes in Computer Science (LNCS), Vol.. 9985 https://doi.org/10.1007/978-3-662-53641-4_22

Houben, S., Marquardt, N., Vermeulen, J., Schöning, J., Klokmose, C. N., Reiterer, H. ... Schreiner, M. (2016). Cross-Surface: Challenges and Opportunities for 'bring your own device' in the wild. In CHI EA '16: Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems (pp. 3366-3372). Association for Computing Machinery. https://doi.org/10.1145/2851581.2856490

Christensen, H. B. (Producer). (2016). Crunch3: Automated Evaluation and Feedback on Multi-server Software Architectures. Computer programme

Spitters, B. (2016, Oct 17). Cubical sets and the topological topos.

Afshani, P. & Nielsen, J. A. S. (2016). Data Structure Lower Bounds for Document Indexing Problems. In I. Chatzigiannakis, M. Mitzenmacher, Y. Rabani & D. Sangiorgi (Eds.), 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) (Vol. 55, pp. 93:1-93:15). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. Leibniz International Proceedings in Informatics, Vol.. 55 https://doi.org/10.4230/LIPIcs.ICALP.2016.93

Chechik, S., Hansen, T. D., Italiano, G. F., Łącki, J. & Parotsidis, N. (2016). Decremental Single-Source Reachability and Strongly Connected Components in Õ(m√n) Total Update Time. In 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS) (pp. 315-324). IEEE. https://doi.org/10.1109/FOCS.2016.42

Kyng, M. (2016). Democracy beyond projects: how users may achieve lasting influence on it systems. interactions, 23(2), 36-39. https://doi.org/10.1145/2889276

Jensen, M. M. & Grønbæk, K. (2016). Design Strategies for Balancing Exertion Games: A Study of Three Approaches. In Proceedings of the 2016 ACM Conference on Designing Interactive Systems: DIS '16 (pp. 936-946). New York, NY, USA: Association for Computing Machinery. https://doi.org/10.1145/2901790.2901843

Andreasen, E. S. (2016). Designing Abstractions for JavaScript Program Analysis. Department of Computer Science, Aarhus University.

Displaying results 401 to 450 out of 4453

Comments on content:

Marianne Dammand Iversen

Revised 13.09.2019

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University