Programming Languages and Theory of Computing

Read more
1 - 10 out of 262Page size: 10
  1. 2024
  2. Published

    Statistical investigations into the geometry and homology of random programs

    Sporring, Jon & Larsen, Ken Friis, 5 Jul 2024, arxiv.org, 16 p.

    Research output: Working paper › Preprint › Research

  3. 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 proceeding › Article in proceedings › Research › peer-review

  4. 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/Report › Ph.D. thesis › Research

  5. E-pub ahead of print

    Abstraction, mimesis and the evolution of deep learning

    Eklöf, Jon, Hamelryck, Thomas Wim, Last, C., Grima, A. & Snis, U. L., 2024, (E-pub ahead of print) In: AI and Society. 9 p.

    Research output: Contribution to journal › Journal article › Research › peer-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 2024. 14th Annual Conference on Innovative Data Systems Research (CIDR ’24). CIDR, 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  7. Published

    Explicit Effects and Effect Constraints in ReML

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  8. Published

    Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware

    Nielsen, Lars-Bo Vadgaard, Kirkeby, M. H., Larsen, Ken Friis & Thomsen, Michael Kirkedal, 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (eds.). Springer VS, p. 77-93 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14680 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  9. 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 journal › Journal article › Research › peer-review

  10. Published

    Jeopardy: An Invertible Functional Programming Language

    Kristensen, Joachim Tilsted, Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (eds.). Springer, p. 124-141 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14680 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  11. Published

    Kickstarting blockchain: designing blockchain-based tokens for equity crowdfunding

    Guggenberger, T., Schellinger, B., von Wachter, Carl Victor & Urbach, N., 2024, In: Electronic Commerce Research. 24, p. 239–273

    Research output: Contribution to journal › Journal article › Research › peer-review

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