Torben Ægidius Mogensen

Publikation

Publikationer pr. år 1992 1992 1998 1999 2000 2014 2018 2018

• 23 Konferencebidrag i proceedings
• 8 Tidsskriftartikel
• 6 Bidrag til bog/antologi
• 5 Bog
• 2 Mere
  • 2 Antologi

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2018

  Data structures and dynamic memory management in reversible languages

  Cservenka, M. H., Glück, R., Haulund, T. & Mogensen, T. Æ., 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 › peer review

  • Data structures 100%
  • Data storage equipment 73%
  • Object oriented programming 46%
  • Computer programming languages 36%
  3 Citationer (Scopus)

• Garbage-Free Reversible Multiplication and Division

  Mogensen, T. Æ., 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 › peer review

  • Division 100%
  • Multiplication 83%
  • Circuit Design 76%
  • Multiplier 68%
  • Output 38%
  1 Citationer (Scopus)

• Reversible Garbage Collection for Reversible Functional Languages

  Mogensen, T. A., 1 jul. 2018, I: New Generation Computing. 36, 3, s. 203-232

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Garbage Collection 100%
  • Data structures 49%
  • Pattern matching 45%
  • Language 43%
  • Managers 34%
  2 Citationer (Scopus)
• 2017

  Implementing reversible object-oriented language features on reversible machines

  Haulund, T., Mogensen, T. Æ. & Glück, R., 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Polymorphism 100%
  • Object oriented programming 91%
  • Computer hardware 46%
  8 Citationer (Scopus)
• 2016

  RSSA: a reversible SSA form

  Mogensen, T. Æ., 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 › peer review

  • programming language 100%
  1 Citationer (Scopus)
• 2015

  Garbage collection for reversible functional languages

  Bidragets oversatte titel: Spildopsamling fot reversible funktionssprogMogensen, T. Æ., 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 › peer review

  6 Citationer (Scopus)

• Supercompilation for datatypes

  Bidragets oversatte titel: Supercompilation for datatyperMogensen, T. Æ., 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 › peer review
• 2014

  Designing garbage-free reversible implementations of the integer cosine transform

  De Vos, A., Burignat, S., Glück, R., Mogensen, T. Æ., Axelsen, H. B., Thomsen, M. K., Rotenberg, E. & Yokoyama, T., 1 okt. 2014, I: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 s., 11.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Cosine transforms 100%
  • Inverse transforms 83%
  • Linear transformations 83%
  • Computer hardware 38%
  • Networks (circuits) 36%
  1 Citationer (Scopus)

• Garbage-free reversible multipliers for arbitrary constants

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Transistors 100%
  • Costs 67%
  • Networks (circuits) 48%
  1 Citationer (Scopus)

• Reference counting for reversible languages

  Mogensen, T. Æ., 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 › peer review

  6 Citationer (Scopus)
• 2013

  A comparison of well-quasi orders on trees

  Mogensen, T. Æ., 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

  • Computational complexity 100%
  1 Citationer (Scopus)

  61 Downloads (Pure)

• Garbage-free reversible constant multipliers for arbitrary integers

  Mogensen, T. Æ., 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 › peer review

  4 Citationer (Scopus)
• 2012

  Partial evaluation of Janus part 2: assertions and procedures

  Mogensen, T. Æ., 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 › peer review

  5 Citationer (Scopus)
• 2011

  Introduction to compiler design

  Mogensen, T. Æ., 2011, Springer. 204 s.

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

  Den digitale revolution: fortællinger fra datalogiens verden

  Naur, P., Vinter, B., Hansen, K., Mogensen, T. Æ., Erleben, K., Pisinger, D., Nielsen, M., Kringelbach, M., Pedersen, E. W., Blume, P., Helles, R., Andersen, T. O. (red.), Bansler, J. 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

  211 Downloads (Pure)

• Planet map generation by tetrahedral subdivision

  Mogensen, T. Æ., 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 › peer review

  • Planets 100%
  4625 Downloads (Pure)
• 2009

  Troll, a Language for specifying Dice-rolls

  Mogensen, T. Æ., 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Internet 100%
  1 Citationer (Scopus)

  3904 Downloads (Pure)
• 2008

  Basics of Compiler Design

  Mogensen, T. Æ., 2008, Extended udg. Lulu.com. 277 s.

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

• Semi-Inversion of Functional Parameters

  Mogensen, T. Æ., 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 › peer review

  4 Citationer (Scopus)
• 2006

  Report on an Implementation of a Semi-Inverter

  Mogensen, T. Æ., 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 › peer review
• 2005

  Report on an Implementation of a Semi-Inverter

  Mogensen, T. Æ., 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

• Semi-Inversion of Guarded Equations

  Mogensen, T. Æ., 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

  10 Citationer (Scopus)
• 2003

  Linear Types for Cashflow Reengineering

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

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

  1 Citationer (Scopus)
• 2002

  Roll: A Language for Specifying Die-Rolls

  Mogensen, T. Æ., 2002, publisher. Springer, s. 15

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
• 2001

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

  Mogensen, T. Æ., 2001, publisher. Springer, s. 205-213

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
• 2000

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

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

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

• Glossary for Partial Evaluation and Related Topics

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  13 Citationer (Scopus)

• Lienar-Time Self-Interpretation of the Pure Lambda Calculus

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

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

  Mogensen, T. Æ., 2000, publisher. Springer, s. 128-142

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
• 1999

  Basics of Compiler Design, Kursusbog 5 Dat1E

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

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

• Basics of Compiler Design, Kususbog 6 til Dat1E

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

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

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

  Mogensen, T. Æ., 1999, publisher. s. 19-24

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

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

  Hatcliff, J., Mogensen, T. Æ. & Thiemann, P., 1999, Springer.

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

• Tractable Constraints in Finite Semilattices

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  32 Citationer (Scopus)
• 1998

  Inherited Limits

  Mogensen, T. Æ., 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/rapport › Bidrag til bog/antologi › Forskning

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

  Mogensen, T. Æ., 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/rapport › Bidrag til bog/antologi › Forskning

• Partial evaluation Concepts and Applications

  Mogensen, T. Æ., 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

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

  Mogensen, T. Æ., 1998, publisher. Springer, s. 112-122

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
• 1997

  Partial evaluation: introduction what is partial evaluation?

  Mogensen, T. Æ. & 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/rapport › Bidrag til bog/antologi › Forskning › peer review
• 1995

  Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus

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

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

  13 Citationer (Scopus)
• 1994

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

  Mogensen, T. Æ., 1994, I: Information Processing Letters.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  6 Citationer (Scopus)
• 1992

  Efficient Self-Interpretation in Lambda Calculus

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  60 Citationer (Scopus)

• Logimix: a self-applicable partial evaluator for Prolog.

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

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

• Self-applicable Partial Evaluation for Pure Lambda Calculus

  Mogensen, T. Æ., 1992, publisher. s. 116-121

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