- Published
Foundations of reversible computation
Aman, B., Ciobanu, G., Glück, Robert, Kaarsgaard, R., Kari, J., Kutrib, M., Lanese, I., Mezzina, C. A., Mikulski, Ł., Nagarajan, R., Phillips, I., Pinna, G. M., Prigioniero, L., Ulidowski, I. & Vidal, G., 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (eds.). Springer VS, p. 1-40 40 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
From reversible programming languages to reversible metalanguages
Glück, Robert, Kaarsgaard, R. & Yokoyama, T., 2022, In: Theoretical Computer Science. 920, p. 46-63 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
FunSETL–Functional Reporting for ERP Systems
Nissen, M. N. & Larsen, Ken Friis, 2008, Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP): Technical Report ICIS-R08007, Radboud University Nijmegen. Achten, P., Koopman, P. & Morazán, M. T. (eds.). p. 1-16 16 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Galois Connections for Recursive Types
Al-Sibahi, A. S., Jensen, Thomas Philip, Møgelberg, R. E. & Wąsowski, A., 2020, sFrom Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement. Springer VS, p. 105-131 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12065 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › 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
Garbage-Free Reversible Multiplication and Division
Mogensen, Torben Ægidius, 22 Aug 2018, Reversible Computetion: 10th International Conference, RC 2018 Leicester, UK, September 12–14, 2018 Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 253-268 (Lecture Notes in Computer Science, Vol. 11106).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Generating Fact Checking Explanations
Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2020, : Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics, p. 7352-7364Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time
Henglein, Fritz, 2008, ICFP 08: Proceedings of the 2008 SIGPLAN International Conference on Functional Programming, Victoria, British Columbia, Canada, September 22-24, 2008. Association for Computing Machinery, p. 91-102Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Generic Discrimination: Partitioning and Sorting of Complex Data in Linear Time
Henglein, Fritz, 2006, Datalogisk Institut, Københavns Universitet. 1 p.Research output: Book/Report › Report › Research
- Published
Generic multiset programming for language-integrated querying
Henglein, Fritz & Larsen, Ken Friis, 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery, p. 49-59 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Generic multiset programming with discrimination-based joins and symbolic Cartesian products
Henglein, Fritz & Larsen, Ken Friis, 2010, In: Higher-Order and Symbolic Computation. 23, 3, p. 337-370 34 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Glossary for Partial Evaluation and Related Topics
Mogensen, Torben Ægidius, 2000, In: Higher-Order and Symbolic Computation. Vol.13 (4), p. 355-368Research output: Contribution to journal › Journal article › Research › peer-review
- 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
- 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
Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1
Mogensen, Torben Ægidius, 1999, publisher. p. 19-24Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)
Mogensen, Torben Ægidius, Jan 2019, Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer VS, p. 243-251 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11964 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Hermes: A reversible language for lightweight encryption
Mogensen, Torben Ægidius, 2022, In: Science of Computer Programming. 215, 26 p., 102746.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Hermes: A Language for Light-Weight Encryption
Mogensen, Torben Ægidius, 2020, Reversible Computation - 12th International Conference, RC 2020, Proceedings. Lanese, I. & Rawski, M. (eds.). Springer, p. 93-110 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12227 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
- Published
Identification of soil type in Pakistan using remote sensing and machine learning
Haq, Y. U., Shahbaz, M., Asif, H. M. S., Al-Laith, Ali Mohammed Ali, Alsabban, W. & Aziz, M. H., 2022, In: PeerJ Computer Science. 8, 19 p., e1109.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
Incremental flattening for nested data parallelism
Henriksen, Troels, Thorøe, F., Elsman, Martin & Oancea, Cosmin Eugen, 16 Feb 2019, PPoPP 2019 - Proceedings of the 24th Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 53-67Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Inherited Limits
Mogensen, Torben Ægidius, 1998, Lecture notes for the 1998 DIKU International Summer School on Practical Evaluation: Practice and Theory, vol.2: Theory, systems and applications. Datalogisk Institut, Københavns Universitet, p. 1-12Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Integrating region memory management and tag-free generational garbage collection
Elsman, Martin & Hallenberg, N., 2021, In: Journal of Functional Programming. 31, 31 p., e4.Research output: Contribution to journal › Review › Research › peer-review
- Published
International Workshop on Program Understanding. Proceedings
Bulyonkov, M. A. (ed.) & Glück, Robert (ed.), 2011, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 48 p.Research output: Book/Report › Anthology › Research
- Published
- 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
- 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
- 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
Kunsten at vejlede et konstruktionsprojekt
Larsen, Ken Friis, 2007, In: Dansk Universitetspædagogisk Tidsskrift .Research output: Contribution to journal › Journal article › Research › peer-review
- 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-237Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Linear Types for Cashflow Reengineering
Mogensen, Torben Ægidius, 2003, PSI\ ' 03. Lecture Notes. 2890 ed. Berlin: Springer, p. 13-21Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 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-142Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
- 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
Making programs reversible with minimal extra data
Glück, Robert & Yokoyama, T., 2022, In: New Generation Computing. 40, 2, p. 467-480Research output: Contribution to journal › Journal article › Research › peer-review
- 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
- 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 9101616Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
- 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
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
- 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
- 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
- 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
- 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
- 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
Multi-block MEV
Jensen, J. R., von Wachter, Carl Victor & Ross, Omry, 2023, arXiv preprint, 9 p.Research output: Working paper › Preprint
- 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
- 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-4697Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Most downloads
-
4550
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4109
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