Concepedia

Robin Kaarsgaard

RK

4

Publications

71

Citations

4

H-Index

2016

Active since

Affiliations

University of Copenhagen(Current)

Robin Kaarsgaard is an author at University of Copenhagen specializing in formal methods, program analysis, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationLanguageLinguisticsInverse ProblemsHardware SecurityQuantum Computing

Publications per year

2016–2018

4

Publications

4

Join inverse categories and reversible recursion

Robin Kaarsgaard, Holger Bock Axelsen, Robert Glück · Journal of Logical and Algebraic Methods in Programming · 2016 · 28 citations

Higher Category Theory, Join Inverse Categories, Recursive Function +1

A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

Robert Glück, Robin Kaarsgaard · SHILAP Revista de lepidopterología · 2018 · 16 citations · Full text

Engineering, Visual Programming Language, Reversible Flowchart Languages +20

A Categorical Foundation for Structured Reversible Flowchart Languages

Robert Glück, Robin Kaarsgaard · Electronic Notes in Theoretical Computer Science · 2018 · 15 citations · Full text

Reversible Effects as Inverse Arrows

Chris Heunen, Robin Kaarsgaard, Martti Karvonen · Electronic Notes in Theoretical Computer Science · 2018 · 12 citations · Full text

Hardware Security, Programming Language Theory, Engineering +15

Rows per page

1–4 of 4