Michael Kirkedal Thomsen
Lektor
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
- Udgivet
Optimized Reversible Binary-Coded Decimal Adders
Thomsen, Michael Kirkedal & Glück, Robert, 2008, I: Journal of Systems Architecture. 54, 7, s. 697-706 9 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder
Thomsen, Michael Kirkedal & Axelsen, H. B., 2008, Unconventional Computing: 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, proceedings. Calude, C. S., Costa, J. F., Freund, R., Oswald, M. & Rozenberg, G. (red.). Springer, s. 228-241 14 s. (Lecture notes in computer science; Nr. 5204).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Parallelization of Reversible Ripple-carry Adders
Thomsen, Michael Kirkedal & Axelsen, H. B., 2009, I: Parallel Processing Letters. 19, 2, s. 205-222 18 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Preface
Thomsen, Michael Kirkedal & Soeken, M., 2019, Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Springer, s. v (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).Publikation: Bidrag til bog/antologi/rapport › Forord/efterskrift › Forskning
- Udgivet
Reversible arithmetic logic unit for quantum arithmetic
Thomsen, Michael Kirkedal, Glück, Robert & Axelsen, H. B., 2010, I: Journal of Physics A: Mathematical and Theoretical. 43, 38, 10 s., 382002.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Reversible implementation of a discrete integer linear transformation
De Vos, A., Burignat, S. & Thomsen, Michael Kirkedal, 2012, I: Journal of Multiple-Valued Logic and Soft Computing. 18, 1, s. 25-35 11 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
- Udgivet
Reversible languages and incremental state saving in optimistic parallel discrete event simulation
Schordan, M., Oppelstrup, T., Thomsen, Michael Kirkedal & Glück, Robert, 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (red.). Springer VS, s. 187-207 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12070 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Strength of the reversible, garbage-free 2k ± 1 multiplier
Rotenberg, E., Cranch, J., Thomsen, Michael Kirkedal & Axelsen, H. B., 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (red.). Springer, s. 46-57 12 s. (Lecture notes in computer science, Bind 7948).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Tail recursion transformation for invertible functions
Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings. Springer, s. 73–88 (Lecture Notes in Computer Science, Bind 13960).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Upper bounds for reversible circuits based on Young subgroups
Abdessaied, N., Soeken, M., Thomsen, Michael Kirkedal & Drechsler, R., 2014, I: Information Processing Letters. 114, 6, s. 282-286 5 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
ID: 12085624
Flest downloads
-
1154
downloads
Design of reversible logic circuits using standard cells: standard cells and functional programming
Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Udgivet