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

MacIntyre, B., Mynatt, E. D., Voida, S., Hansen, K. M. & Tullio, J. (2001). Hypermedia in the Kimura System: Using Spatial, Temporal & Navigational Relationships to Support Multitasking and Background Awareness. In Proceedings of the 12th ACM Conference on Hypertext and Hypermedia (pp. 6-8). Association for Computing Machinery. https://doi.org/10.1145/504216.504222

Machado, R. J., Lassen, K. B., Oliveira, S., Couto, M. & Pinto, P. (2005). Execution of UML Models with CPN Tools for Workflow Requirements Validation. In Proceedings of Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, volume PB-576 of DAIMI (pp. 231-250). DAIMI PB-576.

Machado, R. J., Lassen, K. B., Oliveira, S., Couto, M. & Pinto, P. (2007). Requirements Validation: Execution of UML Models with CPN Tools. International Journal on Software Tools for Technology Transfer.

Ma, M., Yang, B. & Jensen, C. S. (2014). Enabling Time-Dependent Uncertain Eco-Weights For Road Networks. In M. A. Nascimento & M. Renz (Eds.), Proceedings of the 1st International ACM Workshop on Managing and Mining Enriched Geo-spatial Data: GeoRich 2014 Article 1 Association for Computing Machinery. https://doi.org/10.1145/2619112.2619113

Ma, W., Egger, M. K., Pavlogiannis, A., Li, Y. & Karras, P. (2024). Reachability-Aware Fair Influence Maximization. In W. Zhang, Z. Yang, X. Wang, A. Tung, Z. Zheng & H. Guo (Eds.), Web and Big Data - 8th International Joint Conference, APWeb-WAIM 2024, Proceedings: 8th International Joint Conference, APWeb-WAIM 2024, Jinhua, China, August 30 – September 1, 2024, Proceedings, Part III (pp. 342-359). BMJ, Springer Nature. https://doi.org/10.1007/978-981-97-7238-4_22

Ma, M. Y. (2015). Enabling Time-Dependent Uncertain Edge Weights and Stochastic Routing in Road Networks. Department of Computer Science, Aarhus University.

Lystbæk, M. N., Pfeuffer, K., Grønbæk, J. E. S. & Gellersen, H. (2022). Exploring Gaze for Assisting Freehand Selection-based Text Entry in AR. Proceedings of the ACM on Human-Computer Interaction, 6(ETRA), Article 141. https://doi.org/10.1145/3530882

Lystbæk, M. N., Rosenberg, P., Pfeuffer, K., Grønbæk, J. E. & Gellersen, H. (2022). Gaze-Hand Alignment: Combining Eye Gaze and Mid-Air Pointing for Interacting with Menus in Augmented Reality. Proceedings of the ACM on Human-Computer Interaction, 6(ETRA), Article 145. https://doi.org/10.1145/3530886

Lystbæk, M. N., Pfeuffer, K., Langlotz, T., Grønbæk, J. E. & Gellersen, H. (2024). Spatial Gaze Markers: Supporting Effective Task Switching in Augmented Reality. In F. Mueller, P. Kyburz, J. Williamson, C. Sas, M. Wilson, P. Dugas & I. Shklovski (Eds.), CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems: Proceedings of the CHI Conference on Human Factors in Computing Systems Article 633 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642811

Lystbæk, M. N., Mikkelsen, T., Krisztandl, R., Gonzalez, E. J., Gonzalez-Franco, M., Gellersen, H. & Pfeuffer, K. (2024). Hands-on, Hands-off: Gaze-Assisted Bimanual 3D Interaction. In UIST 2024 - Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology: Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology Article 80 Association for Computing Machinery. https://doi.org/10.1145/3654777.3676331

Lyngsø, R. B., Pedersen, C. N. S., Eades, P. (Ed.) & Takaoka, T. (Ed.) (2001). Complexity of Comparing Hidden Markov Models. In Ikke angivet (2223 of Lecture Notes in Computer Science ed., pp. 416-428). Springer.

Lyngsø, R. B. & Pedersen, C. N. S. (2002). The Consensus String Problem and the Complexity of Comparing Hidden Markov Models. Journal of Computer and System Sciences, 65(3), 545-569.

Lynggaard, A. B., Petersen, M. G., Gude, R. & Mortensen, M. B. (2010). Home awareness - connecting people sensuously to places. In O. W. Bertelsen, P. Krogh, K. Halskov & M. G. Petersen (Eds.), Proceedings of the 8th ACM Conference on Designing Interactive Systems, DIS '10 (pp. 416-418). Association for Computing Machinery. https://doi.org/10.1145/1858171.1858251

Lynggaard, A. B., Petersen, M. G. & Hepworth, S. (2012). "I had a dream and i built it": power and self-staging in ubiquitous high-end homes. In CHI EA '12 : CHI '12 Extended Abstracts on Human Factors in Computing Systems (pp. 201-210). Association for Computing Machinery. https://doi.org/10.1145/2212776.2212798

Lyle, P. J. & Kannabiran, G. (2019). Public Outcomes of Publicly Funded Socio-Technical Projects: Reflections on Empowerment, Participation, and Researcher Responsibility. In J. E. Fischer, S. Martindale, M. Porcheron, S. Reeves & J. Spence (Eds.), HTTF 2019: : Proceedings of the Halfway to the Future Symposium 2019 (2019 ed., pp. 1-3). Article 3363480 Association for Computing Machinery. https://doi.org/10.1145/3363384.3363480

Lyle, P., Korsgaard, H. & Bødker, S. (2020). What's in an Ecology? A Review of Artifact, Communicative, Device and Information Ecologies. In NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society (pp. 1-14). Article 88 Association for Computing Machinery. https://doi.org/10.1145/3419249.3420185

Lyle, P. J. & Korsgaard, H. (2020). Community Values and Technological Mechanisms: Learning from The Amish?. 5. Paper presented at Studying Technical Mechanisms for Supporting Sharing Communities, Siegen, Germany.

Lykke, O. A., Hansen, T. R. & Eriksson, E. (2004). A video of Mixed Interaction Space video. Center for Pervasive Healthcare. DCS. AU. DK. http://www.daimi.au.dk/~thomasr/interaction

Lutze, M., Madsen, M., Schuster, P. & Brachthäuser, J. I. (2023). With or Without You: Programming with Effect Exclusion. Proceedings of the ACM on Programming Languages , 7(ICFP), 448-475. https://doi.org/10.1145/3607846

Lutze, M. & Madsen, M. (2024). Associated Effects: Flexible Abstractions for Effectful Programming. Proceedings of the ACM on Programming Languages , 8, Article 163. https://doi.org/10.1145/3656393

Lutze, M., Schuster, P. & Brachthäuser, J. I. (2025). The Simple Essence of Monomorphization. Proceedings of the ACM on Programming Languages , 9(OOPSLA1), Article 116. https://doi.org/10.1145/3720472

Lunemann, C. & Nielsen, J. B. (2011). Fully simulatable quantum-secure coin-flipping and applications. Lecture Notes in Computer Science, 6737, 21-40. https://doi.org/10.1007/978-3-642-21969-6_2

Lunemann, C. (2010). Cryptographic Protocols under Quantum Attacks. Department of Computer Science, Aarhus University.

Lunding, M. S., Grønbæk, J. E. S., Bilstrup, K. E. K., Sørensen, M. L. S. K. & Petersen, M. G. (2022). ExposAR: Bringing Augmented Reality to the Computational Thinking Agenda through a Collaborative Authoring Tool. In CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Article 131 Association for Computing Machinery. https://doi.org/10.1145/3491102.3517636

Lunding, M. S., Leiva, G., Grønbæk, J. E. & Petersen, M. G. (2022). ProjectAR: Rapid Prototyping of Projection Mapping with Mobile Augmented Reality. Poster session presented at Adjunct Proceedings of the 2022 Nordic Human-Computer Interaction Conference. https://doi.org/10.1145/3547522.3547679

Lunding, M. S., Grønbæk, J. E., Grymer, N., Wells, T., Houben, S. & Petersen, M. G. (2023). Reality and Beyond: Proxemics as a Lens for Designing Handheld Collaborative Augmented Reality. Proceedings of the ACM on Human-Computer Interaction, 7(ISS), 21-40. Article 427. https://doi.org/10.1145/3626463

Lunding, R. S., Lystbæk, M. N., Feuchtner, T. & Grønbæk, K. (2023). AR-supported Human-Robot Collaboration: Facilitating Workspace Awareness and Parallelised Assembly Tasks. In G. Bruder, A.-H. Olivier, A. Cunningham, E. Y. Peng, J. Grubert & I. Williams (Eds.), Proceedings - 2023 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2023 (pp. 1064-1073). IEEE. https://doi.org/10.1109/ISMAR59233.2023.00123

Lunding, R. S., Lunding, M. S., Feuchtner, T., Petersen, M. G., Grønbæk, K. & Suzuki, R. (2024). RoboVisAR: Immersive Authoring of Condition-based AR Robot Visualisations. In HRI '2024: Proceedings of the 2024 ACM/IEEE International Conference on Human-Robot Interaction (pp. 462-471). Association for Computing Machinery. https://doi.org/10.1145/3610977.3634972

Lunding, R., Hubenschmid, S., Feuchtner, T. & Grønbæk, K. (2025). ARTHUR: authoring human–robot collaboration processes with augmented reality using hybrid user interfaces. Virtual Reality, 29(2), Article 73. https://doi.org/10.1007/s10055-025-01149-6

Lunding, R. S., Feuchtner, T. & Grønbaek, K. (2025). Investigating AR Assistance for Human-Robot Collaboration in Mould Assembly 'in the Wild'. In HRI 2025 - Proceedings of the 2025 ACM/IEEE International Conference on Human-Robot Interaction (pp. 540-549). IEEE. https://doi.org/10.1109/HRI61500.2025.10973920

Lunding, M. S. (2024). Bringing Augmented Reality to the Computational Thinking Agenda: Designing AR Authoring Tools for Novice Users to support Creation, Reflection and Collaboration.

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

Lund, H. H., Mayoh, B. H. & Perram, J. (2001). Seventh Scandinavian Conference on Artificial Intelligence. In Frontiers in Artificial Intelligence and Applications (66 ed.). IOS Press.

Lund, J., Jensen, L. B., Battle, N., Larsen, P. G. & Macedo, H. D. (2023). Bidirectional UML Visualisation of VDM Models.

Ludvigsen, M. (2002). Playful Interaction. Paper presented at IRIS 2002 Jamboree/review at the International Conference on Ubiquitous Computing, Göteborg, Sweden.

Ludvigsen, M., Fogtmann, M. H. & Grønbæk, K. (2010). TacTowers: An Interactive Training Equipment for Elite. In O. W. Bertelsen, P. G. Krogh, K. Halskov & M. G. Petersen (Eds.), Proceedings of the 8th ACM Conference on Designing Interactive Systems (pp. 412-415). Association for Computing Machinery. https://doi.org/10.1145/1858171.1858250

Lucas, C., Raub, D. & Maurer, U. (2010). Hybrid-secure MPC : trading information-theoretic robustness for computational privacy. In Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing. PODC '10 (pp. 219-228). Association for Computing Machinery. https://doi.org/10.1145/1835698.1835747

Lucani Rötter, D. E., Nielsen, L., Orlandi, C., Pagnin, E. & Vestergaard, R. (2020). Secure generalized deduplication via multi-key revealing encryption. In C. Galdi & V. Kolesnikov (Eds.), Security and Cryptography for Networks (pp. 298-318). Springer. https://doi.org/10.1007/978-3-030-57990-6_15

Lu, H., Jensen, C. S. & Zhang, Z. (2011). Flexible and Efficient Resolution of Skyline Query Size Constraints. I E E E Transactions on Knowledge & Data Engineering, 23(7), 991-1005. https://doi.org/10.1109/TKDE.2010.47

Lu, H., Yang, B. & Jensen, C. S. (2011). Spatio-temporal joins on symbolic indoor tracking data. Proceedings of the International Conference on Data Engineering, 816-827. https://doi.org/10.1109/ICDE.2011.5767902

Lu, H., Cao, X. & Jensen, C. S. (2012). A Foundation for Efficient Indoor Distance-Aware Query Processing. In IEEE 28th International Conference on Data Engineering (ICDE) (pp. 438 -449). IEEE Press. https://doi.org/10.1109/ICDE.2012.44

Lu, H. & Jensen, C. S. (2012). Upgrading Uncompetitive Products Economically. In IEEE 28th International Conference on Data Engineering (ICDE) (pp. 977 - 988 ). IEEE Press. https://doi.org/10.1109/ICDE.2012.92

Lowe, A., Svendsen, S. C., Agarwal, P. K. & Arge, L. (2020). 1D and 2D Flow Routing on a Terrain. In C.-T. Lu, F. Wang, G. Trajcevski, Y. Huang, S. Newsam & L. Xiong (Eds.), Proceedings of the 28th International Conference on Advances in Geographic Information Systems, SIGSPATIAL GIS 2020 (pp. 5-14). Association for Computing Machinery. https://doi.org/10.1145/3397536.3422269

Løvbjerg, M., Krink, T., Fogel, D. B. (Ed.), Yao, X. (Ed.), Greenwood, G. (Ed.), Iba, H. (Ed.), Marrow, P. (Ed.) & Shackleton, M. (Ed.) (2002). Extending Particle Swarm Optimisers with Self-Organized Criticality. In Proceedings of the 2002 Congress on Evolutionary Computation : CEC'02 (Vol. 2, pp. 1588-1593). IEEE Press.

Loughran, N., Rashid, A., Zhang, W. & Jarzabek, S. (2004). Supporting Product Line Evolution with Framed Aspects. In Third AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS04) (pp. 15-19). Association for Computing Machinery.

Loster, M., Mottin, D., Papotti, P., Ehmüller, J., Feldmann, B. & Naumann, F. (2021). Few-Shot Knowledge Validation using Rules. In J. Leskovec, M. Grobelnik, M. Najork, J. Tang & L. Zia (Eds.), The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021 (pp. 3314-3324). Association for Computing Machinery. https://doi.org/10.1145/3442381.3450040

Loss, J., Maurer, U. & Tschudi, D. (2018). Strong Separations Between Broadcast and Authenticated Channels. In U. Schmid & J. Widder (Eds.), 32nd International Symposium on Distributed Computing (DISC 2018) (Vol. 121, pp. 36:1-36:17). Article 36 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.DISC.2018.36

Loss, J. & Nielsen, J. B. (2024). Early Stopping for Any Number of Corruptions. In M. Joye & G. Leander (Eds.), Advances in Cryptology – EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (Vol. III, pp. 457-488). Springer. https://doi.org/10.1007/978-3-031-58734-4_16

Lorenz, D. H., Ernst, E. & Aksit, M. (Ed.) (2003). Aspects and Polymorphism in AspectJ. In Proc. of AOSD'03: Proceedings of the 2nd international conference on Aspect-oriented software development (pp. 150-157). Association for Computing Machinery. https://doi.org/10.1145/643603.643619

Lorentsen, L. & Kristensen, L. M. (2001). Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. In A. Valmari & A. Yakoviev (Eds.), Proceedings of Second International Conference on Application of Concurrency to System Design (ACSD'01) (Vol. ACSD, pp. 211-220). IEEE Computer Society Press.

Displaying results 1651 to 1700 out of 5704

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University