Michael Kirkedal Thomsen
Associate Professor
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
- 2012
- Published
Design of reversible logic circuits using standard cells: standard cells and functional programming
Thomsen, Michael Kirkedal, 2012, Department of Computer Science, University of Copenhagen. 28 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport; No. 2012-03).Research output: Book/Report › Report › Research
- Published
Interfacing reversible pass-transistor CMOS chips with conventional restoring CMOS circuits
Burignat, S., Thomsen, Michael Kirkedal, Klimczak, M., Olczak, M. & De Vos, A., 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (eds.). Springer, p. 112-122 11 p. (Lecture notes in computer science, Vol. 7165).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Reversible implementation of a discrete integer linear transformation
De Vos, A., Burignat, S. & Thomsen, Michael Kirkedal, 2012, In: Journal of Multiple-Valued Logic and Soft Computing. 18, 1, p. 25-35 11 p.Research output: Contribution to journal › Conference article › Research › peer-review
- 2013
- Published
Cleaning up: garbage-free reversible circuits by design languages
Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2013, 2012 International Symposium on Electronic System Design (ISED). IEEE, p. 6-10 5 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Garbage-free reversible integer multiplication with constants of the form 2k±2l±1
Axelsen, H. B. & Thomsen, Michael Kirkedal, 2013, Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Glück, R. & Yokoyama, T. (eds.). Springer, p. 171-182 12 p. (Lecture notes in computer science, Vol. 7581).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Garbageless reversible implementation of integer linear transformations
Burignat, S., Vermeirsch, K., De Vos, A. & Thomsen, Michael Kirkedal, 2013, Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Glück, R. & Yokoyama, T. (eds.). Springer, p. 160-170 11 p. (Lecture notes in computer science, Vol. 7581).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Strength of the reversible, garbage-free 2k ± 1 multiplier
Rotenberg, E., Cranch, J., Thomsen, Michael Kirkedal & Axelsen, H. B., 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 46-57 12 p. (Lecture notes in computer science, Vol. 7948).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
White dots do matter: rewriting reversible logic circuits
Soeken, M. & Thomsen, Michael Kirkedal, 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 196-208 13 p. (Lecture notes in computer science, Vol. 7948).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2014
- Published
Designing garbage-free reversible implementations of the integer cosine transform
De Vos, A., Burignat, S., Glück, Robert, Mogensen, Torben Ægidius, Axelsen, H. B., Thomsen, Michael Kirkedal, Rotenberg, E. & Yokoyama, T., 2014, In: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 p., 11.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Upper bounds for reversible circuits based on Young subgroups
Abdessaied, N., Soeken, M., Thomsen, Michael Kirkedal & Drechsler, R., 2014, In: Information Processing Letters. 114, 6, p. 282-286 5 p.Research output: Contribution to journal › Journal article › Research › peer-review
ID: 12085624
Most downloads
-
1153
downloads
Design of reversible logic circuits using standard cells: standard cells and functional programming
Research output: Book/Report › Report › Research
Published