The following pages link to Michael Kirkedal Thomsen (Q1796397):
Displaying 16 items.
- \(\mathsf{CoreFun}\): a typed functional reversible core language (Q1796398) (← links)
- Encryption and reversible computations. Work-in-progress paper (Q1796402) (← links)
- Upper bounds for reversible circuits based on Young subgroups (Q2446569) (← links)
- Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics (Q2822512) (← links)
- Describing and Optimising Reversible Logic Using a Functional Language (Q2830051) (← links)
- Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier (Q2868436) (← links)
- White Dots do Matter: Rewriting Reversible Logic Circuits (Q2868449) (← links)
- Reversible arithmetic logic unit for quantum arithmetic (Q3161083) (← links)
- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs (Q3186590) (← links)
- Garbageless Reversible Implementation of Integer Linear Transformations (Q3453748) (← links)
- Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1 (Q3453749) (← links)
- Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder (Q3543346) (← links)
- (Q5389330) (← links)
- Parallelization of reversible ripple-carry adders (Q6483530) (← links)
- Exploring the energy overhead of reversible programs executed on irreversible hardware (Q6637588) (← links)
- Jeopardy: an invertible functional programming language (Q6637593) (← links)
