Aarhus University Seal

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

Petersen, M. G., Ludvigsen, M. & Krogh, P. (2009). Reconnecting Actions and Consequences. In First International Workshop on Expressive Interactions for Sustainability and Empowerment (EISE 2009): Session 4: Near-end Development for Empowerment BCS, The Chartered Institute for IT.
Petersen, D. E., Li, S., Stokbro, K., Sørensen, H. H. B., Hansen, P. C., Skelboe, S. & Darve, E. (2009). A hybrid method for the parallel computation of Green’s functions. Journal of Computational Physics, 228(14), 5020-5039. https://doi.org/10.1016/j.jcp.2009.03.035 |
Petersen, L. K., Vaesel, H., Brønsgaard, P. H., Kolby, P. & Madsen, K. G. (2009). Kendskab til humant papillomvirus-relateret sygdom blandt kvinder i almen praksis. Ugeskrift for Læger, 171(14), 1173-7.
Petersen, M. G., Krogh, P., Mortensen, M. B., Møller-Lassen, T. & Mortensen, D. H. (2010). Collective interaction by design collective controllers for social navigation on digital photos. In Proceedings of the 6th Nordic Conference on Human-Computer Interaction: Extending Boundaries (pp. 353-362). Association for Computing Machinery. https://doi.org/10.1145/1868914.1868956
Petersen, M. G., Lynggard, A. B., Krogh, P. G. & Winther, I. W. (2010). Tactics for homing in mobile life: a fieldwalk study of extremely mobile people. In Proceedings of the 12th International Conference on Human Computer Interaction with Mobile Devices and Services: Proceedings of the 12th international conference on Human computer interaction with mobile devices and services (pp. 265-274). Association for Computing Machinery. https://doi.org/10.1145/1851600.1851646
Petersen, M. G., Krogh, P., Ludvigsen, M. & Lykke-Olesen, A. (2005). Floor interaction: HCI reaching new ground. In CHI '05 extended abstracts on Human factors in computing systems (pp. 1717-1720). Association for Computing Machinery. https://doi.org/10.1145/1056808.1057005
Petersen, M. G. (2003). Everyday Artefacts - Challenges and opportunities for HCI. Paper presented at Home Oriented Informatics and Telematics Conference. HOIT 2003, Irvine, CA, United States.
Petersen, M. G. (2005). Aesthetics of Interaction – a Pragmatist Perspective. In Aesthetic Approaches to Human-Computer Interaction: Proceedings of the NordiCHI 2004 Workshop (pp. 31-32). Department of Computer Science, Aarhus University.
Petersen, M. G. (2002). Time and Learning in HCI. In E. Frøkjær & K. Hornbæk (Eds.), Proceedings of the 2nd Danish Human-Computer Interaction Research Symposium (pp. 42-45). University of Copenhagen.
Petersen, M. G. & Baillie, L. (2001). Methodologies for Designing Future Household Technologies. In Proceedings of the OIKOS Workshop (pp. 47-49). Aarhus Universitetsforlag.
Petersen, M. G. & Rasmussen, M. K. (2011). The Ambiguity of Shape Changing Interfaces. Paper presented at Organic User Interface Workshop, Funchal, Portugal.
Petersen, M. G. & Rasmussen, M. K. (2011). Value representations: a value based dialogue tool. In making Design Matter! : Proceedings Nordes '11 : the Nordic 4th Nordic Design Research Conference (pp. 284-287). School of Art & Design, Aalto University . http://ocs.sfu.ca/nordes/index.php/nordes/2011/paper/view/445
Petersen, M. G., Rasmussen, M. K. & Jakobsen, K. (2015). Framing open-ended and constructive play with emerging interactive materials. In Proceedings of the 14th International Conference on Interaction Design and Children , IDC '15 (pp. 150-159 ). Association for Computing Machinery. https://doi.org/10.1145/2771839.2771855
Petersen, M. G., Rasmussen, M. K. & Krogh, P. G. (2017). Collective Interaction: A Designerly Visual Analysis of Seven Research Prototypes. In Proceedings of the 29th Australian Computer-Human Interaction Conference: Human-Nature, OzCHI 2017 (pp. 68-76). Association for Computing Machinery. https://doi.org/10.1145/3152771.3152779
Petersen, M. G., Rasmussen, M. K. & Trettvik, J. (2020). Affordances of Shape-Changing Interfaces: An Information Perspective on transformability and Movement. In DIS 2020 - Proceedings of the 2020 ACM Designing Interactive Systems Conference (pp. 1959-1971). Association for Computing Machinery. https://doi.org/10.1145/3357236.3395521
Petersen, M. G. (2003). Designing for Learning in Use of Everyday Artefacts. Department of Computer Science, Aarhus University.
Petersen, R. K. B. (2022). A Tale of Twines, Quadrangles and Colorful Hierarchies. [PhD thesis, Aarhus University]. Aarhus Universitet.
Perera, K. T., Langlotz, T., Pantidi, N. & Regenbrecht, H. (2025). Exploring Eye Visibility and Mutual Gaze in Augmented Reality Glasses. In S. Viller, J. Paay, J. Fredericks & J. Turner (Eds.), Proceedings of the 36th Australasian Conference on Human-Computer Interaction, OzCHI 2024 (pp. 752-759). Association for Computing Machinery. https://doi.org/10.1145/3726986.3726999
Perera, K. T., Langlotz, T., Pantidi, N. & Regenbrecht, H. (2025). What you see is (not necessarily) what i see - Pervasive AR for Public Displays. In S. Viller, J. Paay, J. Fredericks & J. Turner (Eds.), Proceedings of the 36th Australasian Conference on Human-Computer Interaction, OzCHI 2024 (pp. 59-73). Association for Computing Machinery. https://doi.org/10.1145/3726986.3727005
Pedersen, C. N. S., Scharling, T., Guigó, R. (Ed.) & Gusfield, D. (Ed.) (2002). Comparative Methods for Gene Structure Prediction in Homologous Sequences. In Ikke angivet (2452 of Lecture Notes in Computer Science ed., Vol. 2452/2002, pp. 220-234). Springer.
Pedersen, M. Ø. & Pagter, J. I. (2007). The All-or-Nothing Anti-Theft Policy - Theft Protection for Pervasive Computing. In Proceedings of AINA Workshops (1 ed., Vol. 1, pp. 626-631). IEEE Computer Society Press.
Pedersen, C. S. & Kristensen, T. G. (2009). Optimal Overlay of Ligands with Flexible Bonds Using Differential Evolution. Poster session presented at 17th Annual International Conference on Intelligent Systems for Molecular Bioligy (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sweden. http://www.iscb.org/ismbeccb2009/poster_list.php?cat=C
Pedersen, C. N. S., Axelsen, K. B., Harper, J. F. & Palmgren, M. G. (2012). Evolution of plant P-type ATPases. Frontiers in Plant Science, 21. https://doi.org/10.3389/fpls.2012.00031
Pedersen, M. V. & Askarov, A. (2017). From Trash to Treasure: Timing-Sensitive Garbage Collection. In 2017 IEEE Symposium on Security and Privacy, SP 2017 - Proceedings (pp. 693-709). Article 7958605 IEEE Computer Society Press. https://doi.org/10.1109/SP.2017.64
Pedersen, M. & Chong, S. (2019). Programming with Flow-Limited Authorization: Coarser is Better. In Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019 (pp. 63-78). Article 8806736 IEEE. https://doi.org/10.1109/EuroSP.2019.00015
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
Pedersen, J. M., Blatchley Hansen, A. & Halbe Torres, M. (2023). Winning the European Cyber Security Challenge 2022: What did We Learn? In International Symposium on Project Approaches in Engineering Education (pp. 139-148) http://paee.dps.uminho.pt/proceedingsSCOPUS/PAEE_ALE_2023_PROCEEDINGS.pdf
Pavlogiannis, A. (2020). Fast, Sound, and Effectively Complete Dynamic Race Prediction. Proceedings of the ACM on Programming Languages , 4(POPL), 1-29. Article 17. https://doi.org/10.1145/3371085
Pavlogiannis, A., Schaumberger, N., Schmid, U. & Chatterjee, K. (2020). Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(11), 3981-3992. Article 9211419. https://doi.org/10.1109/TCAD.2020.3012803
Paviotti, M., Møgelberg, R. E. & Birkedal, L. (2015). A model of PCF in guarded type theory. Electronic Notes in Theoretical Computer Science, 319, 333–349. https://doi.org/10.1016/j.entcs.2015.12.020
Pauli, A. B., Derczynski, L. & Assent, I. (2022). Modelling Persuasion through Misuse of Rhetorical Appeals. In NLP4PI 2022 - 2nd Workshop on NLP for Positive Impact, Proceedings of the Workshop (pp. 89-100). Association for Computational Linguistics. https://doi.org/10.18653/v1/2022.nlp4pi-1.11
Pauli, A. B., Derczynski, L. & Assent, I. (2023). Anchoring Fine-tuning of Sentence Transformer with Semantic Label Information for Efficient Truly Few-shot Classification. In H. Bouamor, J. Pino & K. Bali (Eds.), Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing (pp. 11254–11264). Association for Computational Linguistics. https://doi.org/10.18653/v1/2023.emnlp-main.692
Pauli, A. B., Pablos Sarabia, R., Derczynski, L. & Assent, I. (2023). TeamAmpa at SemEval-2023 Task 3: Exploring Multilabel and Multilingual RoBERTa Models for Persuasion and Framing Detection. In A. K. Ojha, A. S. Doğruöz, G. Da San Martino, H. Tayyar Madabushi, R. Kumar & E. Sartori (Eds.), Proceedings of the 17th International Workshop on Semantic Evaluation (SemEval-2023) (pp. 847–855). Association for Computational Linguistics. https://doi.org/10.18653/v1/2023.semeval-1.117
Pauli, A. B., Augenstein, I. & Assent, I. (2025). Measuring and Benchmarking Large Language Models’ Capabilities to Generate Persuasive Language. In Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers) (pp. 10056-10075). Association for Computational Linguistics. https://doi.org/10.18653/v1/2025.naacl-long.506