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

Musaeus, L. H., Sørensen, M.-L. S. K., Palfi, B. S., Iversen, O. S., Klokmose, C. N. & Petersen, M. G. (2022). CoTinker: Designing a Cross-device Collaboration Tool to Support Computational Thinking in Remote Group Work in High School Biology. In Participative Computing for Sustainable Futures : Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI’22) Article 49 Association for Computing Machinery. https://doi.org/10.1145/3546155.3546709

Musaeus, L. H., Van Mechelen, M., Caspersen, M. E. & Iversen, O. S. (2022). Empowerment through computational thinking: A literature survey. Acta Didactica Norden, 16(4), Article 1. https://doi.org/10.5617/adno.9152

Musaeus, L. H., Hansen, J. Ø. & Nielsen, K. (2023). Computational thinking i matematik, naturfag og samfundsfag: hvorfor, hvad og hvordan? . MONA - Matematik- og Naturfagsdidaktik, 2023(1), 45-71.

Musaeus, L. H., Petersen, M. G. & Klokmose, C. N. (2024). Bringing Teachers and Researchers together through Participatory Design and Cooperative Prototyping in Computing Education. In SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education (Vol. 1, pp. 902-908). Association for Computing Machinery. https://doi.org/10.1145/3626252.3630796

Musaeus, L. H. & Musaeus, P. (2024). Computational Thinking and Modeling: A Quasi-Experimental Study of Learning Transfer. Education Sciences, 14(9), Article 980. https://doi.org/10.3390/educsci14090980

Musaeus, L. H. (2025). Fostering Students’ Comprehension of Generative AI in Informatics Education in High School. 1. Poster session presented at ISLS annual meeting, Helsinki, Finland. https://sites.google.com/view/isls2025nms#h.9j0gw0lhuegi

Munro, J. I., Navarro, G., Nielsen, J. A. S. & ShaH, R. (2014). Top- k Term-Proximity in Succinct Space. In H.-K. Ahn & C.-S. Shin (Eds.), Algorithms and Computation: 25th International Symposium, ISAAC 2014, Proceedings (pp. 169-180 ). Springer VS. https://doi.org/10.1007/978-3-319-13075-0_14

Munro, J. I., Navarro, G., Nielsen, J. S., Shah, R. & Thankachan, S. V. (2017). Top-k Term-Proximity in Succinct Space. Algorithmica, 78(2), 379-393. https://doi.org/10.1007/s00453-016-0167-2

Munch-Hansen, A., Orlandi, C. & Yakoubov, S. (2021). Stronger Notions and a More Efficient Construction of Threshold Ring Signatures. In P. Longa & C. Ràfols (Eds.), Progress in Cryptology – LATINCRYPT 2021 : 7th International Conference on Cryptology and Information Security in Latin America, Proceedings (pp. 363-381). Springer. https://doi.org/10.1007/978-3-030-88238-9_18

Munch-Hansen, A. (2023). Quattro Formaggi: Zero-Knowledge from VOLE. [PhD dissertation, Aarhus University]. Aarhus Universitet.

Müller-Lennert, M., Dupont-Dupuis, F., Szehr, O., Fehr, S. & Tomamichel, M. (2013). On quantum Rényi entropies: A new generalization and some properties. Journal of Mathematical Physics, 54(12), Article 122203. https://doi.org/10.1063/1.4838856

Müller, E., Assent, I., Günnemann, S., Gerwert, P., Hannen, M., Jansen, T. & Seidl, T. (2011). A Framework for Evaluation and Exploration of Clustering Algorithms in Subspaces of High Dimensional Databases. In T. Härder, W. Lehner, B. Mitschang, H. Schöning & H. Schwarz (Eds.), Proceedings of the 14th GI Conference on Database Systems for Business, Technology, and the Web (BTW 2011) (pp. 347-366). Gesellschaft für Informatik e.V..

Müller, E., Assent, I., Günnemann, S. & Seidl, T. (2011). Scalable Density-Based Subspace Clustering. In Proceedings of the 20th ACM international conference on Information and knowledge management (pp. 1077-1086). Association for Computing Machinery. https://doi.org/10.1145/2063576.2063733

Müller, E., Assent, I., Günnemann, S., Seidl, T. & Dy, J. (2015). MultiClust special issue on discovering, summarizing and using multiple clusterings. Machine Learning, 98(1-2), 1-5. https://doi.org/10.1007/s10994-014-5445-0

Müller, J., Eberle, D. & Schmidt, C. (2015). BaseLase: An Interactive Focus + Context Laser Floor. In B. Begole & J. Kim (Eds.), CHI '15, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems (pp. 3869-3878 ). Association for Computing Machinery. http://dx.doi.org/10.1145/2702123.2702246

Müller, A., Bøcher, P. K. & Svenning, J.-C. (2015). Where are the wilder parts of anthropogenic landscapes? A mapping case study for Denmark. Landscape and Urban Planning, 144(Dec.), 90-102. https://doi.org/10.1016/j.landurbplan.2015.08.016

Müller, J., Oulasvirta, A. & Murray-Smith, R. (2017). Control theoretic models of pointing. ACM Transactions on Computer-Human Interaction, 24(4), Article 27. https://doi.org/10.1145/3121431

Müller, J. (2017). Dynamics of pointing with pointer acceleration. In R. Bernhaupt, G. Dalvi, A. Joshi, D. K. Balkrishan, J. O'Neill & M. Winckler (Eds.), Human-Computer Interaction - INTERACT 2017 - 16th IFIP TC 13 International Conference, Proceedings (Vol. 10515 LNCS, pp. 475-495). Springer VS. https://doi.org/10.1007/978-3-319-67687-6_33

Müller, M., Schuster, P., Starup, J. L., Ostermann, K. & Brachthäuser, J. I. (2023). From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), Article 255. https://doi.org/10.1145/3622831

Muller, E., Assent, I., Iglesias, P., Mülle, Y. & Böhm, K. B. (2012). Outlier Ranking via Subspace Analysis in Multiple Views of the Data. In Proceedings of the 12th IEEE International Conference on Data Mining, ICDM (pp. 529 - 538 ). IEEE Communications Society. https://doi.org/10.1109/ICDM.2012.112

Muller, M., Neureiter, K., Verdezoto, N., Krischkowsky, A., Al Zubaidi-Polli, A. M. & Tscheligi, M. (2016). Collaborative Appropriation: How Couples, Teams, Groups and Communities Adapt and Adopt Technologies. In Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion, CSCW 2016 Companion: CSCW '16 Companion (pp. 473-480). Association for Computing Machinery. https://doi.org/10.1145/2818052.2855508

Mukund, M. & Nielsen, M. (1992). CCS, locations and asynchronous transition systems. In R. Shyamasundar (Ed.), Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18-20, 1992 Proceedings (pp. 328-341). Springer. https://doi.org/10.1007/3-540-56287-7_116

Mukherjee, P. & Wichs, D. (2015). Two Round MPC from LWE via Multi-Key FHE. Cryptology ePrint Archive. http://eprint.iacr.org/2015/345

Mukherjee, P. (2015). Protecting Cryptographic Memory against Tampering Attack. Department of Computer Science, Aarhus University.

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

Mu, Q., Borowski, M., Grønbæk, J. E., Bødker, S. & Hoggan, E. (2024). Whispering Through Walls: Towards Inclusive Backchannel Communication in Hybrid Meetings. In CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems: Proceedings of the 2024 CHI Conference on Human Factors in Computing Systems Article 1032 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642419

Mu, Q. (2026). Exploring Backchannel Communication in Hybrid Meetings. [PhD dissertation, Aarhus University].

Mottin, D., Lissandrini, M., Velegrakis, Y. & Palpanas, T. (2019). Exploring the Data Wilderness through Examples. In SIGMOD 2019 - Proceedings of the 2019 International Conference on Management of Data (pp. 2031-2035). Association for Computing Machinery. https://doi.org/10.1145/3299869.3314031

Mosses, P. D. (2002). A Modular SOS for Action Notation - Revisited. (pp. 75-76). BRICS.

Mosses, P. D. (2002). Action Semantics and ASF+SDF: System demonstration. Electronic Notes in Theoretical Computer Science, 65(3).

Mosses, P. D. (Ed.) (2004). Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language. (2960 i Lecture Notes in Computer Science ed.) Springer.

Mosses, P. D. (2004). Exploiting Labels in Structural Operational Semantics. Fundamenta Informaticae, 60, 17-31.

Mosses, P. D., Haddad, H. (Ed.), Omicini, A. (Ed.), Wainwright, R. L. (Ed.) & Liebrock, L. M. (Ed.) (2004). Exploiting Labels in Structural Operational Semantics. In Ikke angivet (pp. 1476-1481). Association for Computing Machinery.

Mosses, P. D., Karsai, G. (Ed.) & Visser, E. (Ed.) (2004). Modular Language Descriptions. In Ikke angivet (3286 i Lecture Notes in Computer Science ed., pp. 489-490). Springer.

Mosses, P. D. (2004). Modular Structural Operational Semantics. Journal of Logical and Algebraic Methods in Programming, 60-61, 195-228.

Mosses, P. D., Kirchner, H. (Ed.) & Ringeissen, C. (Ed.) (2002). Pragmatics of Modular SOS. In Ikke angivet (2422 of Lecture Notes in Computer Science ed., pp. 49-72). Springer.

Mosses, P. D. (2002). Proceedings of the 4th International Workshop on Action Semantics. (BRICS NS-02-8 ed.) Aarhus University.

Mosses, P. D., Bjørner, D. (Ed.), Broy, M. (Ed.) & Zamulin, A. V. (Ed.) (2001). The Varieties of Programming Language Semantics (and Their Uses). In Perspectives of System Informatics: Lecture Notes in Computer Science (Vol. 2244, pp. 165-190). Springer.

Mosses, P. D. (2005). Exploiting Labels in Structural Operational Semantics. BRICS Report Series, (RS-05-8).

Mosses, P. D. (2005). Modular Structural Operational Semantics. BRICS Report Series, (RS-05-7).

Mosses, P. D. & Czaja, L. (Ed.) (2003). Some Novel Techniques in Operational Semantics. In L. Czaja (Ed.), Concurrency, Specification, and Programming, CS\&P 2003, Czarna, Poland, Proceedings (pp. 21-34). Warsaw University.

Mosegaard, J. (2004). Parameter Optimisation for the Behaviour of Elastic Models over Time. In J. D. Westwood (Ed.), Medicine Meets Virtual Reality (Vol. Technology and informatics 98, pp. 256-258). IOS Press.

Mosegaard, J. (2004). LR-Spring Mass Model for Cardiac Surgical Simulation. In Medicine Meets Virtual Reality (12 ed., Vol. 98, pp. 253-255). IOS Press.

Mosegaard, J. & Bennedsen, J. (2006). A Framework for Narration and Learning in Educational Multimedia. In D. Lassner & C. McNaught (Eds.), World Conference on Educational Multimedia, Hypermedia and Telecommunications 2003 (Vol. 2003, Issue 1, pp. 99-106). ED-MEDIA.

Mosegaard, J., Carstensen, B. S., Rasmusson, A. & Sørensen, T. S. (2007). Smooth haptic interaction from discontinuous simulation data. In Proceedings of Medicine Meets Virtual Reality 15. Studies in Health Technology and Informatics (Vol. 125, pp. 328-333). IOS Press.

Mosegaard, J. (2006). Cardiac Surgery Simulation.

Moruz, G. (2007). Hardware-Aware Algorithms and Data Structures.

Mortensen, K. H. (2001). Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator. In K. Jensen (Ed.), Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 57-75). Department of Computer Science, Aarhus University.

Mortensen, K. H., Schougaard, K. R., Schultz, U. P., Markopoulos, P. (Ed.), Eggen, B. (Ed.) & Aarts (Ed.) (2004). Distance-Based Access Modifiers Applied to Safety in Home Networks. In Ambient Intelligence: Second European Symposium (3295 i Lecture Notes in Computer Science ed., pp. 315-326). Springer.

Mortensen, K. H., Schougaard, K. S. F. & Schultz, U. P. (2003). A Programming Language Approach to Safety in Home Networks. Center for Pervasive Computing Publications, CfPC-2003-PB-53.

Displaying results 1351 to 1400 out of 5919

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University