Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

Xu, W., Turcotte, A. & Staicu, C.-A. (2026). D-BUNDLR: Destructing JavaScript Bundles for Effective Static Analysis. I Proceedings - 2026 IEEE/ACM 48th International Conference on Software Engineering, ICSE 2026 (s. 3449-3461) 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. Artikel FSE038. https://doi.org/10.1145/3797133

Xu, W. (2026). Practical Static Analysis for JavaScript Security: Scalability and Soundness. [Ph.d.-afhandling, Aarhus Universitet].

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. I W. Che, J. Nabende, E. Shutova & M. T. Pilehvar (red.), Long Papers (s. 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. I M. Gabor & R. Zhang (red.), 15th IEEE International Conference on Mobile Data Management (MDM): Proceedings (s. 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), Artikel 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. (red.) (2003). Documentation of Infrastructure. I EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments IST-2000-25290 (17 - WS-UAA-21 udg., Bind WS-D17-v1-0, s. 1-28). Datalogisk Institut. http://www.daimi.au.dk/workspace/Deliverables/WS-D17-v1-0.pdf

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

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

Workspace & Mogensen, P. H. (red.) (2003). Final Project Report. I EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments (Final Report udg., Bind WS-UAA-23, s. 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. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Artikel 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. I A. Vallgarda, L. Jonsson, J. Fritsch, S. F. Alaoui & C. A. Le Dantec (red.), DIS '24: Proceedings of the 2024 ACM Designing Interactive Systems Conference (s. 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. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 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. I C. C. Yen, J.-J. Lee, E. Y.-L. Do, C. Zheng, D. Yoo & T. Tang (red.), DIS 2026 - Proceedngs of the 2026 ACM Designing Interactive Systems Conference (s. 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), Artikel 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. I R. Prasad, S. Ohmori & D. Šimunić (red.), Towards Green ICT (s. 185-210). River Pulishers.

Wölfel, C. & Merritt, T. (2013). Method card design dimensions: A survey of card-based design tools. I P. Kotzé et al. (red.), Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I (s. 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. Afhandling præsenteret på 12th International Workshop on Language Descriptions, Tools, and Applications, Tallinn, Estland.

Winther, J. (2011). Guarded Type Promotion: Eliminating Redundant Casts in Java. I 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. I CHI EA 2020 - Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems (s. CS16 1-8). Artikel 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. I Proceedings - 2020 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2020 (s. 738-746). Artikel 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. (red.) (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. (red.) & Ingólfsdóttir, A. (red.) (2002). Calculus for Categories. I Fixed Points in Computer Science (NS-02-2 of Notes Series udg., s. 20-21).

Winskel, G., Ehrhard, T. (red.), Girard, J. (red.), Ruet, P. (red.) & Scot, P. (red.) (2004). Linearity and Nonlinearity in Distributed Computation. I Linear Logic in Computer Science (316 of London Math. Soc. Lecture Note Series udg., s. 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. (red.), Mayr, E. (red.) & Mitchell, J. (red.) (2004). New-HOPLA: A Higher-Order Process Language with Name Generation. I Ikke angivet (s. 521-534). Kluwer Academic Publishers.

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

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

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

Winge, K., Haugaard, R. & Merritt, T. R. (2014). VAL: Visually Augmented Laser cutting to enhance and support creativity. I IEEE International Symposium on Mixed and Augmented Reality - Media, Arts, Social Science, Humanities and Design, ISMAR 2014, Proceedings (s. 31-34). Artikel 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. I N. Bertrand & N. Jansen (red.), Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020 (s. 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. I A. S. Schulz & D. Wagner (red.), Algorithms - ESA 2014: 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings (s. 842-856). Springer. https://doi.org/10.1007/978-3-662-44777-2_69

Wilkinson, B. T. (2015). Revisiting visibility in the plane. Afhandling præsenteret på International Symposium on Computational Geometry, Eindhoven, Holland. 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.

Wijekoon, D., Cecchinato, M. E., Hoggan, E. & Linjama, J. (2012). Electrostatic modulated friction as tactile feedback: intensity perception. I International Conference on Human Haptic Sensing and Touch Enabled Computer Applications (s. 613-624)

Wiil, U. K., Bouvin, N. O., Larsen, D., De Roure, D. C. & Thompson, M. K. (2002). Peer-to-peer hypertext. 69-71. Afhandling præsenteret på Hypertext 2002: Proceedings of the Thirteenth ACM Conference on Hypertext and Hypermedia, College Park, MD, USA. https://doi.org/10.1145/513338.513339

Wigard, J., Nielsen, T. T., Mogensen, P. E. & Michaelsen, P.-H. (1998). Frequency Planning for Frequency Hopping GSM Networks. Afhandling præsenteret på COST 259 Workshop, Duisburg, Tyskland.

Wigard, J., Nielsen, T. T. & Mogensen, P. E. (1997). Improved Intelligent Underlay-Overlay Combined with Frequency Hopping in GSM. I 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. I 48th IEEE Vehicular Technology Conference, 1998. VTC 98. IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1998.686557

Viser resultater 101 til 150 ud af 6167

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series