Programming Languages and Theory of Computing

Read more
101 - 110 out of 257Page size: 10
  1. 2019
  2. Published

    Computing with Infinite Terms and Infinite Reductions

    Ketema, J. & Simonsen, Jakob Grue, 2019, In: Fundamenta Informaticae. 170, 4, p. 339-365 27 p.

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

  3. Published

    Constructing a binary tree from its traversals by reversible recursion and iteration

    Glück, Robert & Yokoyama, T., 2019, In: Information Processing Letters. 147, p. 32-37 6 p.

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

  4. Published

    Contextual compositionality detection with external knowledge bases and word embeddings

    Wang, D., Li, Q., Lima, L. C., Simonsen, Jakob Grue & Lioma, Christina, 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, p. 317-323 7 p.

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

  5. Published

    En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad

    Kaarsgaard, R. & Veltri, N., 2019, Mathematics of Program Construction- 13th International Conference, MPC 2019, Proceedings. Hutton, G. (ed.). Springer VS, p. 366-384 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11825 LNCS).

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

  6. Published

    Governance of Decentralized Organizations: Lessons from Ethereum

    Avital, M., Jensen, J. R. & Ross, Omry, 2019. 17 p.

    Research output: Contribution to conference › Paper › Research

  7. Published

    High-performance defunctionalisation in futhark

    Hovgaard, A. K., Henriksen, Troels & Elsman, Martin, 2019, Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers. Pałka, M. & Myreen, M. (eds.). Springer, p. 136-156 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11457 LNCS).

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

  8. Published

    Inversion, Iteration, and the Art of Dual Wielding

    Kaarsgaard, R., 2019, Reversible Computation - 11th International Conference, RC 2019, Proceedings. Soeken, M. & Thomsen, M. K. (eds.). Springer, p. 34-50 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11497 LNCS).

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

  9. Published

    Modelling Sequential Music Track Skips using a Multi-RNN Approach

    Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 2019, WSDM '19: Proceedings of the Twelfth ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, 4 p.

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

  10. Published

    More Intensional Versions of Rice’s Theorem

    Moyen, J. Y. & Simonsen, Jakob Grue, 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Martin, B., Paulusma, D., Primiero, G. & Manea, F. (eds.). Springer, p. 217-229 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11558 LNCS).

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

  11. Published

    MultiFC: A Real-World Multi-Domain Dataset for Evidence-Based Fact Checking of Claims

    Augenstein, Isabelle, Lioma, Christina, Wang, D., Chaves Lima, L., Hansen, C., Hansen, C. & Simonsen, Jakob Grue, 2019, Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP). Association for Computational Linguistics, p. 4684-4697

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

Previous 1...7 8 9 10 11 12 13 14 ...26 Next