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

Caspersen, M. E., Börstler, J., Decker, A. & Alphonce, C. (2008). Worked Examples for Sound Object-Oriented Pedagogy: The Seventh "Killer" Workshop. I Companion to the 23rd ACM SIGPLAN Conference on Object-oriented programming systems languages and applications (s. 869). Association for Computing Machinery. https://doi.org/10.1145/1449814.1449888

Kejlberg-Rasmussen, C., Kopelowitz, T., Pettie, S. & Porat, E. (2014). Word-packing Algorithms for Dynamic Connectivity and Dynamic Sets. (1407.6755v1 udg.) arxiv.org. http://arxiv.org/abs/1407.6755v1

Batch, A., Butcher, P. W. S., Ritsos, P. D. & Elmqvist, N. (2024). Wizualization: A 'Hard Magic' Visualization System for Immersive and Ubiquitous Analytics. IEEE Transactions on Visualization and Computer Graphics, 30(1), 507-517. https://doi.org/10.1109/TVCG.2023.3326580

Ganesh, C., Kondi, Y. M., Orlandi, C., Pancholi, M. R., Takahashi, A. & Tschudi, D. (2023). Witness-Succinct Universally-Composable SNARKs. I C. Hazay & M. Stam (red.), Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23–27, 2023, Proceedings, Part II (s. 315–346). Springer. https://doi.org/10.1007/978-3-031-30617-4_11

Campanelli, M., Gennaro, R., Melissaris, K. G. & Nizzardo, L. (2024). Witness-Authenticated Key Exchange Revisited: Improved Models, Simpler Constructions, Extensions to Groups. I F. Baldimtsi & C. Cachin (red.), Financial Cryptography and Data Security: 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1–5, 2023, Revised Selected Papers, Part I (1 udg., Bind 13950, s. 112). Artikel 7 Springer, Cham. https://doi.org/10.1007/978-3-031-47754-6_7

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

Kristensen, M., Kyng, M., Christensen, E. F. & Kramp, G. (2007). Wireless technology for ABC Assessment. Poster-session præsenteret på The Fourth Mediterranean Emergency Medicine Congress. MEMC IV, Sorrento, Italien.

Kyng, M., Kristensen, M. & Christensen, E. F. (2007). Wireless Distribution and Use of Bio-sensor Data. Prehospital and Disaster Medicine, (2).

Pedersen, J. M., Blatchley Hansen, A. & Halbe Torres, M. (2023). Winning the European Cyber Security Challenge 2022: What did We Learn? I International Symposium on Project Approaches in Engineering Education (Bind 13, s. 139-148) http://paee.dps.uminho.pt/proceedingsSCOPUS/PAEE_ALE_2023_PROCEEDINGS.pdf

Hansen, K. A., Koucký, M. & Miltersen, P. B. (2009). Winning Concurrent Reachability Games Requires Doubly-Exponential Patience. Symposium on Logic in Computer Science, 332-341. https://doi.org/10.1109/LICS.2009.44

Marguet, E., Borowski, M., Kristensen, J. B., Klokmose, C. N. & Elmqvist, N. (2025). WindowSpace: A Web-Based XR Window Manager for Interacting with 2D Windows in Immersive 3D Space. Proceedings of the ACM on Human-Computer Interaction, 9(8), 119-144. https://doi.org/10.1145/3773063

Torgersen, M., Ernst, E. & Hansen, C. P. (2005). Wild FJ. I Proceedings of FOOL 12 http://homepages.inf.ed.ac.uk/wadler/fool/program/14.html

Javadi, S., Moradan, A., Sorkhpar, M., Zaporojets, K., Mottin, D. & Assent, I. (2024). Wiki Entity Summarization Benchmark.

Aarhus, R., Cedergren, A., Grönvall, E., Hald, A. E., Larsen, S. B., Moesgaard, T. & Wollsen, S. (2010). Wii i Trige: Et projekt om Wii, motivation og ældres træning. D A I M I P B, (592).

Klokmose, C. N., Korn, M. & Blunck, H. (2014). WiFi proximity detection in mobile web applications. I EICS 2014 - Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (s. 123-128). Association for Computing Machinery. https://doi.org/10.1145/2607023.2610281

Eriksson, E., Iversen, O. S., Baykal, G. E., Van Mechelen, M., Smith, R. C., Wagner, M.-L., Fog, B. V., Klokmose, C. N., Cumbo, B., Hjorth, H. A., Musaeus, L. H., Petersen, M. G. & Bouvin, N. O. (2019). Widening the Scope of FabLearn Research: Integrating Computational Thinking, Design and Making. Afhandling præsenteret på Fablearn Europe 2019, Oulu, Finland. https://doi.org/10.1145/3335055.3335070

Mane, S. V. & Elmqvist, N. (2024). “Wichita 1-1, Fox Three” – The Role of 3D Telemetry Analysis in Combat Flight Simulation. Proceedings of the ACM on Human-Computer Interaction, 8(CHI PLAY), Artikel 349. https://doi.org/10.1145/3677114

Salgado, M. & Saad-Sulonen, J. (2016). Who needs us? Inquiring into the participatory practices of others and what it means for participatory designers. Afhandling præsenteret på International European Academy of Design Conference, Paris, Frankrig.

Boubertakh, R., Prieto, C., Batchelor, P., Uribe, S., Atkinson, D., Eggers, H., Sørensen, T. S., Hansen, M. S., Razavi, R. & Schaeffter, T. (2009). Whole-heart imaging using undersampled radial phase encoding (RPE) and iterative sensitivity encoding (SENSE) reconstruction. Magnetic Resonance in Medicine, 62(5), 1331-1337. https://doi.org/10.1002/mrm.22102

Boubertakh, R., Batchelor, P., Uribe, S., Sørensen, T. S., Hansen, M. S., Razavi, R. & Schaeffter, T. (2008). Whole-Heart Imaging Using Undersampled Radial Phase Encoding and a 32-Channel Cardiac Coil. I Proceedings of the 16th Meeting and Exhibition of the International Society for Magnetic Resonance in Medicine (s. 6). ISMRM.

Mailund, T., Besenbacher, S. & Schierup, M. H. (2006). Whole genome association mapping by incompatibilities and local perfect phylogenies. BMC Bioinformatics, 7(454). https://doi.org/10.1186/1471-2105-7-454

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. I 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 Artikel 1032 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642419

Mathiasen, N. R. (2012). While Working Around Security. Department of Computer Science, Aarhus University.

Mathiasen, N. R., Bødker, S. & Petersen, M. G. (2011). While working around security. Afhandling præsenteret på 3rd International Conference on Human Computer Interaction. HCI 2011, Bangalore, Indien.

Ballegaard, S. A., Bunde-Pedersen, J. & Bardram, J. E. (2006). Where to, Roberta?: Reflecting on the Role of Technology in Assisted Living. I Proceedings of NordiCHI 2006 Society for Industrial and Applied Mathematics.

Zagermann, J., Pfeil, U., Rädle, R., Jetter, H.-C., Klokmose, C. N. & Reiterer, H. (2016). When Tablets meet Tabletops: The Effect of Tabletop Size on Around-the-Table Collaboration with Personal Tablets. I CHI '16: Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems (s. 5470-5481). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858224

Mogensen, P. H. & Shapiro, D. (1998). When Survival is an Issue: PD in support of landscape architecture. Computer Supported Cooperative Work: The Journal of Collaborative Computing, 7, 187-203. https://doi.org/10.1023/A:1008655302519

Horelli, L., Saad-Sulonen, J., Wallin, S. & Botero, A. (2015). When Self-Organization intersects with Urban Planning: Two Cases from Helsinki. Planning Practice and Research, 30(3), 286. https://doi.org/10.1080/02697459.2015.1052941

Bødker, S. (2006). When second wave HCI meets third wave challenges. I Proceedings of the 4th Nordic conference on Human-computer interaction: changing roles NordiCHI '06 (s. 1-8). Association for Computing Machinery.

Grumberg, O., Lange, M., Leucker, M. & Shoham, S. (2007). When Not Losing Is Better than Winning: Abstraction and Refinement for the Full μ-Calculus. Information and Computation, 205(8), 1130-1148. https://doi.org/10.1016/j.ic.2006.10.009

Scholl, P., Smart, N. P. & Wood, T. (2017). When It’s All Just Too Much: Outsourcing MPC-Preprocessing. I M. O'Neill (red.), Cryptography and Coding - 16th IMA International Conference, IMACC 2017, Proceedings (Bind 10655, s. 77-99). Springer VS. https://doi.org/10.1007/978-3-319-71045-7_4

Palen, L. A. & Hughes, A. (2006). When home base is not a place: parents' use of mobile telephones. Personal and Ubiquitous Computing Journal.

Buscher, M., Kristensen, M. & Mogensen, P. H. (2009). When and How (Not) to Trust IT: Supporting virtual Emergency Teamwork. International Journal of Information Systems for Crisis Response and Management, 1(2), 1.

Büscher, M., Mogensen, P. H. & Kristensen, M. (2008). When and How (Not) to Support IT? Supporting virtual emergency teamwork. I F. Fiedrich & B. Van de Walle (red.), ISCRAM 2008,: Technology Showcase - Communication Systems and Technologies for Crisis and Disaster Responses (Bind Session 2, Track 2, s. 167-176)

Perera, K. T., Langlotz, T., Pantidi, N. & Regenbrecht, H. (2025). What you see is (not necessarily) what i see - Pervasive AR for Public Displays. I S. Viller, J. Paay, J. Fredericks & J. Turner (red.), Proceedings of the 36th Australasian Conference on Human-Computer Interaction, OzCHI 2024 (s. 59-73). Association for Computing Machinery. https://doi.org/10.1145/3726986.3727005

Madsen, O. L. & Møller-Pedersen, B. (2023). What your mother forgot to tell you about modeling – and programming. I 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (s. 200-210). IEEE. https://doi.org/10.1109/MODELS-C59198.2023.00049

Gao, X. A. G., Zhang, J. & Chen, Y. (2013). What you jointly know determines how you act: Strategic interactions in prediction markets. I Proceedings of of the fourteenth ACM Conference on Electronic Commerce, EC '13 (s. 489-506). Association for Computing Machinery. https://doi.org/10.1145/2482540.2482592

Hornbæk, K., Oulasvirta, A., Reeves, S. & Bødker, S. (2015). What to Study in HCI? I B. Begole & J. Kim (red.), Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (s. 2385-2388). Association for Computing Machinery. https://doi.org/10.1145/2702613.2702648

Bressa, N. A., Korsgaard, H., Tabard, A., Houben, S. & Vermeulen, J. (2022). What's the Situation with Situated Visualization? A Survey and Perspectives on Situatedness. 107-117. https://doi.org/10.1109/TVCG.2021.3114835

Bødker, S., Lewkowicz, M. & Boden, A. (2020). What's in a word? Platforms Supporting the Platform Economy. I NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society Artikel 87 Association for Computing Machinery. https://doi.org/10.1145/3419249.3420167

Bødker, S., Korsgaard, H. & Lyle, P. (2021). What's in a Pattern: A Vocabulary to Articulate Group Routines and Practices. I F. Cech & S. Farnham (red.), C&T '21: Proceedings of the 10th International Conference on Communities & Technologies - Wicked Problems in the Age of Tech (s. 179-190). Association for Computing Machinery. https://doi.org/10.1145/3461564.3461570

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

Ernst, E. (2001). What's in a name?. Afhandling præsenteret på 15th European Conference on Object-Oriented Programming. ECOOP 2001, Budapest, Ungarn. http://www.daimi.au.dk/~eernst/papers/fics01.pdf

Sterling, J. (2023). What should a generic object be? Mathematical Structures in Computer Science, 33(1), 46-67. https://doi.org/10.1017/S0960129523000117

Madsen, O. L. & Møller-Pedersen, B. (2022). What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming . I Onward! 2022 - Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2022: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (s. 220–239). Association for Computing Machinery. https://doi.org/10.1145/3563835.3568735

Madsen, O. L. & Møller-Pedersen, B. (1988). What object-oriented programming may be - and what it does not have to be. I S. Gjessing & K. Nygaard (red.), ECOOP ’88 European Conference on Object-Oriented Programming : Oslo, Norway, August 15–17, 1988 Proceedings (s. 1-20). Springer. https://doi.org/10.1007/3-540-45910-3_1

Ganesh, C., Khoshakhlagh, H., Kohlweiss, M., Nitulescu, A. & Zając, M. (2022). What Makes Fiat–Shamir zkSNARKs (Updatable SRS) Simulation Extractable? I C. Galdi & S. Jarecki (red.), Security and Cryptography for Networks (s. 735-760). Springer. https://doi.org/10.1007/978-3-031-14791-3_32

Schwartzbach, M. I. & Palsberg, J. (1991). What is Type-Safe Code Reuse. I P. America (red.), ECOOP'91: Proceedings of the 5th European Conference on Object-Oriented Programming (s. 325-341). Springer. https://doi.org/10.1007/BFb0057030

Caspersen, M. E., Cassel, L. N., Davies, G., Pears, A., Seidman, S. & Topi, H. (2008). What is Masters Level Education in Informatics. I Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2008 (s. 341). Association for Computing Machinery. https://doi.org/10.1145/1384271.1384383

Frandsen, G. S. & Sturtivant, C. (1991). What is an efficient implementation of the λ-calculus? I J. Hughes (red.), Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings (s. 289-312). Springer. https://doi.org/10.1007/3540543961_14

Viser resultater 51 til 100 ud af 6039

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series