Torben Ægidius Mogensen

Torben Ægidius Mogensen

Lektor

Medlem af:

    ORCID: 0000-0003-4862-9193

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

      A comparison of well-quasi orders on trees

      Mogensen, Torben Ægidius, 2013, Semantics, Abstract Interpretation, and Reasoning about Programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, 19-20th September 2013. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (red.). s. 30-40 11 s. (Electronic Proceedings in Theoretical Computer Science, Bind 129).

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

    2. Udgivet

      An investigation of compact and efficient number representation in the pure lambda calculus, Lecture Notes in Computer Science, Vol. 2244

      Mogensen, Torben Ægidius, 2001, publisher. Springer, s. 205-213

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

    3. Udgivet

      Basics of Compiler Design

      Mogensen, Torben Ægidius, 2008, Extended udg. Lulu.com. 277 s.

      Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning

    4. Udgivet

      Basics of Compiler Design, Kursusbog 5 Dat1E

      Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 100 s.

      Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning

    5. Udgivet

      Basics of Compiler Design, Kursusbog for Datalogi 1E, Vol.5, 2. edition

      Mogensen, Torben Ægidius, 2000, Datalogisk Institut, Københavns Universitet. 217 s.

      Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

    6. Udgivet

      Basics of Compiler Design, Kususbog 6 til Dat1E

      Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 s.

      Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning

    7. Udgivet

      Data structures and dynamic memory management in reversible languages

      Cservenka, M. H., Glück, Robert, Haulund, T. & Mogensen, Torben Ægidius, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (red.). Springer, s. 269-285 (Lecture notes in computer science, Bind 11106).

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

    8. Udgivet

      Den digitale revolution: fortællinger fra datalogiens verden

      Naur, P., Vinter, B., Hansen, Klaus, Mogensen, Torben Ægidius, Erleben, Kenny, Pisinger, D., Nielsen, Mads, Kringelbach, M., Pedersen, E. W., Blume, P., Helles, Rasmus, Andersen, Tariq Osman (red.), Bansler, Jørgen P. (red.), Clausen, H. R. (red.), Jensen, I. H. (red.) & Zachariasen, M. (red.), 2010, København: Datalogisk Institut. 156 s.

      Publikation: Bog/antologi/afhandling/rapport › Antologi › Formidling

    9. 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

    10. Udgivet

      Efficient Self-Interpretation in Lambda Calculus

      Mogensen, Torben Ægidius, 1992, I: Journal of Functional Programming. 2(3), s. 345-364

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

    Forrige 1 2 3 4 5 6 Næste

    ID: 3086