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

Ballegaard, S. A. & Aarhus, R. (2009). Teknologiers mellemkomst i ambulant behandling og egenomsorg: med fokus på gravide kvinder med diabetes. Tidsskrift for Forskning i Sygdom og Samfund, (11), 71-85.

Mueller, F., Petersen, M. G. & Li, Z. (2023). Technology futures: Towards understanding how to design awe-inspiring futures. International Journal of Human Computer Studies, 170, Artikel 102961. https://doi.org/10.1016/j.ijhcs.2022.102961

Bødker, S., Kristensen, J. F., Nielsen, C. & Sperschneider, W. (2003). Technology for Boundaries. I Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work (s. 311-320). Association for Computing Machinery. https://doi.org/10.1145/958160.958210

Bødker, S. (1992). Technology as a vehicle for Organisational Learning and Change. Department of Computer Science, Aarhus University.

Kristensen, M. (2007). Technology and work within emergency medicine. Afhandling præsenteret på The 10th European Conference on Computer Supported Co-operative Work, Limerick, Irland.

Torp, M. T. (2021). Techniques and Tools for Supporting Maintenance of Node.js Programs. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Møller, A. (2018). Technical Perspective: WebAssembly: A Quiet Revolution of the Web. Communications of the A C M, 61(12), 106-106. https://doi.org/10.1145/3282508

Grønbæk, K. (red.) (2000). Technical documentation for the COCONUT project. Department of Computer Science, Aarhus University.

Lewkowicz, M., Bødker, S., Boden, A. & Fedosov, A. (2021). Technical Design and Development of Future Platforms.

Mosegaard, J. & Sørensen, T. S. (2006). Technical Aspects of the GPU Accelerated Surgical Simulator. Softwareprogram .

Pauli, A. B., Pablos Sarabia, R., Derczynski, L. & Assent, I. (2023). TeamAmpa at SemEval-2023 Task 3: Exploring Multilabel and Multilingual RoBERTa Models for Persuasion and Framing Detection. I A. K. Ojha, A. S. Doğruöz, G. Da San Martino, H. Tayyar Madabushi, R. Kumar & E. Sartori (red.), Proceedings of the 17th International Workshop on Semantic Evaluation (SemEval-2023) (s. 847–855). Association for Computational Linguistics. https://doi.org/10.18653/v1/2023.semeval-1.117

Brabrand, C. (2006). Teaching Teaching & Understanding Understanding: A short-film about constructive alignment.. Billeder, Video- og Lydoptagelser (digital) . http://www.daimi.au.dk/~brabrand/short-film/

Brabrand, C. & Andersen, J. (2006). Teaching Teaching & Understanding Understanding. Billeder, Video- og Lydoptagelser (digital) . http://www.daimi.au.dk/~brabrand/short-film

Andersen, P. B., Bennedsen, J., Brandorff, S., Caspersen, M. E. & Mosegaard, J. (2003). Teaching Programming to Liberal Arts Students: a Narrative Media Approach. I Proceedings of the 8th annual conference on Innovation and technology in computer science education (8 udg., s. 109-113). Association for Computing Machinery. https://doi.org/10.1145/961511.961543

Bergin, J., Wallingford, E., Caspersen, M. E., Goldweber, M. & Kolling, M. (red.) (2005). Teaching polymorphism early. I 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005) (s. 342-343). Association for Computing Machinery. https://doi.org/10.1145/1067445.1067541

Knudsen, J. L., Madsen, O. L., Nørgaard, C., Petersen, L. B. & Sandvad, E. S. (1990). Teaching Object-Oriented Programming Using Beta. I Proceedings of the Apple European University Consortium Annual Conference Apple European University Consortium Annual Conference.

Bennedsen, J. & Caspersen, M. E. (2004). Teaching Object-Oriented Programming - Towards Teaching a Systematic Programming Process. Afhandling præsenteret på Eighth Workshop on Pedagogies and Tools for the Teaching and Learning of Object Oriented Concepts. Affiliated with 18th European Conference on Object-Oriented Programming (ECOOP 2004), Oslo, Norge.

Knudsen, J. L. & Madsen, O. L. (1988). Teaching Object-Oriented Programming is more than teaching Object-Oriented Programming Languages. I S. Gjessing & K. Nygaard (red.), ECOOP ’88 European Conference on Object-Oriented Programming: Oslo, Norway, August 15–17, 1988 Proceedings (s. 21-40). Springer. https://doi.org/10.1007/3-540-45910-3_2

Kristensen, L. M. & Jensen, K. (2008). Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. LNCS Transactions on Petri Nets and Other Models of Concurrency. (ToPNoC), I, 19-34. https://doi.org/10.1007/978-3-540-89287-8_2

Kristensen, L. M. & Jensen, K. (2007). Teaching Modelling and Validation of Concurrent Systems using Coloured Petri Nets. I Proceedings 2nd workshop on Teaching Concurrency (s. 67-77). University of Podlasie, Institute of Computer Science.

Christensen, H. B. (2022). Teaching Microservice Architecture Using DevOps - An Experience Report. I Software Architecture - 16th European Conference, ECSA 2022, Proceedings (s. 117-130). Springer. https://doi.org/10.1007/978-3-031-16697-6_8

Christensen, H. B., Kirkeby, M. H., Thomsen, B. & Thomsen, L. L. (2025). Teaching Energy-Efficient Software - An Experience Report. ArXiv. https://arxiv.org/abs/2504.19707

Christensen, H. B. (2023). Teaching Distributed Programming - Revisiting the Broker Pattern. I Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023 (s. 162-168). Association for Computing Machinery. https://doi.org/10.1145/3593663.3593674

Christensen, H. B. (2016). Teaching DevOps and Cloud Computing using a Cognitive Apprenticeship and Story-Telling Approach. I ITiCSE 2016 - Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education (s. 174-179). Association for Computing Machinery. https://doi.org/10.1145/2899415.2899426

Jørgensen, J. B., Christensen, S., Desel, J. (red.), Reisig, W. (red.) & Rozenberg, G. (red.) (2004). Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. I Proceedings of Advances Course on Petri Nets (Eichstatt) (3098 i Lecture Notes in Computer Science udg., s. 402-412). Springer.

Aminimehr, A., Khani, P., Molaei, A., Kazemeini, A. & Cambria, E. (2024). TbExplain: A Text-Based Explanation Method for Scene Classification Models with the Statistical Prediction Correction. I GUIDE-AI '24: Proceedings of the Conference on Governance, Understanding and Integration of Data for Effective and Responsible AI (s. 54-60). Association for Computing Machinery. https://doi.org/10.1145/3665601.3669841

Hall, M., Hoggan, E. & Brewster, S. (2008). T-Bars: towards tactile user interfaces for mobile touchscreens. I Proceedings of the 10th international conference on Human computer interaction with mobile devices and services (s. 411-414)

Stisen, A., Mathisen, A., Krogh, S., Blunck, H., Kjærgaard, M. B. & Prentow, T. S. (2016). Task Phase Recognition for Highly Mobile Workers in Large Building Complexes. I 2016 IEEE International Conference on Pervasive Computing and Communications, PerCom 2016 Artikel 7456504 IEEE. https://doi.org/10.1109/PERCOM.2016.7456504

Stisen, A., Blunck, H., Kjærgaard, M. B., Prentow, T. S., Mathisen, A., Krogh , S. & Grønbæk, K. (2017). Task phase recognition and task progress estimation for highly mobile workers in large building complexes. Pervasive and Mobile Computing, 38(2), 418-429. https://doi.org/10.1016/j.pmcj.2016.08.016

Wang, X., Deng, K., Li, J., Yu, J. X., Jensen, C. S. & Yang, X. (2018). Targeted influence minimization in social networks. I G. I. Webb, D. Phung, M. Ganji, L. Rashidi, V. S. Tseng & B. Ho (red.), Advances in Knowledge Discovery and Data Mining - 22nd Pacific-Asia Conference, PAKDD 2018, Proceedings (s. 689-700). Springer. https://doi.org/10.1007/978-3-319-93040-4_54

Baum, C., David, B., Dowsley, R., Nielsen, J. B. & Oechsner, S. (2021). TARDIS: A Foundation of Time-Lock Puzzles in UC. I Advances in Cryptology – EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (s. 429-459|). Springer. https://doi.org/10.1007/978-3-030-77883-5_15

Schwartzbach, M. I., Mosses, P. D. & Nielsen, M. (red.) (1995). TAPSOFT'95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22-26, 1995 Proceedings. Springer. Lecture Notes in Computer Science Bind 915 https://doi.org/10.1007/3-540-59293-8

Damgård, I. B., Faust, S., Mukherjee, P. & Venturi, D. (2013). Tamper Resilient Cryptography Without Self-Destruct. IACR Cryptology ePrint Archive, (2013). http://eprint.iacr.org/2013/124

Faust, S., Pietrzak, K. & Venturi, D. (2011). Tamper-Proof Circuits : : How to Trade Leakage for Tamper-Resilience. Lecture Notes in Computer Science, 6755, 391-402 . https://doi.org/10.1007/978-3-642-22006-7_33

Nielsen, J. B. (2015). Tamper and leakage resilient von Neumann architectures from continuous non-malleable codes. I S. Wolf & A. Lehmann (red.), 8th International Conference on Information Theoretic Security, ICITS 2015 (Bind 9063, s. XI-XII). Springer.

Bødker, S., Larsen-Ledet, I., Roque, L. & Thomas, V. J. (2018). Taming a Run-Away Object: How to Maintain and Extend Human Control in Human-Computer Interaction?. 1-6. Afhandling præsenteret på 2018 CHI Conference on Human Factors in Computing Systems, CHI 2018, Montreal, Canada. https://ex-situ.lri.fr/content/7-workshops/2-rethinkinginteraction-18/1-papers/bodker-taming-a-runaway-object.pdf

Canetti, R., Kolby, S., Ravi, D., Soria Vazquez, E. & Yakoubov, S. (2023). Taming Adaptivity in YOSO Protocols: The Modular Way. I G. Rothblum & H. Wee (red.), Theory of Cryptography: 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 – December 2, 2023, Proceedings, Part II (Bind 2, s. 33-62). Springer. https://doi.org/10.1007/978-3-031-48618-0_2

Korn, M. & Back, J. (2012). Talking it Further: From Feelings and Memories to Civic Discussions In and About Places. I L. Malmborg & T. Pederson (red.), NordiCHI '12 Proceedings of the 7th Nordic Conference on Human-Computer Interaction: Making Sense Through Design (s. 189-198). Association for Computing Machinery. https://doi.org/10.1145/2399016.2399046

Teli, M., Foth, M., Sciannamblo, M., Anastasiu, I. & Lyle, P. J. (2020). Tales of Institutioning and Commoning: Participatory Design Processes with a Strategic and Tactical Perspective. I C. Del Gaudio, L. Parra-Agudelo, R. Clarke, J. Saad-Sulonen, A. Botero, A. Botero, F. C. Londono, F. C. Londono & P. A. Escandon Suarez (red.), Proceedings of the 16th Participatory Design Conference 2020 (PDC2020 udg., Bind 1, s. 159-171). Association for Computing Machinery. https://doi.org/10.1145/3385010.3385020

Magnani, M., Assent, I. & Mortensen, M. L. (2014). Taking the Big Picture: representative skylines based on significance and diversity. V L D B Journal, 23(5), 795-815. https://doi.org/10.1007/s00778-014-0352-3

Gamberini, L., Spagnolli, A., Corradi, N., Jacucci, G., Tusa, G., Mikkola, T., Zamboni, L. & Hoggan, E. (2012). Tailoring feedback to users’ actions in a persuasive game for household electricity conservation. I International Conference on Persuasive Technology (s. 100-111)

Hogräfer, M. & Schulz, H.-J. (2024). Tailorable Sampling for Progressive Visual Analytics. IEEE Transactions on Visualization and Computer Graphics, 30(8), 4809-4824. https://doi.org/10.1109/TVCG.2023.3278084

Rasmussen, T. A. & Grønbæk, K. (2019). Tailorable remote assistance with RemoteAssistKit: A study of and design response to remote assistance in the manufacturing industry. I H. Nakanishi, H. Egi, I.-A. Chounta, H. Takada, S. Ichimura & U. Hoppe (red.), Collaboration Technologies and Social Computing - 25th International Conference, CRIWG+CollabTech 2019, Proceedings: 25th International Conference, CRIWG+CollabTech 2019 Kyoto, Japan, September 4–6, 2019 Proceedings (s. 80-95). Springer. https://doi.org/10.1007/978-3-030-28011-6_6

Danvy, O. & López, P. E. M. (2003). Tagging, Encoding, and Jones Optimality. I P. Degano (red.), Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings (s. 335-347). Springer. https://doi.org/10.1007/3-540-36575-3_23

Danvy, O. & Lopez, P. E. M. (2003). Tagging, Encoding, and Jones Optimality. BRICS Report Series, (RS-03-2).

Da Rocha Pinto, P., Dinsdale-Young, T. & Gardner, P. (2014). TaDA: A logic for time and data abstraction. I R. Jones (red.), ECOOP 2014 – Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings (s. 207-231). Springer. https://doi.org/10.1007/978-3-662-44202-9_9

Chundury, P., Reyazuddin, Y., Jordan, J. B., Lazar, J. & Elmqvist, N. (2024). TactualPlot: Spatializing Data as Sound Using Sensory Substitution for Touchscreen Accessibility. IEEE Transactions on Visualization and Computer Graphics, 30(1), 836-846. https://doi.org/10.1109/TVCG.2023.3326937

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

Brewster, S. A., Wall, S., Brown, L. M. & Hoggan, E. (2008). Tactile displays. The Engineering Handbook on Smart Technology for Aging, Disability and Independence, 339-352.

Schmidt, A., Kleemann, M., Merritt, T. & Selker, T. (2015). Tactile Communication in Extreme Contexts: Exploring the Design Space Through Kiteboarding. I J. Abascal, S. Barbosa, M. Fetter, T. Gross, P. Palanque & M. Winckler (red.), Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV (s. 37-54). Springer. https://doi.org/10.1007/978-3-319-22723-8_4

Viser resultater 901 til 950 ud af 6040

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series