Concepedia

Holger Bock Axelsen

HB

8

Publications

359

Citations

8

H-Index

2008

Active since

Affiliations

University of Copenhagen(Current)

Nanzan University

Holger Bock Axelsen is an author at University of Copenhagen specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsComputer EngineeringProgram AnalysisComputer ArchitectureCompilersSimulationVlsi DesignInverse Problems

Publications per year

2008–2016

8

Publications

8

Principles of a reversible programming language

Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück · 2008 · 122 citations

Engineering, Computer Architecture, Software Analysis +17

Reversible arithmetic logic unit for quantum arithmetic

Michael Kirkedal Thomsen, Robert Glück, Holger Bock Axelsen · Journal of Physics A Mathematical and Theoretical · 2010 · 95 citations

Fundamentals of reversible flowchart languages

Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück · Theoretical Computer Science · 2015 · 45 citations

Data Flow, Engineering, Visual Programming Language +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

Interpretation and programming of the reversible functional language RFUN

Michael Kirkedal Thomsen, Holger Bock Axelsen · 2015 · 21 citations

Rows per page

1–5 of 8