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

Xu, W., Turcotte, A. & Staicu, C.-A. (2026). D-BUNDLR: Destructing JavaScript Bundles for Effective Static Analysis. In 2026 IEEE/ACM 48th International Conference on Software Engineering (ICSE '26), April 12--18, 2026, Rio de Janeiro, Brazil https://doi.org/10.1145/3744916.3764564

Xu, W. & Møller, A. (2026). JavaScript Pointer Analysis with Adaptive Heap Abstraction. Proceedings of the ACM on Software Engineering, 3(FSE), 832 - 852. Article FSE038. https://doi.org/10.1145/3797133

Xia, Y., de Araujo, P. H. L., Zaporojets, K. & Roth, B. (2025). Influences on LLM Calibration: A Study of Response Agreement, Loss Functions, and Prompt Styles. In W. Che, J. Nabende, E. Shutova & M. T. Pilehvar (Eds.), Long Papers (pp. 3740-3761). Association for Computational Linguistics (ACL). https://doi.org/10.18653/v1/2025.acl-long.188

Wüstenberg, M., Blunck, H., Grønbæk, K. & Kjærgaard, M. B. (2014). Distinguishing Electric Vehicles from Fossil-Fueled Vehicles with Mobile Sensing. In M. Gabor & R. Zhang (Eds.), 15th IEEE International Conference on Mobile Data Management (MDM): Proceedings (pp. 211 - 220 (vol.1)). IEEE. https://doi.org/10.1109/MDM.2014.32

Wu, D., Yiu, M. L., Jensen, C. S. & Cong, G. (2011). Efficient continuously moving top-k spatial keyword query processing. Proceedings of the International Conference on Data Engineering, 541-552. https://doi.org/10.1109/ICDE.2011.5767861

Wu, D., Yiu, M. L., Cong, G. & Jensen, C. S. (2012). Joint Top-K Spatial Keyword Query Processing. I E E E Transactions on Knowledge & Data Engineering, 24(10), 1889 - 1903 . https://doi.org/10.1109/TKDE.2011.172

Wu, D., Cong, G. & Jensen, C. S. (2012). A framework for efficient spatial web object retrieval. V L D B Journal, 21(6), 797-822 . https://doi.org/10.1007/s00778-012-0271-0

Wu, D., Yiu, M. L. & Jensen, C. S. (2013). Moving Spatial Keyword Queries: Formulation, Methods, and Analysis. A C M Transactions on Database Systems, 38(1), Article 7. https://doi.org/10.1145/2445583.2445590

Wu, S., Hou U, L. & Karras, P. (2023). k-Best Egalitarian Stable Marriages for Task Assignment. Proceedings of the VLDB Endowment, 16(11), 3240-3252. https://doi.org/10.14778/3611479.3611522

Wriedt Larsen, R., Obel, C., Skovgård Jensen, T. & Grønbæk, K. (2014). Big data giver gladere børn og bedre busruter. Videnskab.dk [online].

Workspace & Mogensen, P. H. (Ed.) (2003). Documentation of Infrastructure. In EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments IST-2000-25290 (17 - WS-UAA-21 ed., Vol. WS-D17-v1-0, pp. 1-28). Datalogisk Institut. http://www.daimi.au.dk/workspace/Deliverables/WS-D17-v1-0.pdf

Workspace & Mogensen, P. H. (Ed.) (2003). Final Demonstrator Status: Deliverable 5: Status report, month 36. In EU,IST, FET, DC project, Workspace: IST-2000-25290:Distributed Work support through component based SPAtial Computing Environments (Deliverable 5 ed., Vol. WS-D5-v1, pp. 1-46). Datalogisk Institut. http://www.daimi.au.dk/workspace/Deliverables/WS-D5-v1.0.pdf

Workspace & Mogensen, P. H. (Ed.) (2003). Final Evaluations: Deliverable 18; In EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments (Deliverable 18 ed., Vol. WS-UAA-22, pp. 1-29). Datalogisk Institut. http://www.daimi.au.dk/workspace/Deliverables/WS-D18-v1-0.pdf

Workspace & Mogensen, P. H. (Ed.) (2003). Final Project Report. In EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments (Final Report ed., Vol. WS-UAA-23, pp. 1-7). Datalogisk Institut. http://www.daimi.au.dk/workspace/Deliverables/WS-FinalReportV1-0.pdf

Woodruff, D. P. & Zhang, Q. (2011). Tight Bounds for Distributed Functional Monitoring. http://arxiv.org/abs/1112.5153

Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K., Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023). State of the Art Report: Verified Computation. https://doi.org/10.48550/arXiv.2308.15191

Wong, E., Esquivel, J. S., Leiva, G., Grønbæk, J. E. & Velloso, E. (2024). Practice-informed Paterns for Organising Large Groups in Distributed Mixed Reality Collaboration. In CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Article 1030 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642502

Wong, E., Grønbæk, J. E. & Velloso, E. (2024). The Jamais Vu Effect: 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

Wong, E., Genay, A., Grønbæk, J. E. & Velloso, E. (2025). Spatial Heterogeneity in Distributed Mixed Reality Collaboration. In CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Article 980 Association for Computing Machinery. https://doi.org/10.1145/3706598.3714033

Wong, E., Paxton, F., Pook, H., Howe, J., Grønbæk, J. E. S., Johal, W., Velloso, E. & Vetere, F. (2026). Systemic Futures: Integrating Critical Speculation and Systemic Design Pragmatism. In C. C. Yen, J.-J. Lee, E. Y.-L. Do, C. Zheng, D. Yoo & T. Tang (Eds.), DIS 2026 - Proceedngs of the 2026 ACM Designing Interactive Systems Conference (pp. 3152-3173). Association for Computing Machinery. https://doi.org/10.1145/3800645.3812901

Wolter, A., Haag, L., Dhanoa, V. & Elmqvist, N. (2026). Context-Mediated Domain Adaptation in Multi-Agent Sensemaking Systems. Proceedings of the ACM on Human-Computer Interaction, 10(4), Article EICS003. https://doi.org/10.1145/3812772

Wolff, S., Larsen, P. G., Lausdahl, K., Ribeiro, A. & Toftegaard, T. S. (2009). Facilitating Home Automation Through Wireless Protocol Interoperability. Proceedings of the Wireless Personal Multimedia Communications Symposia.

Wolff, S., Rohde, J., Toftegaard, T. S., Larsen, P. G., Lausdahl, K. G., Ribeiro, A. & Stender, M. H. (2010). Optimizing Energy Usage in Private Households. In R. Prasad, S. Ohmori & D. Šimunić (Eds.), Towards Green ICT (pp. 185-210). River Pulishers.

Wölfel, C. & Merritt, T. (2013). Method card design dimensions: A survey of card-based design tools. In P. Kotzé et al. (Ed.), Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I (pp. 479-486). Springer VS. https://doi.org/10.1007/978-3-642-40483-2_34

Winthereik, B., Grønbæk, K., Glæsel, J. & Larsen, K. G. (2019). Vi må ikke lade skandaler om datamisbrug bremse vores brug af data i samfundets tjeneste. Berlingske Tidende. https://www.berlingske.dk/kronikker/vi-maa-ikke-lade-skandaler-om-datamisbrug-bremse-vores-brug-af-data-i

Winther, J. (2012). Improving Precision of Generated ASTs. Paper presented at 12th International Workshop on Language Descriptions, Tools, and Applications, Tallinn, Estonia.

Winther, J. (2011). Guarded Type Promotion: Eliminating Redundant Casts in Java. In Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs Association for Computing Machinery. https://doi.org/10.1145/2076674.2076680

Winther, J. & Schwartzbach, M. I. (2011). Related Types. Lecture Notes in Computer Science, 6813, 434-458. https://doi.org/10.1007/978-3-642-22655-7_21

Winther, F., Ravindran, L., Svendsen, K. P. & Feuchtner, T. (2020). Design and Evaluation of a VR Training Simulation for Pump Maintenance. In CHI EA 2020 - Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems (pp. CS16 1-8). Article 3375213 Association for Computing Machinery. https://doi.org/10.1145/3334480.3375213

Winther, F., Ravindran, L., Svendsen, K. P. & Feuchtner, T. (2020). Design and Evaluation of a VR Training Simulation for Pump Maintenance Based on a Use Case at Grundfos. In Proceedings - 2020 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2020 (pp. 738-746). Article 9089646 IEEE. https://doi.org/10.1109/VR46266.2020.1580939036664

Winther, J. (2012). Improving Precision of Types. Department of Computer Science, Aarhus University.

Winter, S., Jensen, C. S. & Li, K.-J. (Eds.) (2010). Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness. Association for Computing Machinery. http://portal.acm.org/citation.cfm?id=1865885&coll=DL&dl=GUIDE&CFID=7605094&CFTOKEN=94044110

Winskel, G., Ésik, Z. (Ed.) & Ingólfsdóttir, A. (Ed.) (2002). Calculus for Categories. In Fixed Points in Computer Science (NS-02-2 of Notes Series ed., pp. 20-21).

Winskel, G., Ehrhard, T. (Ed.), Girard, J. (Ed.), Ruet, P. (Ed.) & Scot, P. (Ed.) (2004). Linearity and Nonlinearity in Distributed Computation. In Linear Logic in Computer Science (316 of London Math. Soc. Lecture Note Series ed., pp. 151-188). Cambridge University Press.

Winskel, G. (2003). Presheaf models for CCS-like languages. Theoretical Computer Science, 300(1-3), 47-89.

Winskel, G., Zappa Nardelli, F., Lévy, J. (Ed.), Mayr, E. (Ed.) & Mitchell, J. (Ed.) (2004). New-HOPLA: A Higher-Order Process Language with Name Generation. In Ikke angivet (pp. 521-534). Kluwer Academic Publishers.

Winskel, G. & Nielsen, M. (1997). Categories in Concurrency. In A. Pitts & P. Dybjer (Eds.), Semantics and Logics of Computation (pp. 299-354). Cambridge University Press.

Winskel, G. & Nielsen, M. (1997). Presheaves as transition systems. In POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification (pp. 129-140). American Mathematical Society.

Winskel, G. & Nielsen, M. (1993). Models for Concurrency. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) No. 429

Winge, K., Haugaard, R. & Merritt, T. R. (2014). VAL: Visually Augmented Laser cutting to enhance and support creativity. In IEEE International Symposium on Mixed and Augmented Reality - Media, Arts, Social Science, Humanities and Design, ISMAR 2014, Proceedings (pp. 31-34). Article 6935435 IEEE. https://doi.org/10.1109/ISMAR-AMH.2014.6935435

Wimmer, S., Herbreteau, F. & van de Pol, J. (2020). Certifying Emptiness of Timed Büchi Automata. In N. Bertrand & N. Jansen (Eds.), Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020 (pp. 58-75). Springer. https://doi.org/10.1007/978-3-030-57628-8_4

Wilkinson, B. T. (2014). Amortized bounds for dynamic orthogonal range reporting. In A. S. Schulz & D. Wagner (Eds.), Algorithms - ESA 2014: 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings (pp. 842-856). Springer. https://doi.org/10.1007/978-3-662-44777-2_69

Wilkinson, B. T. (2015). Revisiting visibility in the plane. Paper presented at International Symposium on Computational Geometry, Eindhoven, Netherlands. http://www.madalgo.au.dk/~bw/papers/2015W.pdf

Wilkinson, B. T. (2015). Exploring the Problem Space of Orthogonal Range Searching. Department of Computer Science, Aarhus University.

Wigard, J., Nielsen, T. T., Mogensen, P. E. & Michaelsen, P.-H. (1998). Frequency Planning for Frequency Hopping GSM Networks. Paper presented at COST 259 Workshop, Duisburg, Germany.

Wigard, J., Nielsen, T. T. & Mogensen, P. E. (1997). Improved Intelligent Underlay-Overlay Combined with Frequency Hopping in GSM. In The 8th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, 1997. 'Waves of the Year 2000'. PIMRC '97. : 'Waves of the Year 2000'. PIMRC '97. IEEE Computer Society Press. https://doi.org/10.1109/PIMRC.1997.630948

Wigard, J., Nielsen, T. T., Michaelsen, P. H. & Mogensen, P. E. (1998). BER and FER Prediction of Control and Traffic Channels for a GSM type of interface. In 48th IEEE Vehicular Technology Conference, 1998. VTC 98. IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1998.686557

Wigard, J., Nielsen, T. T., Michaelsen, P.-H. & Mogensen, P. E. (1999). On a handover algorithm in a PCS1900/ GSM/DCS1800 Network. In 1999 IEEE 49th Vehicular Technology Conference (Vol. 3, pp. 2510-2514). IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1999.778536

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

Wickremesinghe, R., Arge, L. A., Chase, J. S. & Vitter, J. S. (2002). Efficient sorting using registers and caches. Journal of Experimental Algorithmics, 7, 9. https://doi.org/10.1145/944618.944627

Displaying results 101 to 150 out of 5993

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University