HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Dr. Michael Kirkedal Thomsen


Ich habe mein Master-und PhD-Grad von DIKU, Department of Computer Science der Universität Kopenhagen mit einem Hintergrund in Programmiersprachen, Programmtransformation, Computer-Architekturen und theoretischen Aspekt wie Logik und Komplexität.
In letzter Zeit habe ich diese auf den Bereich der reversiblen Berechnung angewendet, vor allem die Gestaltung Sprachen reversible Logik und reversible Logikschaltungen zu beschreiben, und die Formalisierung des reversiblen Logik-Modell.
Ein Hobby von mir ist Feld verteilten Systemen, in denen ein besonderes Interesse ist Implementierungen in Erlang (oder andere Akteur Modell Sprachen).

WiMi

An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs
Autor: Robert Wille, Oliver Keszöcze, Larts Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
Zeitschrift: Journal of Low Power Electronics
Details: DOI: 10.1166/jolpe.2017.1515, Volume 13, Number 4, Pages 633-641 (2017)

Upper bounds for reversible circuits based on Young subgroups
Autor: Nabila Abdessaied, Mathias Soeken, Michael Kirkedal Thomsen, Rolf Drechsler
Zeitschrift: Information Processing Letters
Details: DOI: 10.1016/j.ipl.2014.01.003, Volume 114, Number 06, pp. 282-286 (2014)

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

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

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
Pdf | Referenz: Grenoble, France, 2015

White Dots do Matter: Rewriting Reversible Logic Circuits
Autor: Mathias Soeken, Michael Kirkedal Thomsen
Konferenz: Reversible Computation
Pdf | Referenz: pp. 196-208, Victoria, Canada, 2013

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, pre-print available at arXiv:1502.05825, 2015

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

« zurück


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz