Programming Languages and Theory of Computing

  1. 2024
  2. Published

    AI Implementation and Capability Development in Manufacturing: An Action Research Case

    Eklöf, Jon, Snis, U. L., Hamelryck, Thomas Wim, Grima, A. & Rønning, Ola, 2024, Proceedings of the 57th Hawaii International Conference on System Sciences - HICSS 2024. Hawaii International Conference on System Sciences, 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. Accepted/In press

    Abstraction, mimesis and the evolution of deep learning

    Eklöf, Jon, Hamelryck, Thomas Wim, Last, C., Grima, A. & Snis, U. L., 2024, (Accepted/In press) In: AI and Society. 9 p.

    Research output: Contribution to journalJournal articlepeer-review

  4. Published

    Foundations and practice of binary process discovery

    Slaats, Tijs, Debois, S., Back, C.O. & Christfort, Axel Kjeld Fjelrad, 2024, In: Information Systems. 121, 20 p., 102339.

    Research output: Contribution to journalJournal articlepeer-review

  5. E-pub ahead of print

    Kickstarting blockchain: designing blockchain-based tokens for equity crowdfunding

    Guggenberger, T., Schellinger, B., von Wachter, Carl Victor & Urbach, N., 2024, (E-pub ahead of print) In: Electronic Commerce Research.

    Research output: Contribution to journalJournal articlepeer-review

  6. Published

    Multi-Head Adapter Routing for Cross-Task Generalization

    Caccia, L., Ponti, E., Su, Z., Pereira, M., Le Roux, N. & Sordoni, A., 2024. 2 p.

    Research output: Contribution to conferencePaperResearchpeer-review

  7. 2023
  8. Published

    Endogenous Retroviral Elements Constitute a Promising Vaccine Antigen Source for Haematological Malignancies

    Thygesen, Christian Bahne, Klausen, M. S., Thuesen, N., Garde, C., Jespersen, A., Grønbæk, Kirsten, Kringelum, J. & Bundgård Sørensen, A. B., 28 Nov 2023, In: Blood. 142, Supplement 1, p. 243-243

    Research output: Contribution to journalJournal articlepeer-review

  9. Published

    Read/write factorizable programs

    Bhaskar, S. & Simonsen, Jakob Grue, 8 Jun 2023, In: Journal of Functional Programming. 33, 4, p. 1-50 e5.

    Research output: Contribution to journalJournal articlepeer-review

  10. Published

    Sentiment Classification of Historical Danish and Norwegian Literary Texts

    Al-Laith, Ali Mohammed Ali, Nielsen Degn, K., Conroy, Alexander, Pedersen, Bolette Sandford, Bjerring-Hansen, Jens & Hershcovich, Daniel, May 2023, Proceedings of the 24th Nordic Conference on Computational Linguistics (NoDaLiDa). Association for Computational Linguistics (ACL), p. 324–334

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  11. Published

    A Probabilistic Approach to the Protein Folding Problem: Using Stein-based Variational Inference

    Rønning, Ola, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 129 p.

    Research output: Book/ReportPh.D. thesis

  12. Published

    A complete characterization of infinitely repeated two-player games having computable strategies with no computable best response under limit-of-means payoff

    Dargaj, J. & Simonsen, Jakob Grue, 2023, In: Journal of Economic Theory. 213, 24 p., 105713.

    Research output: Contribution to journalJournal articlepeer-review

  13. Published

    Accelerating vaccine development througha deep probabilistic programming approachto protein structure prediction

    Thygesen, Christian Bahne, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 93 p.

    Research output: Book/ReportPh.D. thesis

  14. Published

    Branching execution symmetry in Jeopardy by available implicit arguments analysis

    Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, In: NIKT: Norsk IKT-konferanse for forskning og utdanning. 2022, 1, p. 1-14

    Research output: Contribution to journalConference articlepeer-review

  15. Published

    Can AI Moderate Online Communities?

    Axelsen, Henrik Bjørn, Jensen, J. R., Axelsen, S., Licht, V. & Ross, Omry, 2023, arXiv preprint, 12 p.

    Research output: Working paperPreprintResearch

  16. Published

    DLT Compliance Reporting

    Jensen, J. R., Axelsen, Henrik Bjørn & Ross, Omry, 2023, In: Complex Systems Informatics and Modeling Quarterly. 2023, 35, p. 92-103 12 p., 195.

    Research output: Contribution to journalJournal articlepeer-review

  17. Published

    Decentralized Finance: Building and Analyzing Financial Infrastructure on Blockchain Technology

    von Wachter, Carl Victor, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 223 p.

    Research output: Book/ReportPh.D. thesis

  18. Published

    Delilah: eBPF-offload on Computational Storage

    Hedam, N., Clausen, M. T., Bonnet, P., Lee, S. & Larsen, Ken Friis, 2023, Proceedings of the 19th International Workshop on Data Management on New Hardware, DaMoN 2023. Association for Computing Machinery, Inc., p. 70-76 7 p. (Proceedings of the 19th International Workshop on Data Management on New Hardware, DaMoN 2023).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  19. Published

    Delivering Rules-Based Workflows for Science

    Marchant, David Gray, Blomqvist, M., Jensen, Thomas Philip, Lilholm, Iben & Nørgaard, Martin, 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, Inc., p. 2000-2008 (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  20. Published

    Designing with Awareness: Building an Agenda for Worker and Patient Well-being

    Milbak, Tina Westergaard, Simonsen, Jakob Grue, Hansen, M. B. & Møller, Naja Holten, 2023, Proceedings of 21st European Conference on Computer-Supported Cooperative Work. European Society for Socially Embedded Technologies

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  21. Published

    Faithfulness Tests for Natural Language Explanations

    Atanasova, Pepa Kostadinova, Camburu, O. M., Lioma, Christina, Lukasiewicz, T., Simonsen, Jakob Grue & Augenstein, Isabelle, 2023, Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers). Association for Computational Linguistics (ACL), p. 283-294 12 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  22. Published

    Garbage-Collection Safety for Region-Based Type-Polymorphic Programs

    Elsman, Martin, 2023, In: Proceedings of the ACM on Programming Languages. 7, PLDI, 115.

    Research output: Contribution to journalJournal articlepeer-review

  23. Published

    Implicit Representation of Relations

    Glončák, V., Munkstrup, J. E. E. & Simonsen, Jakob Grue, 2023, In: Theory of Computing Systems. 67, 6, p. 1156-1196

    Research output: Contribution to journalJournal articlepeer-review

  24. Published

    Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

    Glück, Robert (ed.) & Kafle, B. (ed.), 2023, Springer. 211 p. (Lecture Notes in Computer Science, Vol. 14330).

    Research output: Book/ReportAnthology

  25. Published

    MEOW: Enabling Dynamic Scheduling of Scientific Analysis

    Marchant, David Gray, 2023, Niels Bohr Institute, Faculty of Science, University of Copenhagen. 271 p.

    Research output: Book/ReportPh.D. thesis

  26. Published

    Multi-block MEV

    Jensen, J. R., von Wachter, Carl Victor & Ross, Omry, 2023, arXiv preprint, 9 p.

    Research output: Working paperPreprintResearch

  27. Published

    Parallelism in a Region Inference Context

    Elsman, Martin & Henriksen, Troels, 2023, In: Proceedings of the ACM on Programming Languages. 7, PLDI, p. 884-906 142.

    Research output: Contribution to journalJournal articlepeer-review

Previous 1 2 3 4 5 6 7 8 ...11 Next