- 2024
- Published
AI Implementation and Capability Development in Manufacturing: An Action Research Case
Eklöf, Jon, Snis, U. L., Hamelryck, Thomas Wim, Grima, A. & Rønning, Ola, 2024, Proceedings of the 57th Hawaii International Conference on System Sciences - HICSS 2024. Hawaii International Conference on System Sciences, 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
AI transformation in the manufacturing industry
Eklöf, Jon, 2024, Department of Computer Science, Faculty of Science, University of Copenhagen. 115 p.Research output: Book/Report › Ph.D. thesis › Research
- Accepted/In press
Abstraction, mimesis and the evolution of deep learning
Eklöf, Jon, Hamelryck, Thomas Wim, Last, C., Grima, A. & Snis, U. L., 2024, (Accepted/In press) In: AI and Society. 9 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Database Kernels: Seamless Integration of Database Systems and Fast Storage via CXL.
Lee, S., Lerner, A., Bonnet, Philippe & Cudré-Mauroux, P., 2024, CIDR.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Explicit Effects and Effect Constraints in ReML
Elsman, Martin, 2024, In: Proceedings of the ACM on Programming Languages. 8, POPL, p. 2370-2394 25 p., 79.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Foundations and practice of binary process discovery
Slaats, Tijs, Debois, S., Back, C.O. & Christfort, Axel Kjeld Fjelrad, 2024, In: Information Systems. 121, 20 p., 102339.Research output: Contribution to journal › Journal article › Research › peer-review
- 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
- 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
- Published
Partial Evaluation of Reversible Flowchart Programs
Normann, Louis Marott & Glück, Robert, 2024, PEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Keller, G. & Wang, M. (eds.). Association for Computing Machinery, p. 119-133 15 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2023
- Published
Read/write factorizable programs
Bhaskar, S. & Simonsen, Jakob Grue, 8 Jun 2023, In: Journal of Functional Programming. 33, 4, p. 1-50 e5.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Sentiment Classification of Historical Danish and Norwegian Literary Texts
Al-Laith, Ali Mohammed Ali, Nielsen Degn, K., Conroy, A., Pedersen, Bolette Sandford, Bjerring-Hansen, Jens & Hershcovich, Daniel, May 2023, Proceedings of the 24th Nordic Conference on Computational Linguistics (NoDaLiDa). Association for Computational Linguistics (ACL), p. 324–334Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A Probabilistic Approach to the Protein Folding Problem: Using Stein-based Variational Inference
Rønning, Ola, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 129 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
A complete characterization of infinitely repeated two-player games having computable strategies with no computable best response under limit-of-means payoff
Dargaj, J. & Simonsen, Jakob Grue, 2023, In: Journal of Economic Theory. 213, 24 p., 105713.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Accelerating vaccine development througha deep probabilistic programming approachto protein structure prediction
Thygesen, Christian Bahne, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 93 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Branching execution symmetry in Jeopardy by available implicit arguments analysis
Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, In: NIKT: Norsk IKT-konferanse for forskning og utdanning. 2022, 1, p. 1-14Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Can AI Moderate Online Communities?
Axelsen, Henrik Bjørn, Jensen, J. R., Axelsen, S., Licht, V. & Ross, Omry, 2023, arXiv preprint, 12 p.Research output: Working paper › Preprint › Research
- Published
Comparing Trace Similarity Metrics Across Logs and Evaluation Measures
Back, C.O. & Simonsen, Jakob Grue, 2023, Advanced Information Systems Engineering: 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12–16, 2023, Proceedings. Indulska, M., Reinhartz-Berger, I., Cetina, C. & Pastor, O. (eds.). Springer, p. 226-242 17 p. (Lecture Notes in Computer Science, Vol. 13901)).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
DLT Compliance Reporting
Jensen, J. R., Axelsen, Henrik Bjørn & Ross, Omry, 2023, In: Complex Systems Informatics and Modeling Quarterly. 2023, 35, p. 92-103 12 p., 195.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Decentralized Finance: Building and Analyzing Financial Infrastructure on Blockchain Technology
von Wachter, Carl Victor, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 223 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Delilah: eBPF-offload on Computational Storage
Hedam, N., Clausen, M. T., Bonnet, P., Lee, S. & Larsen, Ken Friis, 2023, Proceedings of the 19th International Workshop on Data Management on New Hardware, DaMoN 2023. Association for Computing Machinery, Inc., p. 70-76 7 p. (Proceedings of the 19th International Workshop on Data Management on New Hardware, DaMoN 2023).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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 › Research
- 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
- Published
Privacy Lost in Online Education: Analysis of Web Tracking Evolution
Su, Z., Helles, Rasmus, Al-Laith, Ali Mohammed Ali, Veilahti, A. V. P., Saxena, A. & Simonsen, Jakob Grue, 2023, Advanced Data Mining and Applications: 19th International Conference, ADMA 2023, Shenyang, China, August 21–23, 2023, Proceedings. Yang, X., Suhartanto, H., Wang, G., Wang, B., Jiang, J., Li, B., Zhu, H. & Cui, N. (eds.). Cham: Springer, Cham, Vol. 2. p. 440-455 15 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reversible computing from a programming language perspective
Glück, Robert & Yokoyama, T., 2023, In: Theoretical Computer Science. 953, 26 p., 113429.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Seasonal-Trend Time Series Decomposition on Graphics Processing Units
Serykh, Dmitry, Oehmcke, Stefan, Oancea, Cosmin Eugen, Masiliunas, D., Verbesselt, J., Cheng, Yan, Horion, Stéphanie, Gieseke, F. & Hinnerskov, Nikolaj Hey, 2023, Proceedings - 2023 IEEE International Conference on Big Data, BigData 2023. He, J., Palpanas, T., Hu, X., Cuzzocrea, A., Dou, D., Slezak, D., Wang, W., Gruca, A., Lin, J. C-W. & Agrawal, R. (eds.). IEEE, p. 5914-5923 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Shape-Constrained Array Programming with Size-Dependent Types
Bailly, L., Henriksen, Troels & Elsman, Martin, 2023, FHPNC 2023 - Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, Co-located with ICFP 2023. Keller, G. & Westrick, S. (eds.). Association for Computing Machinery, Inc., p. 29-41Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Spatial Mapping of Soil Salinity Using Machine Learning and Remote Sensing in Kot Addu, Pakistan
Haq, Y. U., Shahbaz, M., Asif, H. M. S., Al-Laith, Ali Mohammed Ali & Alsabban, W. H., 2023, In: Sustainability. 15, 17, 19 p., 12943.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Subclasses of Ptime Interpreted by Programming Languages
Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2023, In: Theory of Computing Systems. 3, p. 437-472Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Tail recursion transformation for invertible functions
Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings. Springer, p. 73–88 (Lecture Notes in Computer Science, Vol. 13960).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Programming of Algebra
Mathiesen, Mikkel Kragh, 2023, Department of Computer Science, Faculty of Science, University of Copenhagen. 119 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Tokens Matter: How to Win Votes and Influence DAOs
Jensen, J. R., Schirrmacher, N., Avital, M. & Ross, Omry, 2023, Proceedings of the 44th International Conference on Information Systems (ICIS 2023): Rising like a Phoenix: Emerging from the Pandemic and Reshaping Human Endeavors with Digital Technologies. Association for Information Systems, 9 p. 1794Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards a Dereversibilizer: Fewer Asserts, Statically
Reholt, Jonas Wolpers, Glück, Robert & Kruse, M., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer, p. 106-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13960 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards a Taxonomy for Reversible Computation Approaches
Glück, Robert, Lanese, I., Mezzina, C. A., Miszczak, J. A., Phillips, I., Ulidowski, I. & Vidal, G., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer, p. 24-39 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13960 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Type-directed Program Transformation for Constant-Time Enforcement
Raimondi, G., Jensen, Thomas Philip & Besson, F., 2023, PPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, p. 1-13 6Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2022
- Published
Building blocks of sharding blockchain systems: Concepts, approaches, and open problems
Liu, Y., Liu, J., Vaz Salles, M. A., Zhang, Z., Li, T., Hu, B., Henglein, Fritz & Lu, R., Nov 2022, In: Computer Science Review. 46, 44 p., 100513.Research output: Contribution to journal › Review › Research › peer-review
- Published
The Programming of Algebra
Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, Jun 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 360, p. 71-92 22 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Debat | Forskere: Derfor har Danmark forudsætningerne for at blive førende indenfor kryptoaktiver
Andhov, Alexandra, Blemus, S., Ross, Omry & Jensen, J. R., 5 Apr 2022, In: Børsen. 5. april 2022, 1 p.Research output: Contribution to journal › Contribution to newspaper - Comment/debate › Communication
- Published
A Generic Type System for Higher-Order Ψ-calculi
Bendixen, A. R., Bojesen, B. B., Hüttel, Hans & Lybech, S., 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 368, p. 43-59 17 p.Research output: Contribution to journal › Conference article › 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
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
Algeo: An Algebraic Approach to Reversibility
Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, 2022, Reversible Computation - 14th International Conference, RC 2022, Proceedings. Mezzina, C. A. & Podlaski, K. (eds.). Springer, p. 128-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13354 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Combinatory Adjoints and Differentiation
Elsman, Martin, Henglein, Fritz, Kaarsgaard, R., Mathiesen, Mikkel Kragh & Schenck, R., 2022, Proceedings Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022).. EPTCS, Vol. 360. p. 1-26 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 360).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Most downloads
-
4511
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4106
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2508
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