Articles with public access mandates - Michael Kirkedal ThomsenLearn more
Not available anywhere: 9
Interpretation and programming of the reversible functional language RFUN
MK Thomsen, HB Axelsen
Proceedings of the 27th Symposium on the Implementation and Application of …, 2015
Mandates: Danish Council for Independent Research, European Commission
: a typed functional reversible core language
PAH Jacobsen, R Kaarsgaard, MK Thomsen
International Conference on Reversible Computation, 304-321, 2018
Mandates: European Commission
Upper bounds for reversible circuits based on Young subgroups
N Abdessaied, M Soeken, MK Thomsen, R Drechsler
Information Processing Letters 114 (6), 282-286, 2014
Mandates: Danish Council for Strategic Research
Encryption and Reversible Computations: Work-in-progress Paper
D Táborský, KF Larsen, MK Thomsen
Reversible Computation: 10th International Conference, RC 2018, Leicester …, 2018
Mandates: European Commission
Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier
E Rotenberg, J Cranch, MK Thomsen, HB Axelsen
Reversible Computation: 5th International Conference, RC 2013, Victoria, BC …, 2013
Mandates: Danish Council for Strategic Research
Designing garbage-free reversible implementations of the integer cosine transform
A De Vos, S Burignat, R Glück, TÆ Mogensen, HB Axelsen, MK Thomsen, ...
ACM Journal on Emerging Technologies in Computing Systems (JETC) 11 (2), 1-15, 2014
Mandates: Research Foundation (Flanders), Danish Council for Strategic Research
Cleaning up: Garbage-free reversible circuits by design languages
MK Thomsen, HB Axelsen, R Glück
2012 International Symposium on Electronic System Design (ISED), 6-10, 2012
Mandates: Danish Council for Strategic Research
An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
R Wille, O Keszocze, L Othmer, MK Thomsen, R Drechsler
Journal of Low Power Electronics 13 (4), 633-641, 2017
Mandates: European Commission
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs: Work in Progress Report
R Wille, O Keszocze, L Othmer, MK Thomsen, R Drechsler
Reversible Computation: 8th International Conference, RC 2016, Bologna …, 2016
Mandates: European Commission
Available somewhere: 5
White Dots do Matter: Rewriting Reversible Logic Circuits
M Soeken, MK Thomsen
Reversible Computation: 5th International Conference, RC 2013, Victoria, BC …, 2013
Mandates: Danish Council for Strategic Research
A functional language for describing reversible logic
MK Thomsen
Proceeding of the 2012 Forum on Specification and Design Languages, 135-142, 2012
Mandates: Danish Council for Strategic Research
Garbageless reversible implementation of integer linear transformations
S Burignat, K Vermeirsch, A De Vos, MK Thomsen
Reversible Computation: 4th International Workshop, RC 2012, Copenhagen …, 2013
Mandates: Danish Council for Strategic Research
Hardness of deriving invertible sequences from finite state machines
RM Hierons, MR Mousavi, MK Thomsen, UC Türker
International Conference on Current Trends in Theory and Practice of …, 2017
Mandates: European Commission
Generating and checking control logic in the hdl-based design of reversible circuits
R Wille, O Keszocze, L Othmer, MK Thomsen, R Drechsler
2016 Sixth International Symposium on Embedded Computing and System Design …, 2016
Mandates: European Commission
Publication and funding information is determined automatically by a computer program