Publikationer pr. år
Publikationer pr. år
Fingeraftryk
Fingeraftryk dannes ud fra videnskabelige udgivelser og skaber et indeks med vægtede emneord for hver enkelt forsker.
- 1 Lignende profiler
Netværk
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
-
The Quantum Effect: A Recipe for QuantumPi
Carette, J., Heunen, C., Kaarsgaard, R. & Sabry, A., 3. feb. 2023, 37 s. arXiv.org.Publikation: Andet › Andet bidrag › Forskning
Åben adgang -
Algeo: An Algebraic Approach to Reversibility
Henglein, F., Kaarsgaard, R. & Mathiesen, M. K., 28. jun. 2022, Reversible Computation. Mezzina, C. A. & Podlaski, K. (red.). Springer, s. 128-145 (Lecture Notes in Computer Science, Bind 13354).Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › 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). s. 1-26 (Electronic Proceedings in Theoretical Computer Science, Bind 360).Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
From reversible programming languages to reversible metalanguages
Glück, R., Kaarsgaard, R. & Yokoyama, T., 12. jun. 2022, I: Theoretical Computer Science. 920, s. 46-63Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Quantum information effects
Heunen, C. & Kaarsgaard, R., 12. jan. 2022, I: Proceedings of the ACM on Programming Languages. 6, POPL, s. 1-27 2.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil
Projekter
- 1 Afsluttet
-
Landauer Meets von Neumann: Reversibility in Categorical Quantum Semantics
01/10/2020 → 31/12/2022
Projekter: Projekt › Danske forskningsråd