Research output per year
Research output per year
Fingerprint
Fingerprints are formed from scientific publications and create an index of weighted keyword concepts for each individual researcher.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Tail Recursion Transformation for Invertible Functions
Kristensen, J. T., Kaarsgaard, R. & Thomsen, M. K., 2023, Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). 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
-
The Quantum Effect: A Recipe for QuantumPi
Carette, J., Heunen, C., Kaarsgaard, R. & Sabry, A., 3. Feb 2023, 37 p. arXiv.org.Research output: Other contribution › Research
-
Algeo: An Algebraic Approach to Reversibility
Henglein, F., Kaarsgaard, R. & Mathiesen, M. K., 28. Jun 2022, Reversible Computation. Mezzina, C. A. & Podlaski, K. (eds.). Springer, p. 128-145 (Lecture Notes in Computer Science, Vol. 13354).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Combinatory Adjoints and Differentiation
Elsman, M., Henglein, F., Kaarsgaard, R., Mathiesen, M. K. & Schenck, R., 30. Jun 2022, Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming (MSFP). p. 1-26 (Electronic Proceedings in Theoretical Computer Science, Vol. 360).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile4 Downloads (Pure) -
From reversible programming languages to reversible metalanguages
Glück, R., Kaarsgaard, R. & Yokoyama, T., 12. Jun 2022, In: Theoretical Computer Science. 920, p. 46-63Research output: Contribution to journal › Journal article › Research › peer-review
Projects
- 1 Finished
-
Landauer Meets von Neumann: Reversibility in Categorical Quantum Semantics
01/10/2020 → 31/12/2022
Project: Research Councils
Press/Media
-
Børnefamilier som Sophie og Robins strømmer til Svendborg, der er blandt landets mest populære kommuner: - Vi elsker vores nye gamle hood
16/07/2023
1 Media contribution
Press/Media: Press / Media
-
Børnefamilier som Sophie og Robins strømmer til Svendborg, der er blandt landets mest populære kommuner: - Vi elsker vores nye gamle hood
16/07/2023
1 Media contribution
Press/Media: Press / Media