- 2023
- Published
Delivering Rules-Based Workflows for Science
Marchant, David Gray, Blomqvist, M., Jensen, Thomas Philip, Lilholm, Iben & Nørgaard, Martin, 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, Inc., p. 2000-2008 (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Designing with Awareness: Building an Agenda for Worker and Patient Well-being
Milbak, Tina Westergaard, Simonsen, Jakob Grue, Hansen, M. B. & Møller, Naja Holten, 2023, Proceedings of 21st European Conference on Computer-Supported Cooperative Work. European Society for Socially Embedded TechnologiesResearch output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Faithfulness Tests for Natural Language Explanations
Atanasova, Pepa Kostadinova, Camburu, O. M., Lioma, Christina, Lukasiewicz, T., Simonsen, Jakob Grue & Augenstein, Isabelle, 2023, Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers). Association for Computational Linguistics (ACL), p. 283-294 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems
Madsen, M., van de Pol, J. & Henriksen, Troels, 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 29 p., 240.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
Elsman, Martin, 2023, In: Proceedings of the ACM on Programming Languages. 7, PLDI, 115.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Implicit Representation of Relations
Glončák, V., Munkstrup, J. E. E. & Simonsen, Jakob Grue, 2023, In: Theory of Computing Systems. 67, 6, p. 1156-1196Research output: Contribution to journal › Journal article › Research › peer-review
- 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
- 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
- Published
Multi-block MEV
Jensen, J. R., von Wachter, Carl Victor & Ross, Omry, 2023, arXiv preprint, 9 p.Research output: Working paper › Preprint
- Published
Parallelism in a Region Inference Context
Elsman, Martin & Henriksen, Troels, 2023, In: Proceedings of the ACM on Programming Languages. 7, PLDI, p. 884-906 142.Research output: Contribution to journal › Journal article › Research › peer-review
Most downloads
-
4558
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4111
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2510
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published
Latest publications
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
Explicit Effects and Effect Constraints in ReML
Research output: Contribution to journal › Journal article › Research › peer-review