Ansatte – Københavns Universitet

Robin Kaarsgaard

Robin Kaarsgaard

Postdoc


Udgivelsesår:
  1. 2018
  2. Udgivet

    Reversible Effects as Inverse Arrows. / Heunen, Chris; Kaarsgaard, Robin; Karvonen, Martti.

    I: Electronic Notes in Theoretical Computer Science, Bind 341, 01.12.2018, s. 179-199.

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

  3. Udgivet

    A categorical foundation for structured reversible flowchart languages. / Glück, Robert; Kaarsgaard, Robin.

    I: Electronic Notes in Theoretical Computer Science, Bind 336, 2018, s. 155-171.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  4. Udgivet

    A categorical foundation for structured reversible flowchart languages : Soundness and adequacy. / Glück, Robert; Kaarsgaard, Robin.

    I: Logical Methods in Computer Science, Bind 14, Nr. 3, 16, 2018.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  5. Udgivet

    CoreFun : A typed functional reversible core language. / Jacobsen, Petur Andrias Højgaard; Kaarsgaard, Robin; Thomsen, Michael Kirkedal.

    Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, 2018. s. 304-321.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  6. 2017
  7. Udgivet

    Join inverse categories and reversible recursion. / Kaarsgaard, Robin; Axelsen, Holger Bock; Glück, Robert.

    I: Journal of Logical and Algebraic Methods in Programming, Bind 87, 2017, s. 33-50.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  8. Udgivet

    The Logic of Reversible Computing : Theory and Practice. / Kaarsgaard, Robin.

    Department of Computer Science, Faculty of Science, University of Copenhagen, 2017.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  9. 2016
  10. Udgivet

    A classical propositional logic for reasoning about reversible logic circuits. / Axelsen, Holger Bock; Glück, Robert; Kaarsgaard, Robin.

    Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. red. / Jouko Väänänen; Åsa Hirvonen; Ruy de Queiroz. Springer, 2016. s. 52-67.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  11. Udgivet

    Join inverse categories as models of reversible recursion. / Axelsen, Holger Bock; Kaarsgaard, Robin.

    Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. red. / Bart Jacobs; Christof Löding. Springer, 2016. s. 73-90.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  12. 2015
  13. Udgivet

    Ricercar : a language for describing and rewriting reversible circuits with ancillae and its permutation semantics. / Thomsen, Michael Kirkedal; Kaarsgaard, Robin; Soeken, Mathias.

    Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. red. / Jean Krivine; Jean-Bernard Stefani. Springer, 2015. s. 200-215.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

ID: 129477212