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

Höök, K., Caramiaux, B., Erkut, C., Forlizzi, J., Hajinejad, N., Haller, M., Hummels, C., Isbister, K., Jonsson, M., Khut, G., Loke, L., Lottridge, D., Marti, P., Melcer, E., Müller, F., Petersen, M. G., Schiphorst, T., Segura, E. M., Ståhl, A. ... Tobiasson, H. (2018). Embracing First-Person Perspectives in Soma-Based Design. Informatics, 5/1(8), 1-26. [2018,5,8]. https://doi.org/10.3390/informatics5010008

Sillasen, M., Daugbjerg, P., Krogh, L. B. & Nielsen, K. (2018). Engineering i skolen - Vidensgrundlag. VIA University College. https://www.ucviden.dk/portal/da/publications/engineering-i-skolen(2d8a5ff9-3ab5-4a10-965f-46ebe403919d).html

Auener, S., Daugbjerg, P. S., Nielsen, K. & Sillasen, M. K. (2018). Engineering i skolen. Hvad, hvordan, hvorfor. VIA University College. https://astra.dk/sites/default/files/eis_rapport_v4_1.pdf

Chung, Y., Mortensen, M. L., Binnig, C. & Kraska, T. (2018). Estimating the impact of unknown unknowns on aggregate qery results. ACM Transactions on Database Systems, 43(1), [3]. https://doi.org/10.1145/3167970

Ledo, D., Houben, S., Vermeulen, J., Marquardt, N., Oehlberg, L. & Greenberg, S. (2018). Evaluation Strategies for HCI Toolkit Research. In R. Mandryk & M. Hancock (Eds.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (pp. 36:1-36:17). Association for Computing Machinery. CHI '18 https://doi.org/10.1145/3173574.3173610

Remy, C., Bates, O., Dix, A., Thomas, V., Hazas, M., Friday, A. & Huang, E. M. (2018). Evaluation beyond usability: Validating sustainable HCI research. In CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Vol. 2018-April). Association for Computing Machinery. https://doi.org/10.1145/3173574.3173790

Jensen, K. E., Pedersen, C., Tsirogiannis, C., Mortensen, P. B. & Svenning, J-C. (2018). Experiencing Childhood Closer to Green Space is Linked to Lower Schizophrenia Risk. Early Intervention in Psychiatry, 12(S1), 19-19. [Talk 3].

Blascheck, T., Vermeulen, L. M., Vermeulen, J., Perin, C., Willett, W., Ertl, T. & Carpendale, S. (2018). Exploration Strategies for Discovery of Interactivity in Visualizations. IEEE Transactions on Visualization and Computer Graphics, 25(2), 1407-1420. https://doi.org/10.1109/TVCG.2018.2802520

Scholl, P. (2018). Extending Oblivious Transfer with Low Communication via Key-Homomorphic PRFs. In M. Abdalla & R. Dahab (Eds.), Public-Key Cryptography - PKC 2018 (Vol. 10769, pp. 554-583). Springer VS. Lecture Notes in Computer Science (LNCS), No. 10769 https://doi.org/10.1007/978-3-319-76578-5_19

Shin, Y. (2018). External Memory Algorithms for Massive Terrains and Polygons. Aarhus Universitet.

Christensen, H. B. (Producer). (2018). FRDS.Broker Library: A teaching oriented implementation of the Broker architectural pattern. Computer programme, LeanPub.com.

Alimadadi, S., Zhong, D., Madsen, M. & Tip, F. (2018). Finding Broken Promises in Asynchronous JavaScript Programs. Proceedings of the ACM on Programming Languages , 2(OOPSLA), 162:1-162:26. [162]. https://doi.org/10.1145/3276532

Clouston, R. (2018). Fitch-Style Modal Lambda Calculi. In C. Baier & U. Dal Lago (Eds.), Foundations of Software Science and Computation Structures: 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) (Vol. 10803, pp. 258-275). Springer. Lecture Notes in Computer Science (LNCS), No. 10803 https://doi.org/10.1007/978-3-319-89366-2_14

Christensen, H. B. (2018). Flexible, Reliable, Distributed Software. (2018-11-1 ed.) LeanPub.com. http://leanpub.com/frds

Freksen, C. B., Kamma, L. & Larsen, K. G. (2018). Fully Understanding the Hashing Trick. arXiv.org. http://arxiv.org/abs/1805.08539

Freksen, C. B., Kamma, L. & Larsen, K. G. (2018). Fully Understanding the Hashing Trick. 1. Poster session presented at Neural Information Processing Systems Conference, Montreal, Canada.

Thiel, S. K. (2018). Gamifying creative potential: For better or worse? In M. Ciussi (Ed.), 12th European Conference on Game Based Learning, ECGBL 2018 (pp. 915-919). Dechema e.V.. Proceedings of the European Conference on Games-Based Learning, No. October, Vol.. 2018

Filos-Ratsikas, A., Stiil Frederiksen, S. K., Goldberg, P. W. & Zhang, J. (2018). Hardness results for consensus-halving. In I. Potapov, J. Worrell & P. Spirakis (Eds.), 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018 (Vol. 117). [24] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2018.24

Agarwal, P. K., Arge, L. & Staals, F. (2018). Improved dynamic geodesic nearest neighbor searching in a simple polygon. In C. D. Toth & B. Speckmann (Eds.), 34th International Symposium on Computational Geometry, SoCG 2018 (Vol. 99, pp. 4:1-4:14). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, Vol.. 99 https://doi.org/10.4230/LIPIcs.SoCG.2018.4

Thomas, V., Brueggemann, M. J., Wang, D., Darby, A., Wohl, B., Vermeulen, L. M. D., Bates, O. & Feldman, D. (2018). In the eye of a hurricane there is quiet, for just a moment, -. In R. Mandryk, M. Hancock, M. Perry & A. Cox (Eds.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (pp. 1-10). [alt01] Association for Computing Machinery. ACM CHI Conference on Human Factors in Computing Systems, No. 2018 https://doi.org/10.1145/3170427.3188394

Nielsen, S. (2018). Inferring gene flow between populations using statistical methods. Aarhus Universitet.

Jensen, S. Q., Fender, A. & Müller, J. (2018). Inpher: Inferring physical properties of virtual objects from mid-air interaction. In R. Mandryk & M. Hancock (Eds.), Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Vol. 2018-April). [530] Association for Computing Machinery. https://doi.org/10.1145/3173574.3174104

Pham, T. H., Kristensen, J., Mai, S. T., Assent, I., Jacobsen, J., Vo, B. & Le, A. (2018). Interactive Exploration of Subspace Clusters on Multicore Processors. In A. Hameurlain, R. Wagner, D. Benslimane, E. Damiani & W. I. Grosky (Eds.), Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX: Special Issue on Database- and Expert-Systems Applications (Vol. 11310, pp. 169-199). Springer VS. Lecture Notes in Computer Science (LNCS), Vol.. 11310 https://doi.org/10.1007/978-3-662-58415-6_6

Thomsen, J. R., Krogh, P. G., Schnedler, J. A. & Linnet, H. (2018). Interactive interior and proxemics thresholds: Empowering participants in sensitive conversations. In CHI 2018 - Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Vol. 2018). [68] Association for Computing Machinery. https://doi.org/10.1145/3173574.3173642

Bannon, L., Bardzell, J. & Bødker, S. (2018). Introduction: Reimagining participatory design—Emerging voices. ACM Transactions on Computer-Human Interaction, 25(1), 1-8. [1]. https://doi.org/10.1145/3177794

Obremski, M. & Skorski, M. (2018). Inverted Leftover Hash Lemma. In 2018 IEEE International Symposium on Information Theory, ISIT 2018 (Vol. 2018-June, pp. 1834-1838). [8437654] IEEE. https://doi.org/10.1109/ISIT.2018.8437654

JUNG, RALF., KREBBERS, ROBBERT., JOURDAN, JACQUES-HENRI., BIZJAK, ALEŠ., BIRKEDAL, LARS. & DREYER, DEREK. (2018). Iris from the ground up: A modular foundation for higher-order concurrent separation logic. Journal of Functional Programming, 28, 1-73. [e20]. https://doi.org/10.1017/S0956796818000151

van Oosterhout, A., Rasmussen, M. K., Hoggan, E. & Alonso, M. B. (2018). Knobology 2.0: Giving Shape to the Haptic Force Feedback of Interactive Knobs. In The 31st Annual ACM Symposium on User Interface Software and Technology Adjunct Proceedings : UIST '18 Adjunct (pp. 197-199). Association for Computing Machinery. https://doi.org/10.1145/3266037.3271649

Aggarwal, D., Kazana, T. & Obremski, M. (2018). Leakage-Resilient Algebraic Manipulation Detection Codes with Optimal Parameters. In 2018 IEEE International Symposium on Information Theory, ISIT 2018 (Vol. 2018-June, pp. 1131-1135). [8437762] IEEE. https://doi.org/10.1109/ISIT.2018.8437762

Brueggemann, M. J., Thomas, V. & Wang, D. (2018). Lickable cities: Lick everything in sight and on site. In R. Mandryk, M. Hancock, M. Perry & A. Cox (Eds.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (pp. 1-11). [alt06] Association for Computing Machinery. ACM CHI Conference on Human Factors in Computing Systems, No. 2018 https://doi.org/10.1145/3170427.3188399

Dan, C., Hansen, K. A., Jiang, H., Wang, L. & Zhou, Y. (2018). Low rank approximation of binary matrices: Column subset selection and generalizations. In I. Potapov, J. Worrell & P. Spirakis (Eds.), 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018 (Vol. 117, pp. 41:1-41:16). [41] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, No. 117 https://doi.org/10.4230/LIPIcs.MFCS.2018.41

David, B., Dowsley, R. & Larangeira, M. (2018). MARS: Monetized ad-hoc routing system (a position paper). In CRYBLOCK 2018 - Proceedings of the 1st Workshop on Cryptocurrencies and Blockchains for Distributed Systems, Part of MobiSys 2018 (pp. 82-86). Association for Computing Machinery. https://doi.org/10.1145/3211933.3211948

Christensen, H. B. (Producer). (2018). MiniDraw: A teaching oriented 2D graphics, direct manipulation, framework. Computer programme, JCenter .

Hóu, Z., Clouston, R., Goré, R. & Tiu, A. (2018). Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Transactions on Computational Logic, 19(2), 1-35. [13]. https://doi.org/10.1145/3197383

Baum, C., Damgård, I., Lyubashevsky, V., Oechsner, S. & Peikert, C. (2018). More Efficient Commitments from Structured Lattice Assumptions. In D. Catalano & R. De Prisco (Eds.), Security and Cryptography for Networks (Vol. 11035, pp. 368-385). Springer VS. Lecture Notes in Computer Science (LNCS), No. 11035 https://doi.org/10.1007/978-3-319-98113-0_20

Frølunde, A. S., Ohlenbusch, M. E., Berg-Hansen, K., Jessen, N., Kim, S. & Boedtkjer, E. (2018). Murine breast cancer feed arteries are thin-walled with reduced α_1A-adrenoceptor expression and attenuated sympathetic vasocontraction. Breast Cancer Research, 20, [20]. https://doi.org/10.1186/s13058-018-0952-8

Meiklejohn, S. & Mercer, R. (2018). Möbius: Trustless tumbling for transaction privacy. Proceedings on Privacy Enhancing Technologies, 2018(2), 105-121. https://doi.org/10.1515/popets-2018-0015

Tsitsulin, A., Mottin, D., Karras, P., Bronstein, A. & Müller, E. (2018). NetLSD: Hearing the Shape of a Graph. In Y. Guo & F. Farooq (Eds.), 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining (pp. 2347-2356). Association for Computing Machinery. https://doi.org/10.1145/3219819.3219991

Agrawal, S., Ganesh, C. & Mohassel, P. (2018). Non-Interactive Zero-Knowledge Proofs for Composite Statements. In H. Shacham & A. Boldyreva (Eds.), Advances in Cryptology - CRYPTO 2018 (Vol. 10993, pp. 643-673). Springer. Lecture Notes in Computer Science (LNCS), No. 10993 https://doi.org/10.1007/978-3-319-96878-0_22

Bizjak, A. & Birkedal, L. (2018). On Models of Higher-Order Separation Logic. Electronic Notes in Theoretical Computer Science, 336(4), 57-78. https://doi.org/10.1016/j.entcs.2018.03.016

Afshani, P. & Driemel, A. (2018). On the complexity of range searching among curves. In A. Czumaj (Ed.), 29th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018 (pp. 898-917). Association for Computing Machinery. https://doi.org/10.1137/1.9781611975031.58

Dalsgaard, P., Pedersen, B. P., Dimke, H., Møller, N. M., Normand, S., Bjørk, R., Bille, M. & Larsen, K. G. (2018). Opholdskrav i skatteaftale hæmmer dansk forskning. Politiken, (Sektion 2 (Kultur)), 7.

Fender, A., Herholz, P., Alexa, M. & Müller, J. (2018). OptiSpace: Automated Placement of Interactive 3D Projection Mapping Content. In Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems (pp. 269:1--269:11). [269] Association for Computing Machinery. ACM CHI Conference on Human Factors in Computing Systems, No. 2018 https://doi.org/10.1145/3173574.3173843

Afshani, P. & Tsakalidis, K. (2018). Optimal Deterministic Shallow Cuttings for 3-d Dominance Ranges. Algorithmica, 80(11), 3192-3206. https://doi.org/10.1007/s00453-017-0376-3

Feuchtner, T. & Müller, J. (2018). Ownershift: Facilitating Overhead Interaction in Virtual Reality with an Ownership-Preserving Hand Space Shift. In P. Baudisch & A. Schmidt (Eds.), UIST '18: The 31st Annual ACM Symposium on User Interface Software and Technology (pp. 31-43). Association for Computing Machinery. https://doi.org/10.1145/3242587.3242594

Gröschel, C., Dalsgaard, P., Klokmose, C. N., Korsgaard, H., Eriksson, E., Bats, R., Tabard, A., Ducros, A. & Serholt, S. (2018). PARTICIPATE: Capturing Knowledge in Public Library Activities. In CHI EA '18 : Proceedings of the 2018 CHI Conference Extended Abstracts on Human Factors in Computing Systems [LBW060] https://doi.org/10.1145/3170427.3188605

Mayer, S., Lischke, L., Grønbæk, J. E., Sarsenbayeva, Z., Vogelsang, J., Wozniak, P. W., Henze, N. & Jacucci, G. (2018). Pac-Many: Movement Behavior when Playing Collaborative and Competitive Games on Large Displays. In CHI '18: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems [539] Association for Computing Machinery. https://doi.org/10.1145/3173574.3174113

Vosough, Z., Hogräfer, M., Royer, L. A., Groh, R. & Schulz, H-J. (2018). Parallel Hierarchies: A Visualization for Cross-tabulating Hierarchical Categories. Computers & Graphics, 76(November), 1-17. https://doi.org/10.1016/j.cag.2018.07.009

Bødker, S. & Kyng, M. (2018). Participatory design that matters—Facing the big issues. ACM Transactions on Computer-Human Interaction, 25(1), 4:0-4:31. https://doi.org/10.1145/3152421

Lindahl, C., Wagner, S., Uldbjerg, N., Schlütter, J. M., Bertelsen, O. W. & Sandager, P. (2018). Patient acceptance of blood pressure self-measurement equipment using context-aware patient guidance. In Proceedings of the 12th EAI International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2018 (pp. 318-326). Association for Computing Machinery. https://doi.org/10.1145/3240925.3240963

Displaying results 301 to 350 out of 4624

Comments on content:

Marianne Dammand Iversen

Revised 25.09.2020

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University