Programming Languages and Theory of Computing

  1. 2022
  2. Published

    Compiling a functional array language with non-semantic memory information

    Munksgaard, P., Oancea, Cosmin Eugen & Henriksen, Troels, 2022.

    Research output: Contribution to conferencePaperResearch

  3. Published

    Complex-valued Neural Network-based Quantum Language Models

    Zhang, P., Hui, W., Wang, B., Zhao, D., Song, D., Lioma, Christina & Simonsen, Jakob Grue, 2022, In: ACM Transactions on Information Systems. 40, 4, 31 p., 84.

    Research output: Contribution to journalJournal articleResearchpeer-review

  4. Published

    DAPHNE: An Open and Extensible System Infrastructure for Integrated Data Analysis Pipelines.

    Damme, P., Birkenbach, M., Bitsakos, C., Boehm, M., Bonnet, P., Ciorba, F. M., Dokter, M., Dowgiallo, P., Eleliemy, A., Faerber, C., Goumas, G. I., Habich, D., Hedam, N., Hofer, M., Huang, W., Innerebner, K., Karakostas, V., Kern, R., Kosar, T., Krause, A. & 21 others, Krems, D., Laber, A., Lehner, W., Mier, E., Paradies, M., Peischl, B., Poerwawinata, G., Psomadakis, S., Rabl, T., Ratuszniak, P., Silva, P., Skuppin, N., Starzacher, A., Steinwender, B., Tolovski, I., Tözün, P., Ulatowski, W., Wrosz, I. P., Zamuda, A., Zhang, C. & Zhu, X., 2022, CIDR.

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

  5. 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

  6. Published

    Diagnostics-Guided Explanation Generation

    Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, In: Proceedings of the International Joint Conference on Artificial Intelligence. 36, 10, p. 10445-10453.

    Research output: Contribution to journalConference articleResearch

  7. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  8. Published

    Diversity and Inclusion Activities in Database Conferences: A 2021 Report.

    Amer-Yahia, S., Amsterdamer, Y., Bhowmick, S. S., Bonifati, A., Bonnet, P., Borovica-Gajic, R., Catania, B., Cerquitelli, T., Chiusano, S., Chrysanthis, P. K., Curino, C., Darmont, J., Abbadi, A. E., Floratou, A., Freire, J., Jindal, A., Kalogeraki, V., Koutrika, G., Kumar, A., Maiyya, S. & 13 others, Meliou, A., Mohanty, M., Naumann, F., Noack, N. S., Özcan, F., Peterfreund, L., Rahayu, W., Tan, W., Tian, Y., Tözün, P., Vargas-Solar, G., Yadwadkar, N. J. & Zhang, M., 2022, In: SIGMOD Record. 51, 2, p. 69-73 5 p., 2.

    Research output: Contribution to journalJournal articleResearchpeer-review

  9. Published

    Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee

    Bager, S. L., Duedder, Boris, Henglein, Fritz, Hebert, J. M. & Wu, Haiqin, 2022, In: Frontiers in blockchain. 5, 18 p., 846783.

    Research output: Contribution to journalJournal articleResearchpeer-review

  10. Published

    Events as a Basis for Workflow Scheduling

    Marchant, David Gray, 2022, Proceedings of WORKS 2022: 17th Workshop on Workflows in Support of Large-Scale Science, Held in conjunction with SC 2022: The International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, p. 52-59 8 p.

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

  11. Published

    Fact Checking with Insufficient Evidence

    Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, In: Transactions of the Association for Computational Linguistics. 10, p. 746-763

    Research output: Contribution to journalJournal articleResearchpeer-review

Previous 12 3 4 5 6 7 8 9 ...27 Next