The following pages link to Michael Kirkedal Thomsen (Q1796397):
Displaying 10 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)
- Parallelization of reversible ripple-carry adders (Q6483530) (← links)
