Torben Ægidius Mogensen

Torben Ægidius Mogensen

Lektor

Medlem af:

    ORCID: 0000-0003-4862-9193

    Udgivelsesår:
    Alle
    11 - 20 ud af 54Pr. side: 10
    Sortering: Titel
    1. Udgivet

      Fast Control for Reversible Processors

      Mogensen, Torben Ægidius, 2022, Reversible Computation: 14th International Conference, RC 2022 Urbino, Italy, July 5–6, 2022 Proceedings. Mezzina, CA. & Podlaski, K. (red.). Springer, s. 51-64 (Lecture Notes in Computer Science, Bind 13354).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    2. Udgivet

      Garbage collection for reversible functional languages

      Mogensen, Torben Ægidius, 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (red.). Springer, s. 79-94 16 s. (Lecture notes in computer science, Bind 9138).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    3. Udgivet

      Garbage-Free Reversible Multiplication and Division

      Mogensen, Torben Ægidius, 22 aug. 2018, Reversible Computetion: 10th International Conference, RC 2018 Leicester, UK, September 12–14, 2018 Proceedings. Kari, J. & Ulidowski, I. (red.). Springer, s. 253-268 (Lecture Notes in Computer Science, Bind 11106).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    4. Udgivet

      Garbage-free reversible constant multipliers for arbitrary integers

      Mogensen, Torben Ægidius, 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. 70-83 14 s. (Lecture notes in computer science, Bind 7948).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    5. Udgivet

      Garbage-free reversible multipliers for arbitrary constants

      Mogensen, Torben Ægidius, 2014, I: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 18 s., 12.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    6. Udgivet

      Glossary for Partial Evaluation and Related Topics

      Mogensen, Torben Ægidius, 2000, I: Higher-Order and Symbolic Computation. Vol.13 (4), s. 355-368

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    7. Udgivet

      Gödelisation in the untyped lambda calculus, BRICS Notes Series, NS-99-1

      Mogensen, Torben Ægidius, 1999, publisher. s. 19-24

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

    8. Udgivet

      Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)

      Mogensen, Torben Ægidius, jan. 2019, Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (red.). Springer VS, s. 243-251 9 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11964 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    9. Udgivet

      Hermes: A reversible language for lightweight encryption

      Mogensen, Torben Ægidius, 2022, I: Science of Computer Programming. 215, 26 s., 102746.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    10. Udgivet

      Hermes: A Language for Light-Weight Encryption

      Mogensen, Torben Ægidius, 2020, Reversible Computation - 12th International Conference, RC 2020, Proceedings. Lanese, I. & Rawski, M. (red.). Springer, s. 93-110 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12227 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    Forrige 1 2 3 4 5 6 Næste

    ID: 3086