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

Østerby, O. (2019). Saul’yev and Group Explicit Methods. In DAIMI Report Series (600 ed., pp. 1-19) https://doi.org/10.7146/dpb.v44i600.113208

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. Article 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 - 12th International Symposium, SAGT 2019, Proceedings: SAGT 2019 (pp. 34-48). Springer. 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. 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 ISS 2019 - Proceedings of the 2019 ACM International Conference on Interactive Surfaces and Spaces (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), Article 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). Article 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), Article 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. 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

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/163891

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.

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, Proceedings: 25th International Conference, CRIWG+CollabTech 2019 Kyoto, Japan, September 4–6, 2019 Proceedings (pp. 80-95). Springer. 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. 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

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

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

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. 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. https://doi.org/10.1145/3311927.3323141

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

Thiel, S.-K., Remy, C., Roque, L., Orji, R., Dalsgaard, P., Latulipe, C. & Sarcar, S. (2019). Towards a Research Agenda for Gameful Creativity. In DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference (pp. 393-396). Association for Computing Machinery. https://doi.org/10.1145/3301019.3320003

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

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

Li, Y., Tan, T. & Xue, J. (2019). Understanding and analyzing Java reflection. ACM Transactions on Software Engineering and Methodology, 28(2), Article 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. https://doi.org/10.1145/3301019.3324875

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 Tidende. https://www.berlingske.dk/kronikker/vi-maa-ikke-lade-skandaler-om-datamisbrug-bremse-vores-brug-af-data-i

Bardam, S. K., Mathisen, A., Rädle, R., Klokmose, C. N. & Elmqvist, N. (2019). Vistrates: A Component Model for Ubiquitous Analytics. IEEE Transactions on Visualization and Computer Graphics, 25(1), 586-596. Article 8440803. https://doi.org/10.1109/TVCG.2018.2865144

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

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

David, B., Dowsley, R. & Larangeira, M. (2018). 21 - Bringing down the complexity: Fast composable protocols for card games without secret state. In W. Susilo & G. Yang (Eds.), Information Security and Privacy - 23rd Australasian Conference, ACISP 2018, Proceedings (pp. 45-63). Springer. https://doi.org/10.1007/978-3-319-93638-3_4

Ciosici, M. R. & Assent, I. (2018). Abbreviation Expander: A web-based system for easy reading of technical documents. 1-4. Paper presented at CoLing 2018, Santa Fe, United States. http://www.aclweb.org/anthology/C18-2001

Jordan, V. E., Walker, J. A., Beckstrom, T. O., Steely, C. J., McDaniel, C. L., St Romain, C. P., The Baboon Genome Analysis Consortium, Worley, K. C., Phillips-Conroy, J., Jolly, C. J., Rogers, J., Konkel, M. K. & Batzer, M. A. (2018). A computational reconstruction of Papio phylogeny using Alu insertion polymorphisms. Mobile DNA, 9(1), Article 13. https://doi.org/10.1186/s13100-018-0118-3

Bertelsen, O. W. (2018). Against Boredom: The Demonic Pantheism in Design. In J. Bardzell, S. Berdzell & M. Blythe (Eds.), Critical Theory and Interaction Design (pp. 81-94). MIT Press.

Timany, A., Stefanesco, L., Krogh-Jespersen, M. & Birkedal, L. (2018). A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST. In Proceedings of the ACM on Programming Languages (Vol. 2, pp. 64:00-64:28). Association for Computing Machinery. https://doi.org/10.1145/3158152

Bizjak, A. & Birkedal, L. (2018). A Model of Guarded Recursion via Generalised Equilogical Spaces. Theoretical Computer Science, 722, 1-18. https://doi.org/10.1016/j.tcs.2018.02.012

The Baboon Genome Analysis Consortium (2018). Analysis of lineage-specific Alu subfamilies in the genome of the olive baboon, Papio anubis. Mobile DNA, 9(1), Article 10. https://doi.org/10.1186/s13100-018-0115-6

Huang, D., Morrisett, G. & Spitters, B. (2018, Jun 20). An Application of Computable Distributions to the Semantics of Probabilistic Programs. Cornell University.

Afshani, P., De Berg, M., Casanova, H., Karsin, B., Lambrechts, C., Sitchinava, N. & Tsirogiannis, C. (2018). An efficient algorithm for the 1D total visibility-index problem and its parallelization. ACM Journal of Experimental Algorithmics, 23, Article 2.3. https://doi.org/10.1145/3209685

Displaying results 1501 to 1550 out of 5913

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University