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

Korn, M. (2010). Understanding Use Situated in Real-world Mobile Contexts. Afhandling præsenteret på ACM Conference on Ubiquitous Computing. Ubicomp '10, København, Danmark. http://mkorn.binaervarianz.de/pub/ubicomp2010-ws.pdf

Chundury, P., Thakkar, U., Reyazuddin, Y., Jordan, J. B., Elmqvist, N. & Lazar, J. (2024). Understanding the Visualization and Analytics Needs of Blind and Low-Vision Professionals. I ASSETS 2024 - Proceedings of the 26th International ACM SIGACCESS Conference on Computers and Accessibility Artikel 111 Association for Computing Machinery. https://doi.org/10.1145/3663548.3688496

Van Oosterhout, A. (2019). Understanding the benefits and drawbacks of shape change in contrast or addition to other modalities. I DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference (s. 113-116). Association for Computing Machinery. https://doi.org/10.1145/3301019.3324875

Strauss, D. J., Francis, A. L., Schäfer, Z., Latzel, M., Corona–Strauss, F. I. & Launer, S. (2025). Understanding speech in “noise” or free energy minimization in the soundscapes of the anthropocene. Frontiers in Neuroscience, 19, Artikel 1534425. https://doi.org/10.3389/fnins.2025.1534425

Bødker, S. (1998). Understanding representations in design. Human-Computer Interaction, 13(2), 107-125. https://doi.org/10.1207/s15327051hci1302_1

Teli, M., Rossitto, C., Lewkowicz, M. & Bødker, S. (2021). Understanding, Promoting, and Designing for Sustainable Appropriation of Technologies by Grassroots Communities. Towards a new wave of technological activism: Sustainable Appropriation of Technologies by Grassroots Communities. I C&T '21: Proceedings of the 10th International Conference on Communities & Technologies - Wicked Problems in the Age of Tech (s. 332-335). Association for Computing Machinery. https://doi.org/10.1145/3461564.3468163

Bertelsen, O. W. (1997). Understanding objects in use-oriented design. I K. Braa & E. Monteiro (red.), Proceedings of the 20th Information Systems Research Seminar in Scandinavia (s. 311-324)

Whiffing, J., Langlotz, T., Lutteroth, C., Sharma, A. & Clarke, C. (2026). Understanding Freehand Cursorless Pointing Variability and Its Impact on Selection Performance. ACM Transactions on Computer-Human Interaction, 33(1), Artikel 11. https://doi.org/10.1145/3770583

Bødker, S. (1996). Understanding computer applications in use - a human activity analysis. I P. Bøgh Andersen, B. Holmquist, H. Klein & R. Possner (red.), Signs at work (s. 325-348). De Gruyter.

Bødker, S. (2015). Understanding computer applications in use: A human activity analysis. I Signs of Work: Semiosis and Information Processing in Organisations (s. 325-348). Walter de Gruyter GmbH and Co. KG. https://doi.org/10.1515/9783110819014-012

Vermeulen, J., Luyten, K. & Coninx, K. (2012). Understanding Complex Environments with the Feedforward Torch. I Ambient Intelligence - Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings (s. 312-319) https://doi.org/10.1007/978-3-642-34898-3_22

Grönvall, E. & Verdezoto, N. (2013). Understanding Challenges and Opportunities of Preventive Blood Pressure Self-Monitoring at Home. I P. Palanque , F. Détienne & A. Tricot (red.), Proceedings of the 31st European Conference on Cognitive Ergonomics (ACM ECCE 2013) Association for Computing Machinery. https://doi.org/10.1145/2501907.2501962

Larsen-Ledet, I. (2020). Understanding and Supporting Collaborative Academic Writing as a Fragmented Process. Afhandling præsenteret på The ECSCW 2019 Doctoral Colloquium, Salzburg, Østrig. https://doi.org/10.18420/ecscw2019_dc6

Ciolfi, L., Cooke, M., Bertelsen, O. W. & Bannon, L. J. (2005). Understanding and Designing for Aesthetic Experience. I L. MacKinnon, O. Bertelsen & N. Bryan-Kinns (red.), The 19th British HCI Group Annual Conference (s. 289-291). The British Computer Society.

Li, Y., Tan, T. & Xue, J. (2019). Understanding and analyzing Java reflection. ACM Transactions on Software Engineering and Methodology, 28(2), Artikel 7. https://doi.org/10.1145/3295739

Asilis, J., Høgsgaard, M. M. & Velegkas, G. (2025). Understanding Aggregations of Proper Learners in Multiclass Classification. I Proceedings of The 36th International Conference on Algorithmic Learning Theory (s. 89-111). PMLR.

Møller-Nielsen, P. (2022). Undersøgelser omkring analyse og manipulation af musik og tale: En antologi.

Kavvos, G. A. & Gratzer, D. (2023). Under Lock and Key: A Proof System for a Multimodal Logic. Bulletin of Symbolic Logic, 29(2), 264-293. https://doi.org/10.1017/bsl.2023.14

Jurdzinski, M., Nielsen, M. & Srba, J. (2003). Undecidability of Domino Games and Hhp-Bisimilarity. Information and Computation, 184(2), 343-368. https://doi.org/10.1016/S0890-5401(03)00064-6

Thiel, S. K. (2018). Uncovering the influence of game components on creativity. I CHI PLAY 2018 - Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts (s. 637-645). Association for Computing Machinery. https://doi.org/10.1145/3270316.3271515

Tsirogiannis, C. & Tsirogiannis, C. (2016). Uncovering the Hidden Routes: Algorithms for Identifying Paths and Missing Links in Trade Networks . I T. Brughmans, A. Collar & F. Coward (red.), The Connected Past: Challenges to Network Studies in Archaeology and History Oxford University Press.

David, B. M., Dowsley, R., van der Graaf, J., Marques, D., Nascimento, A. C. A. & Pinto, A. (2015). Unconditionally Secure, Universally Composable Privacy Preserving Linear Algebra. I E E E Transactions on Information Forensics and Security, 11(1), 59 - 73 . https://doi.org/10.1109/TIFS.2015.2476783

Meldgaard, S. T. (2013). Unconditionally Secure Protocols. Institut for Datalogi, Aarhus Universitet.

Damgård, I. B., Nielsen, J. B., Toft, T., Kiltz, E. & Fitzi, M. (2006). Unconditionally Secure Constant-Rounds Multi-party Computation for Equality, Comparison, Bits and Exponentiation. I S. Halevi & T. Rabin (red.), Theory of Cryptography: Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings (s. 285-304). Springer. https://doi.org/10.1007/11681878_15

Damgård, I., Nielsen, J. B., Ostrovsky, R. & Rosén, A. (2016). Unconditionally secure computation with reduced interaction. I M. Fischlin & J.-S. Coron (red.), Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (Bind 9666, s. 420-447). Springer VS. https://doi.org/10.1007/978-3-662-49896-5_15

Damgård, I. B. & Scafuro, A. (2013). Unconditionally Secure and Universally Composable Commitments from Physical Assumptions. I K. Sako & P. Sarkar (red.), Advances in Cryptology - ASIACRYPT 2013: 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II (s. 100-119 ). Springer VS. https://doi.org/10.1007/978-3-642-42045-0_6

Damgård, I. B., Dupont, K. & Pedersen, M. Ø. (2006). Unclonable Group Identification. I S. Vaudenay (red.), Advances in Cryptology - EUROCRYPT 2006: 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedings (s. 555-572). Springer. https://doi.org/10.1007/11761679_33

Christensen, H. B. (2019). Uncle Henrik’s Clean Code Principles.

Draganov, A. A., Weber, P., Jørgensen, R. S. M., Beer, A., Plant, C. & Assent, I. (2025). Ultrametric Cluster Hierarchies: I Want ‘em All!. https://neurips.cc/media/PosterPDFs/NeurIPS%202025/119173.png?t=1762960797.979475

Kyng, M. & Mathiassen, L. (1976). Udkast til ansøgning om projekttilskud fra Teknologirådet.

Moradan, A., Draganov, A., Mottin, D. & Assent, I. (2021). UCoDe: Unified Community Detection with Graph Convolutional Networks. ArXiv. https://doi.org/10.48550/arXiv.2112.14822

Moradan, A., Draganov, A., Mottin, D. & Assent, I. (2023). UCoDe: unified community detection with graph convolutional networks. Machine Learning, 112(12), 5057-5080. https://doi.org/10.1007/s10994-023-06402-0

Bødker, S., Klokmose, C. N. & Brodersen, A. C. (2007). Ubiquitous Substitution. I Proceedings of 11th IFIP TC 13 International Conference (Bind 4662/2007, s. 179-192). Springer.

Brodersen, C., Bødker, S. & Klokmose, C. N. (2007). Ubiquitous substitution. I Human-Computer Interaction - INTERACT 2007 - 11th IFIP TC 13 International Conference, Proceedings (PART 1 udg., s. 179-192)

Grønbæk, K. (2006). Ubiquitous hypermedia and social interaction in physical environments. I HYPERTEXT '06: Proceedings of the seventeenth conference on Hypertext and hypermedia (s. 119-120). Association for Computing Machinery. https://doi.org/10.1145/1149941.1149965

Dalsgård, P. & Eriksson, E. (2007). Ubiquitous Computing in Physico-Spatial Environments: Activity Theoretical Considerations.

Hansen, F. A. (2006). Ubiquitous Annotation Systems: Technologies and Challenges. I Proceedings of the Seventeenth Conference on Hypertext and Hypermedia (s. 121-132). Association for Computing Machinery. https://doi.org/10.1145/1149941.1149967

Mezzetti, G., Møller, A. & Strocco, F. (2016). Type unsoundness in practice: An empirical study of dart. I R. Ierusalimschy (red.), DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages (s. 13-24). Association for Computing Machinery. https://doi.org/10.1145/2989225.2989227

Kristensen, E. K. & Møller, A. (2017). Type Test Scripts for TypeScript Testing. Proceedings of the ACM on Programming Languages , 1(OOPSLA), 90:1-90:25. Artikel 90. https://doi.org/10.1145/3133914

Schwartzbach, M. I. & Palsberg, J. (1990). Type Substitution for Object-Oriented Programming. I A. Yonezawa (red.), Proceedings of the European Conference on Object-Oriented Programming Systems, Languages and Applications (s. 151-160). Association for Computing Machinery. https://doi.org/10.1145/97945.97965

Strocco, F. (2016). Type Soundness in the Dart Programming Language. Department of Computer Science, University of Aarhus.

Schwartzbach, M. I. & Meineche Smidt, E. (1990). Types and Automata. Aarhus Universitetsforlag.

Heinze, T. S., Møller, A. & Strocco, F. (2016). Type safety analysis for dart. I R. Ierusalimschy (red.), DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages (s. 1-12). Association for Computing Machinery. https://doi.org/10.1145/2989225.2989226

Mezzetti, G., Møller, A. & Torp, M. T. (2018). Type Regression Testing to Detect Breaking Changes in Node.js Libraries. I T. D. Millstein (red.), 32nd European Conference on Object-Oriented Programming, ECOOP 2018 (Bind 109, s. 7:1-7:24). Artikel 7 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2018.7

Schwartzbach, M. I. (1991). Type Inference with Inequalities. I TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8-12, 1991 (s. 441-455). Springer. https://doi.org/10.1007/3-540-53982-4_24

Schwartzbach, M. I., Askari, H. & Hougaard, O. I. (1995). Type Inference of Turbo Pascal. International Journal on Software Tools for Technology Transfer, 16(4), 160-169.

Schwartzbach, M. I., Agesen, O. & Palsberg, J. (1993). Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance. I O. M. Nierstrasz (red.), ECOOP' 93 - Object-Oriented Programming: 7th European Conference Kaiserslautern, Germany, July 26-30, 1993 Proceedings (s. 247-267). Springer. https://doi.org/10.1007/3-540-47910-4_14

Schwartzbach, M. I., Agesen, O. & Palsberg, J. (1995). Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance. Software: Practice & Experience, 25(9), 975-995.

Iversen, J. & Mosses, P. D. (red.) (2002). Type Inference for the New Action Notation. Afhandling præsenteret på International Workshop on Action Semantics (AS 2002), København, Danmark.

Rendel, T., Ostermann, K. & Hofer, C. (2009). Typed Self-Representation. I Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (s. 293-303). Association for Computing Machinery. https://doi.org/10.1145/1542476.1542509

Viser resultater 301 til 350 ud af 6119

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series