|
Home « Team « Publications
» Publications of
Michael Kirkedal Thomsen
|
|
 |
BOOKS |
 |
|
BOOK CONTRIBUTIONS |
|
|
JOURNALS |
|
» An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
[Link to the Homepage of this journal]
|
 |
|
|
|
|
Author:
|
|
Robert Wille, Oliver Keszöcze, Larts Othmer, Michael Kirkedal Thomsen, Rolf Drechsler |
| Journal: |
|
Journal of Low Power Electronics |
| Details: |
|
Volume 13, Number 4, Pages 633-641 |
Year:
|
|
2017
|
|
» Upper bounds for reversible circuits based on Young subgroups
[Link to the Homepage of this journal]
|
 |
|
|
|
|
Author:
|
|
Nabila Abdessaied, Mathias Soeken, Michael Kirkedal Thomsen, Rolf Drechsler |
| Journal: |
|
Information Processing Letters |
| Details: |
|
Volume 114, Number 06 (June 2014), pp. 282-286.
DOI: 10.1016/j.ipl.2014.01.003 |
Year:
|
|
2014
|
|
|
CONFERENCES |
|
» Generating and Checking Control Logic in the HDL-based Design of Reversible Circuits
|
|
|
|
Author:
|
|
Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler |
| Conference: |
|
International Symposium on Electronic System Design (ISED) |
Reference:
|
| Patna, Indien, 2016
| Hyperlink:
|
| [To the Site of this Conference]
|
» Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs
|
|
|
|
Author:
|
|
Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler |
| Conference: |
|
Reversible Computation |
Reference:
|
| Bologna, Italy, 2016
| Hyperlink:
|
| [To the Site of this Conference]
|
» Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics
|
|
|
|
Author:
|
|
Michael Kirkedal Thomsen, Mathias Soeken, Robin Kaarsgaard |
| Conference: |
|
Reversible Computation |
Reference:
|
| Grenoble, France, 2015
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» White Dots do Matter: Rewriting Reversible Logic Circuits
|
|
|
|
Author:
|
|
Mathias Soeken, Michael Kirkedal Thomsen |
| Conference: |
|
Reversible Computation |
Reference:
|
| pp. 196-208, Victoria, Canada, 2013
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
|
WORKSHOPS |
|
» Self-Inverse Functions and Palindromic Circuits
|
|
|
|
Author:
|
|
Mathias Soeken, Michael Kirkedal Thomsen, Gerhard W. Dueck, D. Michael Miller |
| Workshop: |
|
Reed-Muller Workshop |
Reference:
|
| Waterloo, Canada, 2015, pre-print available at arXiv:1502.05825
| Hyperlink:
|
| [Link to the Workshop]
|
» Execution Tracing of C Code for Formal Analysis
|
|
|
|
Author:
|
|
Heinz Riener, Michael Kirkedal Thomsen, Görschwin Fey |
| Workshop: |
|
18. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'15) |
Reference:
|
| Chemnitz, Germany, 2015
| Hyperlink:
|
| [Link to the Workshop]
|
|
|
|
|
