Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Michael Kirkedal Thomsen


BÜCHER


BUCHBEITRÄGE


ZEITSCHRIFTEN

» Upper bounds for reversible circuits based on Young subgroups
[Link zur Zeitschriften-Homepage]




Autor:

Nabila Abdessaied, Mathias Soeken, Michael Kirkedal Thomsen, Rolf Drechsler
Zeitschrift:
Information Processing Letters
Details:
Volume 114, Number 06 (June 2014), pp. 282-286. DOI: 10.1016/j.ipl.2014.01.003
Jahr:


2014





KONFERENZEN


» Generating and Checking Control Logic in the HDL-based Design of Reversible Circuits




Autor:

Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
Konferenz:
International Symposium on Electronic System Design (ISED)
Referenz:

Patna, Indien, 2016
Hyperlink:

[Link zur Konferenz]


» Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs




Autor:

Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
Konferenz:
Reversible Computation
Referenz:

Bologna, Italy, 2016
Hyperlink:

[Link zur Konferenz]


» Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics




Autor:

Michael Kirkedal Thomsen, Mathias Soeken, Robin Kaarsgaard
Konferenz:
Reversible Computation
Referenz:

Grenoble, France, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» White Dots do Matter: Rewriting Reversible Logic Circuits




Autor:

Mathias Soeken, Michael Kirkedal Thomsen
Konferenz:
Reversible Computation
Referenz:

pp. 196-208, Victoria, Canada, 2013
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS


» Self-Inverse Functions and Palindromic Circuits




Autor:

Mathias Soeken, Michael Kirkedal Thomsen, Gerhard W. Dueck, D. Michael Miller
Workshop:
Reed-Muller Workshop
Referenz:

Waterloo, Canada, 2015, pre-print available at arXiv:1502.05825
Hyperlink:

[Link zum Workshop]


» Execution Tracing of C Code for Formal Analysis




Autor:

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)
Referenz:

Chemnitz, Germany, 2015
Hyperlink:

[Link zum Workshop]

















Die englische Version ist  
von hier aus nicht erreichbar -  
bitte eine Seite zurück gehen.









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt