Michael Kirkedal Thomsen

Førsteamanuensis - PROG Programmering

English version of this page

E-post michakt@ifi.uio.no

Brukernavn

Besøksadresse Gaustadalléen 23B 0373 Oslo

Postadresse Postboks 1080 0316 Oslo

Last ned visittkort

Research topics: Programming languages and security.

Se engelsk version for detaljer

Emneord: distributed systems, programming languages, programming language theory, de-central systems, marine, information security, security and privacy, semantics, program transformation, compiler construction

Abdessaied, Nabila; Soeken, Mathias; Kirkedal Thomsen, Michael & Drechsler, Rolf (2014). Upper bounds for reversible circuits based on Young subgroups. Information Processing Letters. ISSN 0020-0190. s. 282–286. doi: 10.1016/j.ipl.2014.01.003.
Rotenberg, Eva; Cranch, James; Kirkedal Thomsen, Michael & Axelsen, Holger Bock (2013). Strength of the Reversible, Garbage-Free 2k +- 1 Multiplier. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7948, s. 46–57. doi: 10.1007/978-3-642-38986-3_5.
Axelsen, Holger Bock & Kirkedal Thomsen, Michael (2013). Garbage-Free Integer Multiplication with Constants. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7581, s. 171–182. doi: 10.1007/978-3-642-36315-3_14.
Soeken, Mathias & Kirkedal Thomsen, Michael (2013). White Dots do Matter: Rewriting Reversible Logic Circuits. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7948, s. 196–208. doi: 10.1007/978-3-642-38986-3_16.
Kirkedal Thomsen, Michael; Axelsen, Holger Bock & Glück, Robert (2012). A Reversible Processor Architecture and its Reversible Logic Design. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7165, s. 30–42. doi: 10.1007/978-3-642-29517-1_3.
Kirkedal Thomsen, Michael (2012). A Functional Language for Describing Reversible Logic. Forum on Specification and Design Languages. ISSN 1636-9874. s. 135–142.
Burignat, Stéphane; Kirkedal Thomsen, Michael; Klimczak, Michal; Olczak, Mariusz & De Vos, Alexis (2012). Interfacing Reversible Pass-Transistor CMOS Chips with Conventional Restoring CMOS Circuits. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7165, s. 112–122. doi: 10.1007/978-3-642-29517-1.
De Vos, Alexis; Burignat, Stéphane & Kirkedal Thomsen, Michael (2012). Reversible Implementation of a Discrete Integer Linear Transform. Journal of Multiple-Valued Logic and Soft Computing. ISSN 1542-3980. 18(1), s. 25–35.
Thomsen, Michael Kirkedal (2012). Describing and Optimizing Reversible Logic using a Functional Language. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7257, s. 148–163. doi: 10.1007/978-3-642-34407-7_10.
Kirkedal Thomsen, Michael; Glück, Robert & Axelsen, Holger Bock (2010). Reversible arithmetic logic unit for quantum arithmetic. Journal of Physics A: Mathematical and Theoretical. ISSN 1751-8113. doi: 10.1088/1751-8113/43/38/382002.
Kirkedal Thomsen, Michael & Axelsen, Holger Bock (2009). Parallelization of Reversible Ripple-carry Adders. Parallel Processing Letters. ISSN 0129-6264. 19(1), s. 205–222. doi: 10.1142/S0129626409000171.
Kirkedal Thomsen, Michael & Axelsen, Holger Bock (2008). Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 5204, s. 229–242. doi: 10.1007/978-3-540-85194-3_19.
Kirkedal Thomsen, Michael & Glück, Robert (2008). Optimized reversible binary-coded decimal adders. Journal of systems architecture. ISSN 1383-7621. 54(7), s. 697–706. doi: 10.1016/j.sysarc.2007.12.006.

Se alle arbeider i Cristin

Kirkedal Thomsen, Michael & Soeken, Mathias (2019). Reversible Computation, 11th International Conference, RC 2019, Proceedings. Springer Berlin/Heidelberg. ISBN 978-3-030-21500-2. 247 s.

Se alle arbeider i Cristin

Publisert 29. mars 2022 12:49 - Sist endret 27. mai 2022 18:49