

|
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]
|
|
 |
|
|