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

Bauer, A., Gross, J., Lumsdaine, P. L., Shulman, M., Sozeau, M. & Spitters, B. (2016). The HoTT Library: A formalization of homotopy type theory in Coq. http://arxiv.org/abs/1610.04591

Brønsted, J. R., Skou, A. J., Madsen, P. P. & Torbensen, R. S. (2010). The HomePort System. In 7th IEEE Consumer Communications and Networking Conference (CCNC 2010). Proceedings (pp. 1-5). IEEE. https://doi.org/10.1109/CCNC.2010.5421606

Frederiksen, T. K. (2015). The Hitchhiker’s Guide to Garbled Circuits: Garbled Circuits and their Applications to Maliciously Secure Two-Party Protocols. Department of Computer Science, Aarhus University.

Dithmer, M., Rasmussen, J. O., Grönvall, E., Spindler, H., Hansen, J., Nielsen, G., Sørensen, S. B. & Dinesen, B. (2016). "The Heart Game": Using Gamification as Part of a Telerehabilitation Program for Heart Patients. Games for Health, 5(1), 27-33. https://doi.org/10.1089/g4h.2015.0001

Ernst, E. (2005). The Hardship of Software. In Proceedings of the workshop 'Software Engineering Properties of Languages and Aspect Technologies 2005' The Aspect-Oriented Software Association.

Hoque, M. N., Mashiat, T., Ghai, B., Shelton, C., Chevalier, F., Kraus, K. & Elmqvist, N. (2024). The HaLLMark Effect: Supporting Provenance and Transparent Use of Large Language Models in Writing with Interactive Visualization. In CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Article 1045 Association for Computing Machinery. https://doi.org/10.1145/3613904.3641895

Clouston, R., Bizjak, A., Grathwohl, H. B. & Birkedal, L. (2016). The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types. Logical Methods in Computer Science, 12(3), 1 - 39.

Berstel, J. & Nielsen, M. (1976). The growth range equivalence problem for DOL systems is decidable. In A. Lindenmayer & G. Rozenberg (Eds.), Automata, Languages, Development: at the crossroads of biology, mathematics and computer science (pp. 161-178). North-Holland.

Christensen, H. B. (2023). The Green Architecture Framework: Energy-efficient Software Architecture.

Kejser, T. & Grønbæk, K. (2003). The Gaia Framework: Version Support In Web Based Open Hypermedia. In P. Isaías & N. Karmakar (Eds.), Proceedings of the IADIS International Conference on WWW/Internet 2003 (pp. 314-325). International Association for Development, IADIS.

Grønbæk, K. & Kejser, T. (2004). The Gaia Framework: Version Support In Web Based Open Hypermedia. IADIS International Journal on WWW/Internet, 2(1), 17-33.

Bardram, J. E. & Christensen, H. B. (2001). The future of Medical Work: 2 video-prototypes for Pervasive Healthcare. Pictures, Video and sound recordings (digital)

Fuchsberger, V., Murer, M., Tscheligi, M., Lindtner, S., Reiter, A., Bardzell, S., Bardzell, J. & Bjørn, P. (2015). The Future of Making: Where Industrial and Personal Fabrication Meet. Aarhus Series on Human Centered Computing, 1(1). http://ojs.statsbiblioteket.dk/index.php/ashcc/article/view/21394/18857

Bates, O., Thomas, V., Remy, C., Nathan, L. P., Mann, S. & Friday, A. (2018). The future of HCI and sustainability: Championing environmental and social justice. In R. Mandryk & M. Hancock (Eds.), CHI EA '18 Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (Vol. 2018-April). Article SIG01 Association for Computing Machinery. https://doi.org/10.1145/3170427.3185365

Jensen, C. (Ed.), Lind Olsen, E. (Ed.), Mikkelsen, G. L., Syberg , L., Nielsen, L. L., Hansen, M. A. E., Hjortlund, M., Madsen, O. L., Høngaard Andersen, P. & Duvold, T. (2018). The future market for cybersecurity in Denmark.

Goldberg, P. W., Høgh, K. & Hollender, A. (2025). The frontier of intractability for EFX with two agents. Theoretical Computer Science, 1052, Article 115367. https://doi.org/10.1016/j.tcs.2025.115367

Branzei, S., Chen, Y., Deng, X., Filos-Ratsikas, A., Frederiksen, S. K. S. & Zhang, J. (2014). The Fisher Market Game: Equilibrium and Welfare. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (pp. 587-593). AAAI Press. http://www.aaai.org/Library/AAAI/aaai14contents.php

Pavlogiannis, A. (2020). The Fine-Grained Complexity of Andersen's Pointer Analysis. ArXiv. https://arxiv.org/abs/2006.01491

Mathiasen, A. A. & Pavlogiannis, A. (2021). The Fine-Grained and Parallel Complexity of Andersen’s Pointer Analysis. Proceedings of the ACM on Programming Languages , 5(POPL), Article 34. https://doi.org/10.1145/3434315

Iversen, O. S., Krogh, P. G. & Petersen, M. G. (2003). The Fifth Element - promoting the perspective of aesthetic interaction. In M. Hertzum & S. Heilesen (Eds.), Proceedings of the third Danish Human-Computer Interaction Research Symposium (pp. 45-50). Roskilde Universitet.

Bertelsen, O. W. (1996). The Festival Checklist: design as the transformation of artefacts. In PDC '96, Proceedings of the Participatory Design Conference (pp. 93-101). Computer Professionals for Social Responsibility.

Fandina, O. N., Høgsgaard, M. M. & Larsen, K. G. (2023). The Fast Johnson-Lindenstrauss Transform Is Even Faster. In A. Krause, E. Brunskill, K. Cho, B. Engelhardt, S. Sabato & J. Scarlett (Eds.), Proceedings of ICML 2023 (pp. 9689-9715). MLResearch Press.

Ernst, E. (2004). The Expression Problem, Scandinavian Style. In MASPEGHI 2004 (ISRN I3S/RR-2004-15-FR ed.). Laboratoire I3S, Sophia Antipolis.

Torgersen, M. & Odersky, M. (Ed.) (2004). The Expression Problem Revisited - Four New Solutions using Generics. In Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP'04) (3086 i Lecture Notes in Computer Science ed., pp. 123-146). Springer.

Hansen, K. M., Kristensen, L. M., Eskildsen, T., Nielsen, K.-D., Thorup, R. E., Fridthjof, J., Merrild, U. & Eskildsen, J. (2004). The Ex Hoc Infrastructure - Enhancing Traffic Safety through LIfe WArning Systems. In H. Lahrmann, P. H. Jespersen, A. Landex, O. A. Nielsen & T. Hels (Eds.), Proceedings of Trafikdage 2004 (pp. 15-24). Aalborg Universitetsforlag. http://www.trafikdage.dk/papers/soeg/Paper.asp/?PaperID=1044

Hansen, K. M. (2006). The Ex hoc Architecture. Computer programme

Garg, S., Mukherjee, P., Pandey, O. & Polychroniadou, A. (2016). The Exact Round Complexity of Secure Computation. In M. Fischlin & J.-S. Coron (Eds.), Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (pp. 448 - 476). Springer VS. https://doi.org/10.1007/978-3-662-49896-5

Krebbers, R., Jung, R., Bizjak, A., Jourdan, J.-H., Dreyer, D. & Birkedal, L. (2017). The Essence of Higher-Order Concurrent Separation Logic. In H. Yang (Ed.), Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings (pp. 696-723). Springer VS. https://doi.org/10.1007/978-3-662-54434-1_26

Sieczkowski, F., Stepanenko, S., Sterling, J. & Birkedal, L. (2024). The Essence of Generalized Algebraic Data Types. Proceedings of the ACM on Programming Languages , 8(POPL), 695-723. https://doi.org/10.1145/3632866

Danvy, O., Malmkjær, K. & Palsberg, J. (1995). The essence of eta-expansion in partial evaluation. Higher-Order and Symbolic Computation, 8(3), 209-227. https://doi.org/10.1007/BF01019004

Østerby, O. (1998). The Error of the Crank-Nicolson Method for Linear Parabolic Equations with a Derivative Boundary Condition. Department of Computer Science, Aarhus University. DAIMI PB No. 534

Fritsch, J., Dalsgård, P. & Dindler, C. (2006). The Energy Table: Augmenting the Exhibition Space at The Danish Electricity Museum. In Proceedings of Scandinavian Student Interaction Design Conference (SIDER) 2006

Brodal, G. S., Brodnik, A. & Davoodi, P. (2013). The encoding complexity of two dimensional range minimum data structures. In H. L. Bodlaender & G. F. Italiano (Eds.), Algorithms – ESA 2013: 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings (pp. 229-240). Springer VS. https://doi.org/10.1007/978-3-642-40450-4_20

Larsen, J., Green, O., Nadimi, E. S. & Toftegaard, T. S. (2011). The Effect on Wireless Sensor Communication When Deployed in Biomass. Sensors, 11(9), 8295-8308. https://doi.org/10.3390/s110908295

Bieniasz, L. K., Østerby, O. & Britz, D. (1997). The effect of the discretization of the mixed boundary conditions on the numerical stability of the Crank-Nicolson algorithm of electrochemical kinetic simulations. Computers and Chemistry, 21(6), 391-401. https://doi.org/10.1016/S0097-8485(97)00033-8

Bataillon, T., Mailund, T., Thorlacius, S., Steingrimsson, E., Rafnar, T., Halldorsson, M., Calian, V. & Schierup, M. H. (2006). The effective size of the Icelandic population and the prospects for LD mapping: inference from unphased microsatellite markers. European Journal of Human Genetics, 14, 1044–1053. https://doi.org/10.1038/sj.ejhg.5201669

Aarhus, R., Ballegaard, S. A. & Hansen, T. R. (2009). The eDiary: Bridging home and hospital through healthcare technology. In E. Balka, L. Ciolofi, C. Simone, H. Tellioglu & I. Wagner (Eds.), Proceedings of the 11th European Conferenceon Computer Supported Cooperative Work (pp. 63-83). Springer. https://doi.org/10.1007/978-1-84882-854-4_4

Zheng, S. & Zhang, W. (2005). The DW Shortest Path Algorithm and Its Application In Logic Diagram Routing. Jisuanji Gongcheng, 31(19), 192-194.

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2002). The DSD Schema Language. Automated Software Engineering, 9(3), 285-319. https://doi.org/10.1023/A:1016376608070

Hansen, K. M. & Thomsen, M. (1999). The "Domain Model Concealer" and "Application Moderator" patterns: Addressing architechtural uncertainty in interactive systems. In Technology of Object-Oriented Languages and Systems, 1999. TOOLS 31. Proceedings (pp. 177-190). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.1999.796481

Emiris, I. Z., Mourrain, B. & Tsigaridas, E. (2010). The DMM Bound: Multivariate (Aggregrate) Separation Bounds. International Symposium on Symbolic and Algebraic Computation, 243-250. https://doi.org/10.1145/1837934.1837981

Halasz, F., Schwartz, M., Grønbæk, K. (Ed.) & Trigg, R. H. (Ed.) (1994). The Dexter hypertext reference model. Association for Computing Machinery. Communications, 37(2), 30-39. https://doi.org/10.1145/175235.175237

Møller, A. & Schwartzbach, M. I. (2005). The Design Space of Type Checkers for XML Transformation Languages. In Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings (pp. 17-36). Springer. https://doi.org/10.1007/978-3-540-30570-5_2

Jensen, K. (1985). The Design of a Program Package for an Introductory Petri Net Course. In G. Rozenberg, H. Genrich & G. Roucairol (Eds.), Advances in Petri Nets 1984 (Vol. 188, pp. 259-266). Springer. https://doi.org/10.1007/3-540-15204-0_15

Bødker, S. & Buur, J. (2002). The Design Collaboratorium - a place for usability design. ACM Transactions on Computer-Human Interaction, 9(2), 152-169. https://doi.org/10.1145/513665.513670

Kjelstrom, A. H. & Pavlogiannis, A. (2022). The Decidability and Complexity of Interleaved Bidirected Dyck Reachability. Proceedings of the ACM on Programming Languages , 6(POPL), Article 12. https://doi.org/10.1145/3498673

Videbech, P., Ravnkilde, B., Pedersen, T. H., Hartvig, H., Egander, A., Clemmensen, K., Rasmussen, N. A., Andersen, F., Gjedde, A. & Rosenberg, R. (2002). The Danish PET/depression project: clinical symptoms and cerebral blood flow. A regions-of-interest analysis. Acta Psychiatrica Scandinavica, 106(1), 35-44.

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.

Gambs, S., Ranellucci, S. & Tapp, A. (2015). The crypto-democracy and the trustworthy (position paper). In Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance: 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers (Vol. 8872, pp. 58-76). Springer VS. https://doi.org/10.1007/978-3-319-17016-9_5

Gambs, S., Ranellucci, S. & Tapp, A. (2014). The Crypto-democracy and the Trustworthy. Paper presented at Data Privacy Management, Wroclaw, Poland. http://arxiv.org/pdf/1409.2432v1.pdf

Displaying results 701 to 750 out of 5851

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University