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

Assadi Soumeh, E., Van Milgen, J., Sloth, N. M., Corrent, E., Poulsen, H. D. & Norgaard, J. V. (2015). The optimum ratio of standardized ileal digestible leucine to lysine for 8 to 12 kg female pigs. Journal of Animal Science, 93(5), 2218-2224. https://doi.org/10.2527/jas.2014-8699

Wang, H., Schwefel, H.-P. & Toftegaard, T. S. (2008). The Optimal Joint Power and Rate Adaption for Mobile Multicast: A Theoretical Approach. In 2008 IEEE Sarnoff Symposium IEEE Computer Society Press. https://doi.org/10.1109/SARNOF.2008.4520061

Bringmann, K., Grønlund, A., Künnemann, M. & Larsen, K. G. (2024). The NFA Acceptance Hypothesis: Non-Combinatorial and Dynamic Lower Bounds. In V. Guruswami (Ed.), 15th Innovations in Theoretical Computer Science Conference (ITCS 2024) (pp. 22:1-22:25). Article 22 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITCS.2024.22

Vindum, S. F., Georges, A. L. & Birkedal, L. (2025). The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic. In K. Stark, A. Timany, S. Blazy & N. Tabareau (Eds.), Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2025 (pp. 83-97). Association for Computing Machinery. https://doi.org/10.1145/3703595.3705876

Christensen, H. B. (2012). The Net4Care Platform. http://www.net4care.org

Caspersen, M. E. & Christensen, H. B. (2003). The Need for Killer Examples for Object-Oriented Frameworks. In OOPSLA Workshop "Killer Examples": Conference on Object Oriented Programming Systems Languages and Applications Association for Computing Machinery.

Klokmose, C. N. & Bertelsen, O. W. (2013). The Mysterious Whiteboard. In P. Kotzé , G. Marsden , G. Lindgaard, J. Wesson & M. Winckler (Eds.), Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II (pp. 37-54 ). Springer VS. https://doi.org/10.1007/978-3-642-40480-1_3

Ursem, R. K. & Justesen, P. (2010). The Multi-Objective Distinct Candidates Optimization approach. In B. Filipic & J. Silc (Eds.), Proceedings of the 4th International Conference on Bioinspired Optimization Methods and their Applications (BIOMA 2010) (pp. 55-66). Ljublana: Jozef Stefan Institute.

Brian, G., Faonio, A., Obremski, M., Ribeiro, J., Simkin, M., Skorski, M. & Venturi, D. (2022). The Mother of All Leakages: How to Simulate Noisy Leakages via Bounded Leakage (Almost) for Free. IEEE Transactions on Information Theory, 68(12), 8197-8227. https://doi.org/10.1109/TIT.2022.3193848

Dooms, G. & Katriel, I. (2006). The Minimum Spanning Tree Constraint. In F. Benhamou (Ed.), CP 2006 (pp. 152-166) https://doi.org/10.1007/11889205_13

Faist, P., Dupont-Dupuis, F., Oppenheim, J. & Renner, R. (2015). The minimal work cost of information processing. Nature Communications, 6, Article 7669. https://doi.org/10.1038/ncomms8669

Caragiannis, I., Shah, N. & Voudouris, A. A. (2022). The Metric Distortion of Multiwinner Voting. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 4900-4907. https://doi.org/10.1609/aaai.v36i5.20419

Caragiannis, I., Shah, N. & Voudouris, A. A. (2022). The metric distortion of multiwinner voting. Artificial Intelligence, 313, Article 103802. https://doi.org/10.1016/j.artint.2022.103802

Brabrand, C., Schwartzbach, M. I., Vangaard, M., Bryant, B. R. (Ed.) & Saraiva, J. (Ed.) (2003). The METAFRONT System: Extensible Parsing and Transformation. In LDTA'2003 - Language descriptions, Tools and Applications. Proceedings (pp. 592-611). Elsevier. https://doi.org/10.1016/S1571-0661(05)82622-2

Brabrand, C. & Schwartzbach, M. I. (2007). The METAFRONT System: Safe and Extensible Parsing and Transformation. Science of Computer Programming, 68(1), 2-20. https://doi.org/10.1016/j.scico.2005.06.007

Christensen, H. B., Bardram, J. & Dittmer, S. (2001). Theme One: Administration and Documentation of Medicine Report and Evaluation. Department of Computer Science, Aarhus University.

Høgsgaard, M. M., Larsen, K. G. & Mathiasen, M. E. (2024). The Many Faces of Optimal Weak-to-Strong Learning. https://arxiv.org/pdf/2408.17148

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. 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.

Displaying results 651 to 700 out of 5776

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University