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

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 Efect: 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

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 PB Bind 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

Wigard, J., Nielsen, T. T., Michaelsen, P.-H. & Mogensen, P. E. (1999). On a handover algorithm in a PCS1900/ GSM/DCS1800 Network. I 1999 IEEE 49th Vehicular Technology Conference (Bind 3, s. 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. I 1999 IEEE 49th Vehicular Technology Conference (s. 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

Wichterich, M., Kranen, P., Assent, I. & Seidl, T. (2010). Efficient EMD-based Similarity Search in Medical Image Databases. I C. Plant & C. Böhm (red.), Database Technology for Life Sciences and Medicine (s. 175-202). World Scientific.

Westergaard, M. & Kindler, E. (red.) (2004). Towards a High-level Petri Net Type Type Definition. I Proceeding of the Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets

Westergaard, M. & Lassen, K. B. (2006). Building and Deploying Visualizations of Coloured Petri Net Models Using BRITNeY Animation and CPN Tools. I Proceedings of Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, volume PB-576 of DAIMI (s. 119-136)

Westergaard, M. & Lassen, K. B. (2006). The BRITNeY Suite Animation Tool. I Petri Nets and Other Models of Concurrency ICATPN 2006 (Bind 4024, s. 331-340). Springer.

Westergaard, M., Kristensen, L. M., Brodal, G. S. & Arge, L. (2007). The ComBack Method - Extending Hash Compaction with Backtracking. I Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings (s. 455-464). Springer. https://doi.org/10.1007/978-3-540-73094-1_26

Westergaard, M. & Kristensen, L. M. (2008). Two Interfaces to the CPN Tools Simulator. I Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 83-102). Department of Computer Science.

Westergaard, M. & Kristensen, L. M. (2008). JoSEL: A Job Specification and Execution Language for Model Checking. I Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 7-26). Department of Computer Science.

Westergaard, M. (2007). A Game-theoretic View on Behavioural Visualisation. I A. Cerone & P. Curzon (red.), Electronic Notes in Theoretical Computer Science: Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007) (Bind 208, s. 113-129). Pergamon Press.

Viser resultater 101 til 150 ud af 5934

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series