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

Kristensen, E. K. & Møller, A. (2019). Reasonably-Most-General Clients for JavaScript Library Analysis. Proceedings of the International Conference on Software Engineering. https://doi.org/10.1109/ICSE.2019.00026

Skorstengaard, L., Devriese, D. & Birkedal, L. (2019). Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. A C M Transactions on Programming Languages and Systems, 41(4), [5]. https://doi.org/10.1145/3363519

Deuber, D., Magri, B. & Thyagarajan, S. A. K. (2019). Redactable blockchain in the permissionless setting. In Proceedings - 2019 IEEE Symposium on Security and Privacy, SP 2019 (pp. 124-138). [8835372] IEEE. https://doi.org/10.1109/SP.2019.00039

Larsen-Ledet, I., Bressa, N. A. & Vermeulen, J. (2019). Reflections on Teaching a Mandatory HCI Course to Computer Science Undergraduates. Paper presented at The 2019 EduCHI Symposium on HCI Teaching and Learning, Glasgow, United Kingdom. https://educhi2019.hcilivingcurriculum.org/wp-content/uploads/2019/04/p09-Reflections-on-Teaching-a-Mandatory-HCI-Course-to-Computer-Science-Undergraduates.pdf

Bannon, L., Bardzell, J. & Bødker, S. (2019). Reimaging Participatory Design. interactions, 26(1), 26-32. https://doi.org/10.1145/3292015

Avram, G., Choi, J. H. J., De Paoli, S., Light, A., Lyle, P. & Teli, M. (2019). Repositioning CoDesign in the age of platform capitalism: from sharing to caring. CoDesign, 15(3), 185-191. https://doi.org/10.1080/15710882.2019.1638063

Engemann, K., Pedersen, C. B., Arge, L., Tsirogiannis, C., Mortensen, P. B. & Svenning, J-C. (2019). Residential green space in childhood is associated with lower risk of psychiatric disorders from adolescence into adulthood. Proceedings of the National Academy of Sciences of the United States of America, 116(11), 5188-5193. https://doi.org/10.1073/pnas.1807504116

Blazy, O., Bossuat, A., Bultel, X., Fouque, P. A., Onete, C. & Pagnin, E. (2019). SAID: Reshaping signal into an identity-based asynchronous messaging protocol with authenticated ratcheting. In Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019 (pp. 294-309). [8806729] IEEE. https://doi.org/10.1109/EuroSP.2019.00030

Krogh, L. B., Nielsen, K. & Waaddegaard, N. (2019). SUN-projektet: Skolebaseret udvikling af naturfag og kapacitet i gymnasiet. MONA - Matematik- og Naturfagsdidaktik, (3), 47-67. https://tidsskrift.dk/mona/article/view/115582

Son, M. T., Amer-Yahia, S., Assent, I., Birk, M., Storgaard Dieu, M., Jacobsen, J. & Kristensen, J. (2019). Scalable Interactive Dynamic Graph Clustering on Multicore CPUs. IEEE Transactions on Knowledge and Data Engineering, 31(7), 1239-1252. [8340880]. https://doi.org/10.1109/TKDE.2018.2828086

Rasmussen, T. A. & Huang, W. (2019). SceneCam: Using AR to improve multi-camera remote collaboration. In SIGGRAPH Asia 2019 XR, SA 2019 (pp. 36-37). Association for Computing Machinery. https://doi.org/10.1145/3355355.3361892

Ghosh, S. (2019). Secure Computation Based On Oblivious Linear Function Evaluation. Aarhus Universitet.

Neerbek, J., Dolog, P. & Assent, I. (2019). Selective Training: A Strategy for Fast Backpropagation on Sentence Embeddings. In Q. Yang, M-L. Zhang, Z. Gong, S-J. Huang & Z-H. Zhou (Eds.), Advances in Knowledge Discovery and Data Mining - 23rd Pacific-Asia Conference, PAKDD 2019, Proceedings: PAKDD '19 (pp. 40-53). Springer. https://doi.org/10.1007/978-3-030-16142-2_4

Branzei, S., Orlandi, C. & Yang, G. (2019). Sharing Information with Competitors. In D. Fotakis & E. Markakis (Eds.), Algorithmic Game Theory: SAGT 2019 (pp. 34-48). Springer. Lecture Notes in Computer Science Vol. 11801 https://doi.org/10.1007/978-3-030-30473-7

Bressa, N. A., Wannamaker, K., Korsgaard, H., Willett, W. & Vermeulen, J. (2019). Sketching and Ideation Activities for Situated Visualization Design. In DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (pp. 173-185). Association for Computing Machinery. ACM International Conference Series https://doi.org/10.1145/3322276.3322326

Bressa, N. A. & Vermeulen, J. (2019). Sketching for Immersive Analytics with Situated Visualizations. Paper presented at The 2019 ACM CHI Conference on Human Factors in Computing Systems (CHI'19), Glasgow, United Kingdom. https://immersiveanalytics456268596.files.wordpress.com/2019/04/bressa.pdf

Nielsen, J. B. & Spitters, B. (2019). Smart Contract Interactions in Coq. (0 ed.) ArXiv.

Meijer, J. & van de Pol, J. (2019). Sound black-box checking in the LearnLib. Innovations in Systems and Software Engineering, 15(3-4), 267-287. https://doi.org/10.1007/s11334-019-00342-6

Fender, A. & Müller, J. (2019). SpaceState: Ad-Hoc Definition and Recognition of Hierarchical Room States for Smart Environments. In Proceedings of the 2019 ACM International Conference on Interactive Surfaces and Spaces, ISS 2019 (pp. 303-314). Association for Computing Machinery. https://doi.org/10.1145/3343055.3359715

Tsitsulin, A., Mottin, D., Karras, P., Bronstein, A. & Müller, E. (2019). Spectral graph complexity. In L. Liu & R. White (Eds.), The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019 (pp. 308-309). Association for Computing Machinery. https://doi.org/10.1145/3308560.3316589

Stein, B., Nielsen, B. B., Chang, B-Y. E. & Møller, A. (2019). Static Analysis with Demand-driven Value Refinement. Proceedings of the ACM on Programming Languages, 3(OOPSLA), [140]. https://doi.org/10.1145/3360566

Pedersen, M. & Askarov, A. (2019). Static Enforcement of Security in Runtime Systems. In Proceedings - 2019 IEEE 32nd Computer Security Foundations Symposium, CSF 2019 (pp. 335-350). [8823712] IEEE. https://doi.org/10.1109/CSF.2019.00030

Skorstengaard, L., Devriese, D. & Birkedal, L. (2019). StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities. Proceedings of the ACM on Programming Languages, 3(POPL), [19]. https://doi.org/10.1145/3290332

Aggarwal, D., Damgård, I., Nielsen, J. B., Obremski, M., Purwanto, E., Ribeiro, J. & Simkin, M. (2019). Stronger leakage-resilient and non-malleable secret sharing schemes for general access structures. In A. Boldyreva & D. Micciancio (Eds.), Advances in Cryptology – CRYPTO 2019 : 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings (Vol. II, pp. 510-539). Springer. Lecture Notes in Computer Science Vol. 11693 https://doi.org/10.1007/978-3-030-26951-7_18

Avdic, M. & Vermeulen, J. (2019). Studying Breakdowns in Interactions with Smart Speakers. Paper presented at The 2019 ACM CHI Conference on Human Factors in Computing Systems (CHI'19), Glasgow, United Kingdom. https://iotdirections.wordpress.com/

Hjorth, A. & Wilensky, U. (2019). Studying Conceptual Change in Classrooms Using Association Rule Mining to Detect Changes in Students' Explanations of the Effects of Urban Planning and Social Policy. Constructivist Foundations, 14(3), 272-283. https://constructivist.info/14/3/272

Shao, J., Tan, Y., Gao, L., Yang, Q., Plant, C. & Assent, I. (2019). Synchronization-based clustering on evolving data stream. Information Sciences, 501, 573-587. https://doi.org/10.1016/j.ins.2018.09.035

Bidlingmaier, M. E., Faissole, F. & Spitters, B. (2019). Synthetic topology in Homotopy Type Theory for probabilistic programming. ArXiv.

Pagnin, E., Gunnarsson, G., Talebi, P., Orlandi, C. & Sabelfeld, A. (2019). TOPPool: Time-aware Optimized Privacy-Preserving Ridesharing. Proceedings on Privacy Enhancing Technologies, 2019(4), 93-111. https://doi.org/10.2478/popets-2019-0060

Rasmussen, T. A. & Grønbæk, K. (2019). Tailorable remote assistance with RemoteAssistKit: A study of and design response to remote assistance in the manufacturing industry. In H. Nakanishi, H. Egi, I-A. Chounta, H. Takada, S. Ichimura & U. Hoppe (Eds.), Collaboration Technologies and Social Computing: 25th International Conference, CRIWG+CollabTech 2019 Kyoto, Japan, September 4–6, 2019 Proceedings (pp. 80-95). Springer. Lecture Notes in Computer Science Vol. 11677 https://doi.org/10.1007/978-3-030-28011-6_6

McFadden, I. R., Sandel, B., Tsirogiannis, C., Morueta-Holme, N., Svenning, J. C., Enquist, B. J. & Kraft, N. J. B. (2019). Temperature shapes opposing latitudinal gradients of plant taxonomic and phylogenetic β diversity. Ecology Letters, 22(7), 1126-1135. https://doi.org/10.1111/ele.13269

Larsen-Ledet, I. & Korsgaard, H. (2019). Territorial Functioning in Collaborative Writing: Fragmented Exchanges and Common Outcomes. Computer Supported Cooperative Work, 28(3-4), 391-433. https://doi.org/10.1007/s10606-019-09359-8

Ghosh, S. & Simkin, M. (2019). The Communication Complexity of Threshold Private Set Intersection. In A. Boldyreva & D. Micciancio (Eds.), Advances in Cryptology – CRYPTO 2019: 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings (Vol. II, pp. 3-29). Springer. Lecture Notes in Computer Science Vol. 11693 https://doi.org/10.1007/978-3-030-26951-7_1

Vermeulen, J., Lim, B. Y., Avdic, M., Wang, D. & Abdul, A. (2019). The Curious Case of Providing Intelligibility for Smart Speakers. Abstract from The 2019 ACM CHI Conference on Human Factors in Computing Systems (CHI'19), Glasgow, United Kingdom.

Micallef, L., Schulz, H-J., Angelini, M., Aupetit, M., Chang, R., Kohlhammer, J., Perer, A. & Santucci, G. (2019). The Human User in Progressive Visual Analytics. In EuroVis 2019 - Short Papers (pp. 19-23). Eurographics Association. https://doi.org/10.2312/evs.20191164

Hansen, K. A. (2019). The Real Computational Complexity of Minmax Value and Equilibrium Refinements in Multi-player Games. Theory of Computing Systems, 63(7), 1554-1571. https://doi.org/10.1007/s00224-018-9887-9

Afshani, P., Agrawal, M., Doerr, B., Doerr, C., Larsen, K. G. & Mehlhorn, K. (2019). The query complexity of a permutation-based variant of Mastermind. Discrete Applied Mathematics, 260, 28-50. https://doi.org/10.1016/j.dam.2019.01.007

Aranha, D. F. & Pagnin, E. (2019). The simplest multi-key linearly homomorphic signature scheme. In P. Schwabe & N. Thériault (Eds.), Progress in Cryptology – LATINCRYPT 2019 (pp. 280-300). Springer. Lecture Notes in Computer Science Vol. 11774 https://doi.org/10.1007/978-3-030-30530-7_14

Christensen, P. K., Skovgaard, C. Ø. & Petersen, M. G. (2019). Together together: Combining shared and separate activities in designing technology for family life. In Proceedings of the 18th ACM International Conference on Interaction Design and Children, IDC 2019 (pp. 374-385). Association for Computing Machinery. Proceedings of the 18th ACM International Conference on Interaction Design and Children, IDC 2019 https://doi.org/10.1145/3311927.3323141

Krogh-Jespersen, M. (2019). Towards Modular Reasoning for Stateful and Concurrent Programs. Aarhus Universitet.

Thiel, S-K., Remy, C., Roque, L., Orji, R., Dalsgaard, P., Latulipe, C. & Sarcar, S. (2019). Towards a Research Agenda for Gameful Creativity. In ompanion Publication of the 2019 on Designing Interactive Systems Conference 2019 Companion (pp. 393-396). Association for Computing Machinery. ACM conference on Designing Interactive Systems

Christensen, H. B. (2019). Uncle Henrik’s Clean Code Principles.

Larsen-Ledet, I. (2019). Understanding and Supporting Collaborative Academic Writing as a Fragmented Process. Paper presented at The ECSCW 2019 Doctoral Colloquium, Salzburg, Austria. https://doi.org/10.18420/ecscw2019_dc6

Li, Y., Tan, T. & Xue, J. (2019). Understanding and analyzing Java reflection. ACM Transactions on Software Engineering and Methodology, 28(2), [7]. https://doi.org/10.1145/3295739

Van Oosterhout, A. (2019). Understanding the benefits and drawbacks of shape change in contrast or addition to other modalities. In DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference (pp. 113-116). Association for Computing Machinery. DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference https://doi.org/10.1145/3301019.3324875

Møller-Nielsen, P. (2019). Undersøgelser omkring analyse og manipulation af musik og tale: En antologi.

Winthereik, B., Grønbæk, K., Glæsel, J. & Larsen, K. G. (2019). Vi må ikke lade skandaler om datamisbrug bremse vores brug af data i samfundets tjeneste. Berlingske. https://www.berlingske.dk/kronikker/vi-maa-ikke-lade-skandaler-om-datamisbrug-bremse-vores-brug-af-data-i

Horak, T., Mathisen, A., Klokmose, C. N., Dachselt, R. & Elmqvist, N. (2019). Vistribute: Distributing Interactive Visualizations in Dynamic Multi-Device Setups. In CHI '19 Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems [616] Association for Computing Machinery. https://doi.org/10.1145/3290605.3300846

Iversen, O. S., Eriksson, E., Wagner, M-L., Baykal, G. E., Cumbo, B., Smith, R. C., Bouvin, N. O., Fog, B. V., Van Mechelen, M., Hjorth, H. A., Klokmose, C. N., Petersen, M. G. & Musaeus, L. H. (2019). Widening the scope of FabLearn Research: Integrating Computational Thinking, Design and Making. Paper presented at Fablearn Europe 2019, Oulu, Finland.

Juul, M., Madsen, T., Guo, Q., Bertl, J., Hobolth, A., Kellis, M. & Pedersen, J. S. (2019). ncdDetect2: Improved models of the site-specific mutation rate in cancer and driver detection with robust significance evaluation. Bioinformatics, 35(2), 189-199. https://doi.org/10.1093/bioinformatics/bty511

Displaying results 301 to 350 out of 4720

Revised 07.04.2021 -

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University