Michael Kirkedal Thomsen
Lektor
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
- Udgivet
A functional language for describing reversible logic
Thomsen, Michael Kirkedal, 2012, Proceedings of the 2012 Forum on Specification and Design Languages. Morawiec, A. & Hinderscheit, J. (red.). IEEE, s. 135-142 8 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
A reversible processor architecture and its reversible logic design
Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (red.). Springer, s. 30-42 13 s. (Lecture notes in computer science, Bind 7165).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
An automated approach for generating and checking control logic for reversible hardware description language-based designs
Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., dec. 2017, I: Journal of Low Power Electronics. 13, 4, s. 633-641 9 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
- Udgivet
Branching execution symmetry in Jeopardy by available implicit arguments analysis
Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, I: NIKT: Norsk IKT-konferanse for forskning og utdanning. 2022, 1, s. 1-14Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
- Udgivet
Cleaning up: garbage-free reversible circuits by design languages
Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2013, 2012 International Symposium on Electronic System Design (ISED). IEEE, s. 6-10 5 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
CoreFun: A typed functional reversible core language
Jacobsen, P. A. H., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, s. 304-321 (Lecture notes in computer science, Bind 11106).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Describing and optimizing reversible logic using a functional language
Thomsen, Michael Kirkedal, 2012, Implementation and Application of Functional Languages, IFL 2011: 23rd International Symposium, IFL 2011, Lawrence, Kansas, USA, October 2011, Revised Papers. Gill, A. & Hage, J. (red.). Springer, s. 148–163 16 s. (Lecture notes in computer science, Bind 7257).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Design of Reversible Computing Systems: Logic, Languages, and Circuits
Thomsen, Michael Kirkedal, 2012, Faculty of Science, University of Copenhagen. 149 s.Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning
- Udgivet
Design of reversible logic circuits using standard cells: standard cells and functional programming
Thomsen, Michael Kirkedal, 2012, Department of Computer Science, University of Copenhagen. 28 s. (Koebenhavns Universitet. Datalogisk Institut. Rapport; Nr. 2012-03).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
- Udgivet
Designing garbage-free reversible implementations of the integer cosine transform
De Vos, A., Burignat, S., Glück, Robert, Mogensen, Torben Ægidius, Axelsen, H. B., Thomsen, Michael Kirkedal, Rotenberg, E. & Yokoyama, T., 2014, I: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 s., 11.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Effect of the leukotriene LTD4/LTE4 antagonist, SR 2640, in ulcerative colitis: an open clinical study
Nielsen, Ole Haagen, Ahnfelt-Rønne, I., Thomsen, Michael Kirkedal, Kissmeyer, A. M. & Langholz, Ebbe, mar. 1991, I: Prostaglandins, Leukotrienes & Essential Fatty Acids. 42, 3, s. 181-4 4 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Encryption and reversible computations: Work-in-progress paper
Táborský, D., Larsen, Ken Friis & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, s. 331-338 (Lecture notes in computer science, Bind 11106).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Garbage-free reversible integer multiplication with constants of the form 2k±2l±1
Axelsen, H. B. & Thomsen, Michael Kirkedal, 2013, Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Glück, R. & Yokoyama, T. (red.). Springer, s. 171-182 12 s. (Lecture notes in computer science, Bind 7581).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Garbageless reversible implementation of integer linear transformations
Burignat, S., Vermeirsch, K., De Vos, A. & Thomsen, Michael Kirkedal, 2013, Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Glück, R. & Yokoyama, T. (red.). Springer, s. 160-170 11 s. (Lecture notes in computer science, Bind 7581).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Generating and checking control logic in the HDL-based design of reversible circuits
Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., 2017, 2016 Sixth International Symposium on Embedded Computing and System Design (ISED). IEEE, s. 7-12 6 s. 7977045Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Hardness of deriving invertible sequences from finite state machines
Hierons, R. M., Mousavi, M. R., Thomsen, Michael Kirkedal & Türker, U. C., 2017, SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T. (red.). Springer, s. 147-160 14 s. (Lecture notes in computer science, Bind 10139).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Initial ideas for automatic design and verification of control logic in reversible HDLs: work in progress report
Wille, R., Keszocze, O., Othmer, L., Thomsen, Michael Kirkedal & Drechsler, R., 2016, Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Devitt, S. & Lanese, I. (red.). Springer, s. 160-166 7 s. (Lecture notes in computer science, Bind 9720).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Interfacing reversible pass-transistor CMOS chips with conventional restoring CMOS circuits
Burignat, S., Thomsen, Michael Kirkedal, Klimczak, M., Olczak, M. & De Vos, A., 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (red.). Springer, s. 112-122 11 s. (Lecture notes in computer science, Bind 7165).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Interpretation and programming of the reversible functional language RFUN
Thomsen, Michael Kirkedal & Axelsen, H. B., 14 sep. 2015, Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2015. Association for Computing Machinery, Inc., 13 s. 8. (ACM International Conference Proceeding Series, Bind 14-16-September-2015).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
MicroPower - Towards Low-power Microprocessors with Reversible Computing
Axelsen, H. B., Glück, Robert, De Vos, A. & Thomsen, Michael Kirkedal, 2009, I: ERCIM News. 79, s. 20-21 2 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling
- 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
ID: 12085624
Flest downloads
-
1153
downloads
Design of reversible logic circuits using standard cells: standard cells and functional programming
Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Udgivet