Programming Languages and Theory of Computing

Read more
126 - 150 out of 257Page size: 25
Sort by: Title
  1. Published

    Intrinsically defined sorting functions

    Henglein, Fritz, 2007.

    Research output: Working paper › Research

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

  3. Published

    Is there a fourth Futamura projection?

    Glück, Robert, 2009, PEPM´09: Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 51-60 10 p.

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

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

  5. Published

    Kunsten at vejlede et konstruktionsprojekt

    Larsen, Ken Friis, 2007, In: Dansk Universitetspædagogisk Tidsskrift .

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

  6. Published

    Lienar-Time Self-Interpretation of the Pure Lambda Calculus

    Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (3), p. 217-237

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

  7. Published

    Linear Types for Cashflow Reengineering

    Mogensen, Torben Ægidius, 2003, PSI\ ' 03. Lecture Notes. 2890 ed. Berlin: Springer, p. 13-21

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  8. Published

    Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755

    Mogensen, Torben Ægidius, 2000, publisher. Springer, p. 128-142

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

  9. Published

    Liouville Numbers and the Computational Complexity of Changing Bases

    Jakobsen, S. K. & Simonsen, Jakob Grue, 2020, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (eds.). Springer VS, p. 50-62 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12098 LNCS).

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

  10. Published

    Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

    Glück, Robert (ed.) & Kafle, B. (ed.), 2023, Springer. 211 p. (Lecture Notes in Computer Science, Vol. 14330).

    Research output: Book/Report › Anthology › Research

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

  12. Published

    Making programs reversible with minimal extra data

    Glück, Robert & Yokoyama, T., 2022, In: New Generation Computing. 40, 2, p. 467-480

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

  13. Published

    Managing risk in DeFi: position paper

    Jensen, J. R. & Ross, Omry, 2020, In: CEUR Workshop Proceedings. 2749, p. 133-138 6 p.

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

  14. Published

    Massively-parallel change detection for satellite time series data with missing values

    Gieseke, Fabian Cristian, Rosca, S., Henriksen, Troels, Verbesselt, J. & Oancea, Cosmin Eugen, 2020, Proceedings - 2020 IEEE 36th International Conference on Data Engineering, ICDE 2020. IEEE, p. 385-396 9101616

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

  15. Published

    Measuring Asset Composability as a Proxy for DeFi Integration

    von Wachter, Carl Victor, Jensen, J. R. & Ross, Omry, 2021, Financial Cryptography and Data Security. FC 2021 International Workshops - CoDecFin, DeFi, VOTING, and WTSC, Revised Selected Papers. Bernhard, M., Bracciali, A., Gudgeon, L., Haines, T., Klages-Mundt, A., Matsuo, S., Perez, D., Sala, M. & Werner, S. (eds.). Springer, p. 109-114 6 p. (Lecture Notes in Computer Science, Vol. 12676).

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

  16. Published

    Memory Optimizations in an Array Language

    Munksgaard, P., Henriksen, Troels, Sadayappan, P. & Oancea, Cosmin Eugen, 2022, Proceedings of SC 2022: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE Computer Society Press, p. 1-15 31

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

  17. Published

    MicroPower - Towards Low-power Microprocessors with Reversible Computing

    Axelsen, H. B., Glück, Robert, De Vos, A. & Thomsen, Michael Kirkedal, 2009, In: ERCIM News. 79, p. 20-21 2 p.

    Research output: Contribution to journal › Journal article › Communication

  18. Published

    Mixture Models for Spherical Data with Applications to Protein Bioinformatics

    Mardia, K. V., Barber, S., Burdett, P. M., Kent, J. T. & Hamelryck, Thomas Wim, 2022, Directional Statistics for Innovative Applications: A Bicentennial Tribute to Florence Nightingale. Springer, p. 15-32 (Forum for Interdisciplinary Mathematics).

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

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

  20. Published

    Module Theory and Query Processing: (Extended Abstract)

    Henglein, Fritz & Mathiesen, Mikkel Kragh, 2020. 3 p.

    Research output: Contribution to conference › Conference abstract for conference › Research

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

  22. Published

    Multi-Head Adapter Routing for Cross-Task Generalization

    Caccia, L., Ponti, E., Su, Z., Pereira, M., Le Roux, N. & Sordoni, A., 2024. 2 p.

    Research output: Contribution to conference › Paper › Research › peer-review

  23. Published

    Multi-block MEV

    Jensen, J. R., von Wachter, Carl Victor & Ross, Omry, 2023, arXiv preprint, 9 p.

    Research output: Working paper › Preprint › Research

  24. Published

    Multi-head Self-attention with Role-Guided Masks

    Wang, D., Hansen, C., Lima, L. C., Hansen, C., Maistro, Maria, Simonsen, Jakob Grue & Lioma, Christina, 2021, Advances in Information Retrieval - 43rd European Conference on IR Research, ECIR 2021, Proceedings, Part II. Hiemstra, D., Moens, M-F., Mothe, J., Perego, R., Potthast, M. & Sebastiani, F. (eds.). Springer, p. 432-439 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12657 LNCS).

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

  25. 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 12 3 4 5 6 7 8 9 ...11 Next