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

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

Jensen, M. M., Thiel, S. K., Hoggan, E. & Bødker, S. (2018). Physical Versus Digital Sticky Notes in Collaborative Ideation. Computer Supported Cooperative Work: CSCW: An International Journal, 27(3-6), 609-645. https://doi.org/10.1007/s10606-018-9325-1, https://doi.org/10.1007/s10606-018-9325-1

Speed, M. (2018). Population Genetic Models for Allele Fraction Data. Aarhus Universitet.

Adamsen, C. Q., Møller, A., Alimadadi, S. & Tip, F. (2018). Practical AJAX Race Detection for JavaScript Web Applications. In G. T. Leavens, A. Garcia & C. S. Păsăreanu (Eds.), Proc. 12th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE) (pp. 38-48). Association for Computing Machinery. https://doi.org/10.1145/3236024.3236038

Li, Y., Tan, T., Møller, A. & Smaragdakis, Y. (2018). Precision-Guided Context Sensitivity for Pointer Analysis. Proceedings of the ACM on Programming Languages , 2(OOPSLA), 141:1-141:29. [141]. https://doi.org/10.1145/3276511

Tsourakakis, C. E., Mitzenmacher, M., Larsen, K. G., Blasiok, J., Lawson, B., Nakkiran, P. & Nakos, V. (2018). Predicting Positive and Negative Links with Noisy Queries: Theory Practice. arXiv.org. http://arxiv.org/abs/1709.07308

Saleem, M. A., Soares da Costa, F., Dolog, P., Karras, P., Pedersen, T. B. & Calders, T. (2018). Predicting Visitors Using Location-Based Social Networks. In Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018 (pp. 245-250). IEEE. https://doi.org/10.1109/MDM.2018.00043

Faissole, F. & Spitters, B. (2018). Preuves constructives de programmes probabilistes. In Journées Francophones des Langages Applicatifs Journées Francophones des Langages Applicatifs (JFLA), No. 2018

Larsen-Ledet, I. (2018). Privacy in Collaborative Work: A Situated Challenge. 1. Abstract from 2018 CHI Conference on Human Factors in Computing Systems, CHI 2018, Montreal, Canada.

Xu, Z., Anderson, K., Lawson, R., Brooks, D. J. & Pavese, N. (2018). Progression of sleep disorders spectrum in Parkinson's Disease: A 5 year clinical longitudinal study. Movement Disorders, 33, S761-S762.

Rasmussen, T. A. & Merritt, T. (2018). ProjecTables: Augmented CNC tools for sustainable creative practices. International Journal of Architectural Computing, 16(3), 227-242. https://doi.org/10.1177/1478077118792356

Baena, J., Cabarcas, D., Escudero, D. E., Khathuria, K. & Verbel, J. (2018). Rank Analysis of Cubic Multivariate Cryptosystems. In T. Lange & R. Steinwandt (Eds.), Post-Quantum Cryptography (Vol. 10786, pp. 355-374). Springer VS. Lecture Notes in Computer Science (LNCS), No. 10786 https://doi.org/10.1007/978-3-319-79063-3_17

Displaying results 301 to 350 out of 4613

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