Programming Languages and Theory of Computing

  1. 2024
  2. Published

    AI transformation in the manufacturing industry

    Eklöf, Jon, 2024, Department of Computer Science, Faculty of Science, University of Copenhagen. 115 p.

    Research output: Book/ReportPh.D. thesisResearch

  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 articleResearchpeer-review

  4. Published

    Explicit Effects and Effect Constraints in ReML

    Elsman, Martin, 2024, In: Proceedings of the ACM on Programming Languages. 8, POPL, p. 2370-2394 25 p., 79.

    Research output: Contribution to journalJournal articleResearchpeer-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 articleResearchpeer-review

  6. Published

    Database Kernels: Seamless Integration of Database Systems and Fast Storage via CXL.

    Lee, S., Lerner, A., Bonnet, Philippe & Cudré-Mauroux, P., 2024, CIDR.

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

  7. Published

    Partial Evaluation of Reversible Flowchart Programs

    Normann, Louis Marott & Glück, Robert, 2024, PEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Keller, G. & Wang, M. (eds.). Association for Computing Machinery, p. 119-133 15 p.

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

  8. 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 articleResearchpeer-review

Previous 1...7 8 9 10 11 Next