Torben Ægidius Mogensen

Torben Ægidius Mogensen

Lektor

Medlem af:


    1. 2022
    2. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    3. Udgivet

      Hermes: A reversible language for lightweight encryption

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    4. Udgivet

      Programming Language Design and Implementation

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

      Publikation: Bog/antologi/afhandling/rapportBogfagfællebedømt

    5. 2021
    6. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    7. 2020
    8. 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/rapportKonferencebidrag i proceedingsForskningfagfæ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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    10. 2019
    11. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    12. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    13. 2018
    14. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    15. 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 tidsskriftTidsskriftartikelfagfællebedømt

    16. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    17. 2017
    18. Udgivet

      Implementing reversible object-oriented language features on reversible machines

      Haulund, T., Mogensen, Torben Ægidius & Glück, Robert, 2017, Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Phillips, I. & Rahaman, H. (red.). Springer, s. 66-73 8 s. (Lecture notes in computer science, Bind 10301).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    19. 2016
    20. Udgivet

      Programming (Computers)

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

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

    21. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    22. Udgivet

      Software

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

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

    23. 2015
    24. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    25. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    26. 2014
    27. 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 tidsskriftTidsskriftartikelfagfællebedømt

    28. 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 tidsskriftTidsskriftartikelfagfællebedømt

    29. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    30. 2013
    31. 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/rapportKonferencebidrag i proceedingsForskning

    32. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    33. 2012
    34. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    35. 2011
    36. Udgivet

      Introduction to compiler design

      Mogensen, Torben Ægidius, 2011, Springer. 204 s.

      Publikation: Bog/antologi/afhandling/rapportBog

    37. 2010
    38. 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/rapportAntologi

    39. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    40. 2009
    41. Udgivet

      Troll, a Language for specifying Dice-rolls

      Mogensen, Torben Ægidius, 2009, Proceedings of the 2009 ACM symposium on Applied Computing: Programming Language Track. Association for Computing Machinery, s. 1910-1915 6 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    42. 2008
    43. Udgivet

      Basics of Compiler Design

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

      Publikation: Bog/antologi/afhandling/rapportBog

    44. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    45. 2006
    46. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    47. 2005
    48. 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/rapportKonferencebidrag i proceedingsForskning

    49. 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/rapportBidrag til bog/antologiForskning

    50. 2003
    51. Udgivet

      Linear Types for Cashflow Reengineering

      Mogensen, Torben Ægidius, 2003, PSI\ ' 03. Lecture Notes. 2890 udg. Berlin: Springer, s. 13-21

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    52. 2002
    53. Udgivet

      Roll: A Language for Specifying Die-Rolls

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

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    54. 2001
    55. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    56. 2000
    57. 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/rapportBog

    58. 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 tidsskriftTidsskriftartikelfagfællebedømt

    59. Udgivet

      Lienar-Time Self-Interpretation of the Pure Lambda Calculus

      Mogensen, Torben Ægidius, 2000, I: Higher-Order and Symbolic Computation. Vol.13 (3), s. 217-237

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    60. Udgivet

      Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755

      Mogensen, Torben Ægidius, 2000, publisher. Springer, s. 128-142

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    61. 1999
    62. Udgivet

      Basics of Compiler Design, Kursusbog 5 Dat1E

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

      Publikation: Bog/antologi/afhandling/rapportBog

    63. Udgivet

      Basics of Compiler Design, Kususbog 6 til Dat1E

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

      Publikation: Bog/antologi/afhandling/rapportBog

    64. 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/rapportKonferencebidrag i proceedingsForskning

    65. Udgivet

      Partial Evaluation, Practice and Theory, Lecture Notes in Computer Science, Vol. 1706

      Hatcliff, J., Mogensen, Torben Ægidius & Thiemann, P., 1999, Springer.

      Publikation: Bog/antologi/afhandling/rapportAntologifagfællebedømt

    66. Udgivet

      Tractable Constraints in Finite Semilattices

      Rehof, N. J. & Mogensen, Torben Ægidius, 1999, I: Science of Computer Programming. Vol.35, no.2-3, November, s. 191-221

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    67. 1998
    68. Udgivet

      Inherited Limits

      Mogensen, Torben Ægidius, 1998, Lecture notes for the 1998 DIKU International Summer School on Practical Evaluation: Practice and Theory, vol.2: Theory, systems and applications. Datalogisk Institut, Københavns Universitet, s. 1-12

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    69. Udgivet

      Normalization for a Subset of Scheme using Type Predicates (Summary)

      Mogensen, Torben Ægidius, 1998, Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Aarhus: BRICS Notes Series NS-98-1, s. 35-36

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    70. 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/rapportBidrag til bog/antologiForskning

    71. Udgivet

      Types for 0, 1 or many uses, Lecture Notes in Computer Science, Vol.1467

      Mogensen, Torben Ægidius, 1998, publisher. Springer, s. 112-122

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    72. 1997
    73. Udgivet

      Partial evaluation: introduction what is partial evaluation?

      Mogensen, Torben Ægidius & Sestoft, P., 1997, Encyclopedia of computer science and technology. Kent, A. & Williams, J. G. (red.). Suppl. 22 udg. New York: Marcel Dekker, Bind 37. s. 247-279 33 s.

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

    74. 1995
    75. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    76. 1994
    77. Udgivet

      Worm-2dpdas: An extension to 2dpdas that can be simulated in linear time

      Mogensen, Torben Ægidius, 1994, I: Information Processing Letters.

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    78. 1992
    79. Udgivet

      Efficient Self-Interpretation in Lambda Calculus

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    80. Udgivet

      Logimix: a self-applicable partial evaluator for Prolog.

      Mogensen, Torben Ægidius & Bondorf, A., 1992, publisher. s. 214-227

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    81. Udgivet

      Self-applicable Partial Evaluation for Pure Lambda Calculus

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

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    ID: 3086