Holger Bock Axelsen

	2012
14		Holger Bock Axelsen: Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space. LATA 2012: 95-105
13		Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück: Optimizing Reversible Simulation of Injective Functions. Multiple-Valued Logic and Soft Computing 18(1): 5-24 (2012)
	2011
12		Holger Bock Axelsen: Clean Translation of an Imperative Reversible Programming Language. CC 2011: 144-163
11		Holger Bock Axelsen, Robert Glück: What Do Reversible Programs Compute? FOSSACS 2011: 42-56
10		Holger Bock Axelsen, Robert Glück: A Simple and Efficient Universal Reversible Turing Machine. LATA 2011: 117-128
9		Holger Bock Axelsen: Time Complexity of Tape Reduction for Reversible Turing Machines. RC 2011: 1-13
8		Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück: Towards a Reversible Functional Language. RC 2011: 14-29
7		Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück: A Reversible Processor Architecture and Its Reversible Logic Design. RC 2011: 30-42
	2009
6		Holger Bock Axelsen, Robert Glück, Alexis De Vos, Michael Kirkedal Thomsen: MicroPower: Towards Low-Power Microprocessors with Reversible Computing. ERCIM News 2009(79): (2009)
5		Michael Kirkedal Thomsen, Holger Bock Axelsen: Parallelization of Reversible Ripple-Carry Adders. Parallel Processing Letters 19(2): 205-222 (2009)
	2008
4		Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück: Principles of a reversible programming language. Conf. Computing Frontiers 2008: 43-54
3		Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück: Reversible Flowchart Languages and the Structured Reversible Program Theorem. ICALP (2) 2008: 258-270
2		Michael Kirkedal Thomsen, Holger Bock Axelsen: Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder. UC 2008: 228-241
	2007
1		Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama: Reversible Machine Code and Its Abstract Processor Architecture. CSR 2007: 56-69

Coauthor Index

1	Robert Glück	[1] [3] [4] [6] [7] [8] [10] [11] [13]
2	Michael Kirkedal Thomsen	[2] [5] [6] [7]
3	Alexis De Vos	[6]
4	Tetsuo Yokoyama	[1] [3] [4] [8] [13]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page