Publikationer pr. år
Publikationer pr. år
Personlig profil
Primære forskningsområder
- Det teoretiske grundlag for reversibel beregning
- Kategoriteori og dennes anvendelser i formel semantik af reversible programmeringssprog, samt i grundlaget for kvantemekanik, især kvanteberegning
- Formel logik og dennes anvendelser i syntese og omskrivning af reversible logiske kredsløb.
Aktuel forskning
Anvendelsen af inverskategorier som modeller for reversibel programmering med et særligt fokus på modelleringen af reversible løkkestrukturer og rekursion.
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Robin Kaarsgaard er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 2 Lignende profiler
Publikation
-
Inversion, Iteration, and the Art of Dual Wielding
Kaarsgaard, R., 2019, Reversible Computation - 11th International Conference, RC 2019, Proceedings. Soeken, M. & Thomsen, M. K. (red.). Springer, s. 34-50 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11497 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
Glück, R. & Kaarsgaard, R., 5 sep. 2018, I: Logical Methods in Computer Science. 14, 3, 38 s., 16.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
A categorical foundation for structured reversible flowchart languages
Glück, R. & Kaarsgaard, R., 16 apr. 2018, I: Electronic Notes in Theoretical Computer Science. 336, s. 155-171Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
CoreFun: A typed functional reversible core language
Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, M. K., 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, s. 304-321 (Lecture notes in computer science, Bind 11106).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
-
Reversible Effects as Inverse Arrows
Heunen, C., Kaarsgaard, R. & Karvonen, M., 1 dec. 2018, I: Electronic Notes in Theoretical Computer Science. 341, s. 179-199Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review
-
Join inverse categories and reversible recursion
Kaarsgaard, R., Axelsen, H. B. & Glück, R., 1 feb. 2017, I: Journal of Logical and Algebraic Methods in Programming. 87, s. 33-50 18 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
The Logic of Reversible Computing: Theory and Practice
Kaarsgaard, R., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling
-
A classical propositional logic for reasoning about reversible logic circuits
Axelsen, H. B., Glück, R. & Kaarsgaard, R., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (red.). Springer, s. 52-67 16 s. (Lecture notes in computer science, Bind 9803).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review