Programming Languages and Theory of Computing

  1. 2023
  2. 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. thesisResearch

  3. Accepted/In press

    Subclasses of Ptime Interpreted by Programming Languages

    Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2023, (Accepted/In press) In: Theory of Computing Systems. 36 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  4. 2022
  5. Published

    Building blocks of sharding blockchain systems: Concepts, approaches, and open problems

    Liu, Y., Liu, J., Vaz Salles, M. A., Zhang, Z., Li, T., Hu, B., Henglein, Fritz & Lu, R., Nov 2022, In: Computer Science Review. 46, 44 p., 100513.

    Research output: Contribution to journalReviewResearchpeer-review

  6. Published

    The Programming of Algebra

    Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, Jun 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 360, p. 71-92 22 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  7. Published

    Debat | Forskere: Derfor har Danmark forudsæt­nin­gerne for at blive førende indenfor krypto­ak­tiver

    Andhov, Alexandra, Blemus, S., Ross, Omry & Jensen, J. R., 5 Apr 2022, In: Børsen. 5. april 2022, 1 p.

    Research output: Contribution to journalContribution to newspaper - Comment/debateCommunication

  8. Published

    A Generic Type System for Higher-Order Ψ-calculi

    Bendixen, A. R., Bojesen, B. B., Hüttel, Hans & Lybech, S., 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 368, p. 43-59 17 p.

    Research output: Contribution to journalConference articleResearchpeer-review

  9. Published

    A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages

    Saioc, G. V. & Hüttel, Hans, 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 369, p. 51-66

    Research output: Contribution to journalConference articleResearchpeer-review

  10. Published

    Algeo: An Algebraic Approach to Reversibility

    Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, 2022, Reversible Computation - 14th International Conference, RC 2022, Proceedings. Mezzina, C. A. & Podlaski, K. (eds.). Springer, p. 128-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13354 LNCS).

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

  11. Published

    Deep Probabilistic Programming Applied Protein Superposition: Protein Structure Prediction and Ancestral Sequence Resurrection

    Sanz Moreta, Lys, 2022, Department of Computer Science, Faculty of Science, University of Copenhagen. 138 p.

    Research output: Book/ReportPh.D. thesisResearch

  12. Published

    Discounted Repeated Games Having Computable Strategies with No Computable Best Response under Subgame-Perfect Equilibria

    Dargaj, Jakub & Simonsen, Jakob Grue, 2022, In: ACM Transactions on Economics and Computation. 10, 1, p. 1-39 3.

    Research output: Contribution to journalJournal articleResearchpeer-review

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