Torben Ægidius Mogensen

Torben Ægidius Mogensen

Lektor

Medlem af:

    ORCID: 0000-0003-4862-9193

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

      Reversible Garbage Collection for Reversible Functional Languages

      Mogensen, Torben Ægidius, jul. 2018, I: New Generation Computing. 36, 3, s. 203-232

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

    2. Udgivet

      Reversible in-place carry-lookahead addition with few ancillae

      Mogensen, Torben Ægidius, 2019, Reversible Computation: 11th International Conference, RC 2019, Proceedings. Thomsen, M. K. & Soeken, M. (red.). Springer, s. 224-237 14 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11497 LNCS).

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

    3. Udgivet

      Roll: A Language for Specifying Die-Rolls

      Mogensen, Torben Ægidius, 2002, publisher. Springer, s. 15

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

    4. Udgivet

      Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

      Mogensen, Torben Ægidius, 1995, publisher. Association for Computing Machinery, s. 39-44

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

    5. Udgivet

      Self-applicable Partial Evaluation for Pure Lambda Calculus

      Mogensen, Torben Ægidius, 1992, publisher. s. 116-121

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

    6. Udgivet

      Semi-Inversion of Functional Parameters

      Mogensen, Torben Ægidius, 2008, PEPM'08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008. Glück, R. & de Moor, O. (red.). Association for Computing Machinery, s. 21-29 9 s.

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

    7. Udgivet

      Semi-Inversion of Guarded Equations

      Mogensen, Torben Ægidius, 2005, Generative Programming and Component-Engineering 2005. 3676 udg. Berlin: Springer, s. 189-204 16 s.

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

    8. Udgivet

      Software

      Mogensen, Torben Ægidius, 2016, The International Encyclopedia of Communication Theory and Philosophy . Wiley, s. 1-5

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

    9. Udgivet

      Software and reversible systems: A survey of recent activities

      Mezzina, C. A., Schlatte, R., Glück, Robert, Haulund, T., Hoey, J., Holm Cservenka, M., Lanese, I., Mogensen, Torben Ægidius, Siljak, H., Schultz, U. P. & Ulidowski, I., 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. 41-59 19 s. (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

    10. Udgivet

      Supercompilation for datatypes

      Mogensen, Torben Ægidius, 2015, Perspectives of system informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Voronkov, A. & Virbitskaite, I. (red.). Springer, s. 232-247 16 s. (Lecture notes in computer science, Bind 8974).

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

    Forrige 1 2 3 4 5 6 Næste

    ID: 3086