Torben Ægidius Mogensen

Torben Ægidius Mogensen

Lektor

Medlem af:

    ORCID: 0000-0003-4862-9193

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

      Partial evaluation Concepts and Applications

      Mogensen, Torben Ægidius, 1998, Lecture Notes for the 1998 DIKU International Summer School on Partial Evaluation: Practice and Theory Volume 1: Practice and Experience using Partial Evaluators. Datalogisk Institut, Københavns Universitet, s. 1-19

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

    2. Udgivet

      Partial evaluation of Janus part 2: assertions and procedures

      Mogensen, Torben Ægidius, 2012, Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Clarke, E., Virbitskaite, I. & Voronkov, A. (red.). Springer, s. 289-301 13 s. (Lecture notes in computer science, Bind 7162).

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

    3. Udgivet

      Planet map generation by tetrahedral subdivision

      Mogensen, Torben Ægidius, 2010, Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Pnueli, A., Virbitskaite, I. & Voronkov, A. (red.). Springer, s. 306-318 13 s. (Lecture notes in computer science, Bind 5947).

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

    4. Udgivet

      Programming (Computers)

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

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

    5. Udgivet

      Programming Language Design and Implementation

      Mogensen, Torben Ægidius, 2022, Springer. 321 s. (Texts in Computer Science).

      Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › fagfællebedømt

    6. Udgivet

      RSSA: a reversible SSA form

      Mogensen, Torben Ægidius, 2016, Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, Revised Selected Papers. Mazzara, M. & Voronkov, A. (red.). Springer, s. 203-217 15 s. (Lecture notes in computer science, Bind 9609).

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

    7. Udgivet

      Reference counting for reversible languages

      Mogensen, Torben Ægidius, 2014, Reversible Computation: 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings. Yamashita, S. & Minato, S. (red.). Springer, s. 82-94 13 s. (Lecture notes in computer science, Bind 8507).

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

    8. Udgivet

      Report on an Implementation of a Semi-Inverter

      Mogensen, Torben Ægidius, 2005, Proceedings of the 1st DIKU-IST Joint Workshop on Foundations of Software.. 05/07 udg. Museum Tusculanum, s. 54-62 9 s.

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

    9. Udgivet

      Report on an Implementation of a Semi-Inverter

      Mogensen, Torben Ægidius, 2006, Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006. Virbitskaite, I. & Voronkov, A. (red.). Springer, s. 322-334 13 s. (Lecture notes in computer science; Nr. 4378).

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

    10. Udgivet

      Reversible Functional Array Programming

      Mogensen, Torben Ægidius, 2021, Reversible Computation 13th International - 13th International Conference, RC 2021, Proceedings. Yamashita, S. & Yokoyama, T. (red.). Springer, s. 45-63 19 s. (Lecture Notes in Computer Science, Bind 12805 ).

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

    Forrige 1 2 3 4 5 6 Næste

    ID: 3086