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

Caspersen, M. E., Madsen, O. L. & Skov, S. H. (2001). Testing Object-Oriented Software. Department of Computer Science, Aarhus University.

Achenbach, M. & Ostermann, K. (2010). Testing Object-Oriented Programs using Dynamic Aspects and Non-Determinism. In Proceedings of the 1st Workshop on Testing Object-Oriented Systems. Etoos '10 (pp. Article No. 3 ). Association for Computing Machinery. https://doi.org/10.1145/1890692.1890695

Lundby, C., Achman-Andersen, N. J., Thomsen, J. J., Norgaard, A. M. & Robach, P. (2008). Testing for recombinant human erythropoietin in urine: problems associated with current anti-doping testing. Journal of Applied Physiology, 105(2), 417-9. https://doi.org/10.1152/japplphysiol.90529.2008

Reetz, E., Lehmann, A., Kümper, D. & Tönjes, R. (2012). Test Driven Life Cycle Management for Internet of Things based Services: a Semantic Approach. Paper presented at International Conference on Advances in System Testing and Validation Lifecycle, Lisbon, Portugal.

Bertelsen, O. W. (2008). Tertiary Artefacts at the Interface. In P. A. Fishwick (Ed.), Aesthetic Computing (pp. 357-368). MIT Press.

Bertelsen, O. W. (2006). Tertiary Artefactness at the Interface. In P. A. Fishwick (Ed.), Aesthetic Computing (1 ed.). The MIT Press.

Larsen-Ledet, I. & Korsgaard, H. (2019). Territorial Functioning in Collaborative Writing: Fragmented Exchanges and Common Outcomes. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 28(3-4), 391-433. https://doi.org/10.1007/s10606-019-09359-8

Strandberg, B., Magård, E., Bak, J. L., Pedersen, M. B., Damgaard, C., Fredshavn, J. R., Løkke, H. & Nielsen, K. E. (2005). Terrestriske naturtyper 2004: NOVANA. Danmarks Miljøundersøgelser, Aarhus Universitet. Faglig rapport fra DMU No. 557 http://www2.dmu.dk/1_viden/2_Publikationer/3_fagrapporter/rapporter/FR557.PDF

Danner, A., Mølhave, T., Yi, K., Agarwal, P. K., Arge, L. & Mitasova, H. (2007). TerraStream: From Elevation Data to Watershed Hierarchies. In Proceedings of the 15th ACM International Symposium on Advances in Geographic Information Systems (pp. 1-8). Association for Computing Machinery. https://doi.org/10.1145/1341012.1341049

Wang, Q., Kaul, M., Long, C. & Wong, R. (2014). Terrain-Toolkit: A Multi-Functional Tool for Terrain Data. Proceedings of the VLDB Endowment, 7(13), 1645 - 1648. http://www.vldb.org/pvldb/vol7/p1645-wang.pdf

Wang, Q., Kaul, M., Long, C. & Wong, R. C. W. (2014). Terrain-Toolkit: A multi-functional tool for terrain data. Proceedings of the VLDB Endowment, 7(13), 1645-1648. http://www.scopus.com/inward/record.url?scp=84905856022&partnerID=8YFLogxK

Jensen, K. (Ed.) (2009). Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 19-21, 2009. Department of Computer Science, Aarhus University.

Pakanen, M., Polli, A. M., Lee, S., Lindley, J. & Goncalves, J. (2013). Tending a Virtual Garden: Exploring Connectivity between Cities. In UbiComp '13 Adjunct Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication (pp. 761-764 ). Association for Computing Machinery. https://doi.org/10.1145/2494091.2496004

Nielsen, M. & Valencia, F. D. (2003). Temporal constraint programming: A framework for discrete-timed systems. Association for Logic Programming Newsletter, 15(4).

Nielsen, M., Palamidessi, C. & Valencia, F. D. (2002). Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nordic Journal of Computing, 9(2), 145-188.

Nielsen, M. & Valencia, F. D. (2001). Temporal Concurrent Constraint Programming: Applications and Behavior. BRICS Report Series, (RS-01-48).

Nielsen, M. & Valencia Posso, F. D. (2002). Temporal Concurrent Constraint Programming: Applications and Behavior. In W. Brauer, H. Ehrig, J. Karhumäki & A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (pp. 298-324). Springer. https://doi.org/10.1007/3-540-45711-9_17

Bøgh, K. S., Chester, S., Sidlauskas, D. & Assent, I. (2017). Template Skycube Algorithms for Heterogeneous Parallelism on Multicore and GPU Architectures. In SIGMOD 2017 - Proceedings of the 2017 ACM International Conference on Management of Data (pp. 447-462). Association for Computing Machinery. https://doi.org/10.1145/3035918.3035962

Anderson, K. M., Hansen, F. A. & Bouvin, N. O. (2006). Templates and Queries in Contextual Hypermedia. In Proceedings of the 17th ACM Hypertext 2006 Conference (pp. 99-110). Association for Computing Machinery. https://doi.org/10.1145/1149941.1149961

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

Aarhus, R., Gjerlufsen, T., Hohn, T. & Vesterby, M. (2010). Telemedicine for Healthy Patients. In Infrastructure for Health Care: Connecting practices across institutional and professional boundaries (pp. 5-6). University of Copenhagen. http://www.sundhedsit.net/fileadmin/sundhedsitnet/Downloads/Abstracts_Infrastructures09.pdf

Clemensen, J. & Larsen, S. B. (2007). Telemedical Treatment of Diabetic Foot Ulcers. In Private Hospital Healthcare Europe 2007 (pp. IT23-IT24). Campden Publishing Limited.

Clemensen, J., Larsen, S. B. & Ejskjær, N. (2005). Telemedical Treatment at Home of Diabetic Foot Ulcers. Journal of Telemedicine and Telecare, 11(Suppl. 2), S14-16.

Clemensen, J., Larsen, S. B., Kirkevold, M. & Ejskjær, N. (2007). Telemedical Teamwork between Home and Hospital: A Synergetic Triangle Emerges. In Information Technology in Health Care 2007: Proceedings of the 3rd International Conference on Information Technology in Health Care: Socio-technical Approaches (Vol. 130, pp. 81-89). IOS Press.

Ballegaard, S. A. & Aarhus, R. (2009). Teknologiers mellemkomst i ambulant behandling og egenomsorg: med fokus på gravide kvinder med diabetes. Tidsskrift for Forskning i Sygdom og Samfund, (11), 71-85.

Mueller, F., Petersen, M. G. & Li, Z. (2023). Technology futures: Towards understanding how to design awe-inspiring futures. International Journal of Human Computer Studies, 170, Article 102961. https://doi.org/10.1016/j.ijhcs.2022.102961

Bødker, S., Kristensen, J. F., Nielsen, C. & Sperschneider, W. (2003). Technology for Boundaries. In Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work (pp. 311-320). Association for Computing Machinery. https://doi.org/10.1145/958160.958210

Bødker, S. (1992). Technology as a vehicle for Organisational Learning and Change. Department of Computer Science, Aarhus University.

Kristensen, M. (2007). Technology and work within emergency medicine. Paper presented at The 10th European Conference on Computer Supported Co-operative Work, Limerick, Ireland.

Torp, M. T. (2021). Techniques and Tools for Supporting Maintenance of Node.js Programs. [PhD dissertation, Aarhus University]. Aarhus Universitet.

Møller, A. (2018). Technical Perspective: WebAssembly: A Quiet Revolution of the Web. Communications of the A C M, 61(12), 106-106. https://doi.org/10.1145/3282508

Grønbæk, K. (Ed.) (2000). Technical documentation for the COCONUT project. Department of Computer Science, Aarhus University.

Lewkowicz, M., Bødker, S., Boden, A. & Fedosov, A. (2021). Technical Design and Development of Future Platforms.

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

Brabrand, C. (2006). Teaching Teaching & Understanding Understanding: A short-film about constructive alignment.. Pictures, Video and sound recordings (digital) . http://www.daimi.au.dk/~brabrand/short-film/

Brabrand, C. & Andersen, J. (2006). Teaching Teaching & Understanding Understanding. Pictures, Video and sound recordings (digital) . http://www.daimi.au.dk/~brabrand/short-film

Andersen, P. B., Bennedsen, J., Brandorff, S., Caspersen, M. E. & Mosegaard, J. (2003). Teaching Programming to Liberal Arts Students: a Narrative Media Approach. In Proceedings of the 8th annual conference on Innovation and technology in computer science education (8 ed., pp. 109-113). Association for Computing Machinery. https://doi.org/10.1145/961511.961543

Bergin, J., Wallingford, E., Caspersen, M. E., Goldweber, M. & Kolling, M. (Eds.) (2005). Teaching polymorphism early. In 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005) (pp. 342-343). Association for Computing Machinery. https://doi.org/10.1145/1067445.1067541

Knudsen, J. L., Madsen, O. L., Nørgaard, C., Petersen, L. B. & Sandvad, E. S. (1990). Teaching Object-Oriented Programming Using Beta. In Proceedings of the Apple European University Consortium Annual Conference Apple European University Consortium Annual Conference.

Bennedsen, J. & Caspersen, M. E. (2004). Teaching Object-Oriented Programming - Towards Teaching a Systematic Programming Process. Paper presented at Eighth Workshop on Pedagogies and Tools for the Teaching and Learning of Object Oriented Concepts. Affiliated with 18th European Conference on Object-Oriented Programming (ECOOP 2004), Oslo, Norway.

Kristensen, L. M. & Jensen, K. (2008). Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. LNCS Transactions on Petri Nets and Other Models of Concurrency. (ToPNoC), I, 19-34. https://doi.org/10.1007/978-3-540-89287-8_2

Kristensen, L. M. & Jensen, K. (2007). Teaching Modelling and Validation of Concurrent Systems using Coloured Petri Nets. In Proceedings 2nd workshop on Teaching Concurrency (pp. 67-77). University of Podlasie, Institute of Computer Science.

Christensen, H. B. (2022). Teaching Microservice Architecture Using DevOps - An Experience Report. In Software Architecture - 16th European Conference, ECSA 2022, Proceedings (pp. 117-130). Springer. https://doi.org/10.1007/978-3-031-16697-6_8

Christensen, H. B., Kirkeby, M. H., Thomsen, B. & Thomsen, L. L. (2025). Teaching Energy-Efficient Software - An Experience Report. ArXiv. https://arxiv.org/abs/2504.19707

Christensen, H. B. (2023). Teaching Distributed Programming - Revisiting the Broker Pattern. In Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023 (pp. 162-168). Association for Computing Machinery. https://doi.org/10.1145/3593663.3593674

Christensen, H. B. (2016). Teaching DevOps and Cloud Computing using a Cognitive Apprenticeship and Story-Telling Approach. In ITiCSE 2016 - Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education (pp. 174-179). Association for Computing Machinery. https://doi.org/10.1145/2899415.2899426

Jørgensen, J. B., Christensen, S., Desel, J. (Ed.), Reisig, W. (Ed.) & Rozenberg, G. (Ed.) (2004). Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. In Proceedings of Advances Course on Petri Nets (Eichstatt) (3098 i Lecture Notes in Computer Science ed., pp. 402-412). Springer.

Aminimehr, A., Khani, P., Molaei, A., Kazemeini, A. & Cambria, E. (2024). TbExplain: A Text-Based Explanation Method for Scene Classification Models with the Statistical Prediction Correction. In GUIDE-AI '24: Proceedings of the Conference on Governance, Understanding and Integration of Data for Effective and Responsible AI (pp. 54-60). Association for Computing Machinery. https://doi.org/10.1145/3665601.3669841

Stisen, A., Mathisen, A., Krogh, S., Blunck, H., Kjærgaard, M. B. & Prentow, T. S. (2016). Task Phase Recognition for Highly Mobile Workers in Large Building Complexes. In 2016 IEEE International Conference on Pervasive Computing and Communications, PerCom 2016 Article 7456504 IEEE. https://doi.org/10.1109/PERCOM.2016.7456504

Stisen, A., Blunck, H., Kjærgaard, M. B., Prentow, T. S., Mathisen, A., Krogh , S. & Grønbæk, K. (2017). Task phase recognition and task progress estimation for highly mobile workers in large building complexes. Pervasive and Mobile Computing, 38(2), 418-429. https://doi.org/10.1016/j.pmcj.2016.08.016

Displaying results 851 to 900 out of 5928

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University