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

Buscher, M., Mogensen, P. H., Shapiro, D. & Wagner, I. (2002). The Manufaktur: Supporting Work Practice in (Landscape) Architecture. In Proceedings of the The Sixth European Conference on Computer Supported Cooperative Work (pp. 21-40). Springer. https://doi.org/10.1007/0-306-47316-X_2

Bødker, S., Christiansen, E. T., Markussen, R. & Lytje, I. (1992). The Man in the Woman in the Researcher. Paper presented at Conference on Gender, Technology and Ethics, Luleå, Sweden.

Kölker, J. (2012). The Magnets Puzzle is NP-Complete. Journal of Information Processing, 20(3), 707-708 . https://doi.org/10.2197/ipsjjip.20.707

Christensen, M., Crabtree, A., Damm, C. H., Hansen, K. M., Madsen, O. L., Marqvardsen, P., Mogensen, P. H., Sandvad, E., Sloth, L. & Thomsen, M. (1998). The M.A.D Experience: Multiperspective Application Development in Evolutionary Prototyping. In E. Jul (Ed.), ECOOP'98 - Object-Oriented Programming: 12th European Conference Brussels, Belgium, July 20-24, 1998 Proceedings (pp. 13-40). Springer. https://doi.org/10.1007/BFb0054085

Kaspersen, M. H., Bilstrup, K.-E. K. & Petersen, M. G. (2021). The Machine Learning Machine: A Tangible User Interface for Teaching Machine Learning. In TEI 2021 - Proceedings of the 15th International Conference on Tangible, Embedded, and Embodied Interaction (pp. 1-12). Article 19 Association for Computing Machinery. https://doi.org/10.1145/3430524.3440638

Brabrand, C., Møller, A. & Schwartzbach, M. I. (2002). The <bigwig> Project. A C M Transactions on Internet Technology, 2(2), 79-114. https://doi.org/10.1145/514183.514184

Timany, A., Guéneau, A. & Birkedal, L. (2024). The Logical Essence of Well-Bracketed Control Flow. Proceedings of the ACM on Programming Languages , 8(POPL), 575-603. https://doi.org/10.1145/3632862

Remy, C., Bates, O., Thomas, V. & Huang, E. M. (2017). The Limits of Evaluating Sustainability. 103-110. Paper presented at ACM Limits 2017, Santa Barbara, California, United States. https://doi.org/10.1145/3080556.3080567

Krink, T., Løvbjerg, M., Guervós, J. J. M. (Ed.), Adamidis, P. (Ed.), Beyer, H.-G. (Ed.), Fernández-Villacañas Martin, J.-L. (Ed.) & Schwefel, H.-P. (Ed.) (2002). The LifeCycle model: Combining Particle Swarm Optimisation, Genetic Algorithms and HillClimbers. In Lecture Notes in Computer Science: Parallel Problem Solving from Nature --- PPSN VII (Vol. 2439, pp. 621-630). Springer.

Haselwarter, P. G., Hvass, B. S., Hansen, L. L., Winterhalter, T., Hriţcu, C. & Spitters, B. (2024). The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. In A. Timany, D. Traytel, B. Pientka & S. Blazy (Eds.), CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (pp. 30-44). Association for Computing Machinery. https://doi.org/10.1145/3636501.3636961

Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2000). The Knight Project: Tool Support for Collaborative Object-Oriented Modeling. Pictures, Video and sound recordings (digital)

Hansen, K. M. (1999). The Knight Project: Supporting Collaboration in Object-Oriented Analysis and Design. In Object-Oriented Technology, ECOOP'99 Workshops, Panels, and Posters, Proceedings http://www.daimi.au.dk/~knight/documents/oohf.pdf

Hansen, K. M., MacIntyre, B., Mynatt, E. D., Voida, S. & Tullio, J. (2001). The Kimura System. Pictures, Video and sound recordings (digital)

Larsen, K. G. & Nelson, J. (2016). The Johnson-Lindenstrauss Lemma Is Optimal for Linear Dimensionality Reduction. Leibniz International Proceedings in Informatics, 55, 82:1 - 82:11. https://doi.org/10.4230/LIPIcs.ICALP.2016.82

Bardram, J. E. (2005). The Java Context Awareness Framework (JCAF): A Service Infrastructure and Programming Framework for Context-Aware Applications. In Proceedings of the 3rd International Conference on Pervasive Computing (Pervasive 2005) (pp. 98-115). Springer LNCS.

Wong, E., Grønbæk, J. E. & Velloso, E. (2024). The Jamais Vu Efect: Understanding the Fragile Illusion of Co-presence in Mixed Reality. In A. Vallgarda, L. Jonsson, J. Fritsch, S. F. Alaoui & C. A. Le Dantec (Eds.), DIS '24: Proceedings of the 2024 ACM Designing Interactive Systems Conference (pp. 2227-2246). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3643834.3661574

Arge, L. A. (1995). The I/O-complexity of Ordered Binary-Decision Diagram manipulation: Extended Abstract. In J. Staples, P. Eades, N. Katoh & A. Moffat (Eds.), Algorithms and Computations: 6th International Symposium, ISAAC '95 Cairns, Australia, December 4-6, 1995 Proceedings (pp. 82-91). Springer. https://doi.org/10.1007/BFb0015411

Grönvall, E., Conci, M., Giusti, L. & Leonardi, C. (2010). The intrinsic fragility of elderly care networks: five challenges in Participatory Design practices. D A I M I P B, (593), 20-24.

Zerny, I. (2014). The interpretation and inter-derivation of small-step and big-step specifications. Department of Computer Science, University of Aarhus.

Dalsgaard, P., Halskov, K. & Klokmose, C. N. (2013). The interplay between personal and collaborative computing at big wall displays. In M. Rester, P. Judmaier, T. De Groeve & A. Annunziato (Eds.), Collaborative Human-Computer Interaction with Big Wall Displays - BigWallHCI 2013 3rd JRC ECML Crisis Management Technology Workshop: 3rd JRC ECML Crisis Management Technology Workshop Publications office of the European Union. http://lunar.jrc.it/critech/Home/tabid/36/Default.aspx

Bødker, S., Petersen, M. G. & Krogh, P. G. (2001). The interactive design collaboratorium. In Human-Computer Interaction - INTERACT '01 (pp. 51-58). IOS Press.

Sandel, B. S., Arge, L. A., Dalsgaard, B., Davies, R., Gaston, K., Sutherland, B. & Svenning, J.-C. (2011). The influence of Late Quaternary climate-change velocity on species endemism. Science, 334, 660-664.

Wigard, J., Nielsen, T. T., Skjærris, S. & Mogensen, P. E. (1999). The influence of Discontinuous Transmission on RXQUAL statistics in GSM. In 1999 IEEE 49th Vehicular Technology Conference (pp. 2505-2509). IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1999.778534

Karbasi, A. & Larsen, K. G. (2024). The Impossibility of Parallelizing Boosting. In Proceedings of Machine Learning Research (Vol. 237, pp. 635-653)

Moeslund, J. E., Arge, L. A., Bøcher, P. K., Nygaard, B. & Svenning, J.-C. (2009). The impacts of coastal squeezing on salt-meadow plant communities in Denmark. Poster session presented at Beyond Kyoto: Addressing the challenges of climate change, Aarhus, Denmark.

Toftkjær, T. & Kjærgaard, M. B. (2012). The impact of sensor errors and building structures on particle filter-based inertial positioning. Pervasive and Mobile Computing, 8(5), 764–776. https://doi.org/10.1016/j.pmcj.2011.07.001

Hansen, D. C., Bassler, N., Sørensen, T. S. & Seco, J. (2014). The image quality of ion computed tomography at clinical imaging dose levels. Medical Physics, 41(11), Article 111908. https://doi.org/10.1118/1.4897614

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

Bødker, S. & Klokmose, C. N. (2011). The Human-Artifact Model: An Activity Theoretical Approach to Artifact Ecologies. Human-Computer Interaction, 26(4), 315-371. https://doi.org/10.1080/07370024.2011.626709

Bauer, A., Gross, J., Lumsdaine, P. L., Shulman, M., Sozeau, M. & Spitters, B. (2017). The HoTT Library: A Formalization of Homotopy Type Theory in Coq. In Y. Bertot & V. Vafeiadis (Eds.), CPP 2017 - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, co-located with POPL 2017: CPP 2017 (pp. 164-172). Association for Computing Machinery. https://doi.org/10.1145/3018610.3018615

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.

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.

Displaying results 651 to 700 out of 5647

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University