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

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. (2025). Understanding Freehand Cursorless Pointing Variability and Its Impact on Selection Performance. ACM Transactions on Computer-Human Interaction. 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.

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

Hansen, K. M. & Yndigegn, C. (1999). Typed links in Webvise. Softwareprogram

Danvy, O. (1999). Type-Directed Partial Evaluation. I J. Hatcliff, T. Æ. Mogensen & P. Thiemann (red.), Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998 (s. 367-411). Springer. https://doi.org/10.1007/3-540-47018-2_16

Danvy, O. (1996). Type-Directed Partial Evaluation. I Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium (s. 242-257). Association for Computing Machinery.

Danvy, O. (1998). Type-Directed Partial Evaluation. BRICS Lecture Series, (LS-98-3).

Brabrand, C. & Thomsen, J. G. (2010). Typed and Unambiguous Pattern Matching on Strings using Regular Expressions. I T. Kutsia, W. Schreiner & M. Fernandez (red.), Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming. PPDP '10: (s. 243-254). Association for Computing Machinery. https://doi.org/10.1145/1836089.1836120

Kirkegaard, C. & Møller, A. (2006). Type Checking with XML Schema in XACT. Afhandling præsenteret på PLAN-X 2006: ACM SIGPLAN Workshop on Programming Language Technologies for XML, Charleston, SC, USA.

Viser resultater 301 til 350 ud af 6014

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series