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

Pakanen, M., Polli, A. M., Lee, S., Lindley, J. & Goncalves, J. (2013). Tending a Virtual Garden: Exploring Connectivity between Cities. I UbiComp '13 Adjunct Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication (s. 761-764 ). Association for Computing Machinery. https://doi.org/10.1145/2494091.2496004

Kappel, S. L., Jørgensen, A. N. & Kidmose, P. (2025). Temporal Synchronization of Multimodal Hyperscanning Recordings: Challenges, Methodologies, and Best Practices. I 2025 47th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2025 - Proceedings IEEE. https://doi.org/10.1109/EMBC58623.2025.11252759

Nielsen, M. & Valencia, F. D. (2003). Temporal constraint programming: A framework for discrete-timed systems. Association for Logic Programming Newsletter, 15(4).

Nielsen, M., Palamidessi, C. & Valencia, F. D. (2002). Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nordic Journal of Computing, 9(2), 145-188.

Nielsen, M. & Valencia, F. D. (2001). Temporal Concurrent Constraint Programming: Applications and Behavior. BRICS Report Series, (RS-01-48).

Nielsen, M. & Valencia Posso, F. D. (2002). Temporal Concurrent Constraint Programming: Applications and Behavior. I W. Brauer, H. Ehrig, J. Karhumäki & A. Salomaa (red.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (s. 298-324). Springer. https://doi.org/10.1007/3-540-45711-9_17

Bøgh, K. S., Chester, S., Sidlauskas, D. & Assent, I. (2017). Template Skycube Algorithms for Heterogeneous Parallelism on Multicore and GPU Architectures. I SIGMOD 2017 - Proceedings of the 2017 ACM International Conference on Management of Data (s. 447-462). Association for Computing Machinery. https://doi.org/10.1145/3035918.3035962

Anderson, K. M., Hansen, F. A. & Bouvin, N. O. (2006). Templates and Queries in Contextual Hypermedia. I Proceedings of the 17th ACM Hypertext 2006 Conference (s. 99-110). Association for Computing Machinery. https://doi.org/10.1145/1149941.1149961

Aarhus, R., Gjerlufsen, T., Hohn, T. & Vesterby, M. (2010). Telemedicine for Healthy Patients. I Infrastructure for Health Care: Connecting practices across institutional and professional boundaries (s. 5-6). University of Copenhagen. http://www.sundhedsit.net/fileadmin/sundhedsitnet/Downloads/Abstracts_Infrastructures09.pdf

Clemensen, J. & Larsen, S. B. (2007). Telemedical Treatment of Diabetic Foot Ulcers. I Private Hospital Healthcare Europe 2007 (s. IT23-IT24). Campden Publishing Limited.

Clemensen, J., Larsen, S. B. & Ejskjær, N. (2005). Telemedical Treatment at Home of Diabetic Foot Ulcers. Journal of Telemedicine and Telecare, 11(Suppl. 2), S14-16.

Clemensen, J., Larsen, S. B., Kirkevold, M. & Ejskjær, N. (2007). Telemedical Teamwork between Home and Hospital: A Synergetic Triangle Emerges. I Information Technology in Health Care 2007: Proceedings of the 3rd International Conference on Information Technology in Health Care: Socio-technical Approaches (Bind 130, s. 81-89). IOS Press.

Brynskov, M. (red.), Halskov, K. (red.), Kabel, L. (red.), Rimestad, J., Mosegaard, J., Noe, K. Ø. & Mikkelsen, P. T. (2012). Teknologiske udfordringer i urbane miljøer. I In Byens digitale liv - Digital Urban Living (2012)

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. Software .

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.

Jensen, A. V., Surrow, I. M., Shokeen, E., Liu, Y.-Y., Connelly, L., Dindler, C., Hjorth, M., Petersen, M. G. & Iversen, O. S. (Accepteret/In press). Teachers Bridging Technical and Reflective Stances in K-9 AI Education. I Proceedings of the International Society of the Learning Sciences (ISLS) Annual Meeting International Society of the Learning Sciences (ISLS).

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

Viser resultater 901 til 950 ud af 6136

Forrige