- 2022
- Published
Compiling a functional array language with non-semantic memory information
Munksgaard, P., Oancea, Cosmin Eugen & Henriksen, Troels, 2022.Research output: Contribution to conference › Paper › Research
- 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 31Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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-66Research output: Contribution to journal › Conference article › Research › peer-review
- 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/Report › Ph.D. thesis › Research
- Published
AD for an Array Language with Nested Parallelism
Schenck, R., Rønning, Ola, Henriksen, Troels & Oancea, Cosmin Eugen, 2022, Proceedings of SC 2022: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE Computer Society Press, 15 p. (International Conference for High Performance Computing, Networking, Storage and Analysis, SC, Vol. 2022-November).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
VLDB 2021: Designing a Hybrid Conference.
Tözün, P., Naumann, F., Bonnet, Philippe & Dong, X. L., 2022, In: SIGMOD Record. abs/2202.08069Research output: Contribution to journal › Journal article › Research › peer-review
- 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 journal › Journal article › Research › peer-review
- 2021
- Published
Verification of Program Transformations with Inductive Refinement Types
Al-Sibahi, A. S., Jensen, Thomas Philip, Dimovski, A. S. & Wasowski, A., 2021, In: ACM Transactions on Software Engineering and Methodology. 30, 1, 33 p., 5.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Graph Traversals as Universal Constructions
Bhaskar, S. & Kaarsgaard, R., 2021, 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021. Bonchi, F. & Puglisi, S. J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-20 17. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 202).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Tameness in least fixed-point logic and mccolm’s conjecture
Bhaskar, S. & Kruckman, A., 2021, In: Logical Methods in Computer Science. 17, 1, p. 2:1-2:16 2.Research output: Contribution to journal › Journal article › Research › peer-review
Most downloads
-
4503
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4103
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2506
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published
Latest publications
Explicit Effects and Effect Constraints in ReML
Research output: Contribution to journal › Journal article › Research › peer-review
Multi-Head Adapter Routing for Cross-Task Generalization
Research output: Contribution to conference › Paper › Research › peer-review
Partial Evaluation of Reversible Flowchart Programs
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review