Edit Profile (opens in new tab) Mogensen, Torben Ægidius Co-Author Distance Author ID: mogensen.torben-aegidius Published as: Mogensen, Torben Ægidius; Mogensen, Torben Æ.; Mogensen, Torben more...less Documents Indexed: 21 Publications since 1990, including 1 Book 1 Contribution as Editor Co-Authors: 7 Co-Authors with 6 Joint Publications 125 Co-Co-Authors all top 5 Co-Authors 16 single-authored 2 Glück, Robert 2 Haulund, Tue 2 Rehof, Jakob 1 Cservenka, Martin Holm 1 Jensen, Thomas P. 1 Schmidt, David A. 1 Sudborough, Ivan Hal Serials 1 Science of Computer Programming 1 Journal of Functional Programming 1 Higher-Order and Symbolic Computation 1 Lecture Notes in Computer Science 1 Undergraduate Topics in Computer Science all top 5 Fields 22 Computer science (68-XX) 3 Quantum theory (81-XX) 2 Mathematical logic and foundations (03-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 General and overarching topics; collections (00-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 14 Publications have been cited 59 times in 52 Documents Cited by ▼ Year ▼ Efficient self-interpretation in lambda calculus. Zbl 0817.68051 Mogensen, Torben Æ. 25 1992 RSSA: a reversible SSA form. Zbl 1461.68053 Mogensen, Torben Ægidius 6 2016 An investigation of compact and efficient number representations in the pure lambda calculus. Zbl 1073.68563 Mogensen, Torben Æ. 5 2001 Tractable constraints in finite semilattices. Zbl 0948.68017 Rehof, Jakob; Mogensen, Torben Æ. 5 1999 Implementing reversible object-oriented language features on reversible machines. Zbl 1487.68079 Haulund, Tue; Mogensen, Torben Ægidius; Glück, Robert 4 2017 Data structures and dynamic memory management in reversible languages. Zbl 1515.68090 Cservenka, Martin Holm; Glück, Robert; Haulund, Tue; Mogensen, Torben Ægidius 3 2018 Linear-time self-interpretation of the pure lambda calculus. Zbl 0972.68029 Mogensen, Torben Æ. 3 2000 Hermes: a language for light-weight encryption. Zbl 07368049 Mogensen, Torben Ægidius 2 2020 Introduction to compiler design. 2nd revised edition. Zbl 1401.68003 Mogensen, Torben Ægidius 1 2017 Reversible functional array programming. Zbl 07419482 Mogensen, Torben Ægidius 1 2021 Garbage collection for reversible functional languages. Zbl 1464.68047 Mogensen, Torben Ægidius 1 2015 A backwards analysis for compile-time garbage collection. Zbl 0765.68106 Jensen, Thomas P.; Mogensen, Torben Æ. 1 1990 Garbage-free reversible multiplication and division. Zbl 1515.68134 Mogensen, Torben Ægidius 1 2018 Garbage-free reversible constant multipliers for arbitrary integers. Zbl 1406.68028 Mogensen, Torben Ægidius 1 2013 Reversible functional array programming. Zbl 07419482 Mogensen, Torben Ægidius 1 2021 Hermes: a language for light-weight encryption. Zbl 07368049 Mogensen, Torben Ægidius 2 2020 Data structures and dynamic memory management in reversible languages. Zbl 1515.68090 Cservenka, Martin Holm; Glück, Robert; Haulund, Tue; Mogensen, Torben Ægidius 3 2018 Garbage-free reversible multiplication and division. Zbl 1515.68134 Mogensen, Torben Ægidius 1 2018 Implementing reversible object-oriented language features on reversible machines. Zbl 1487.68079 Haulund, Tue; Mogensen, Torben Ægidius; Glück, Robert 4 2017 Introduction to compiler design. 2nd revised edition. Zbl 1401.68003 Mogensen, Torben Ægidius 1 2017 RSSA: a reversible SSA form. Zbl 1461.68053 Mogensen, Torben Ægidius 6 2016 Garbage collection for reversible functional languages. Zbl 1464.68047 Mogensen, Torben Ægidius 1 2015 Garbage-free reversible constant multipliers for arbitrary integers. Zbl 1406.68028 Mogensen, Torben Ægidius 1 2013 An investigation of compact and efficient number representations in the pure lambda calculus. Zbl 1073.68563 Mogensen, Torben Æ. 5 2001 Linear-time self-interpretation of the pure lambda calculus. Zbl 0972.68029 Mogensen, Torben Æ. 3 2000 Tractable constraints in finite semilattices. Zbl 0948.68017 Rehof, Jakob; Mogensen, Torben Æ. 5 1999 Efficient self-interpretation in lambda calculus. Zbl 0817.68051 Mogensen, Torben Æ. 25 1992 A backwards analysis for compile-time garbage collection. Zbl 0765.68106 Jensen, Thomas P.; Mogensen, Torben Æ. 1 1990 all cited Publications top 5 cited Publications all top 5 Cited by 78 Authors 6 Glück, Robert 5 Mogensen, Torben Ægidius 4 Deworetzki, Niklas 4 Forster, Yannick 4 Stump, Aaron 3 Jay, C. Barry 3 Manzonetto, Giulio 3 Meyer, Uwe 2 Intrigila, Benedetto 2 Kiselyov, Oleg 2 Kunze, Fabian 2 Kutrib, Martin 2 Polonsky, Andrew 2 Smolka, Gert 1 Akhlaghpour, Hessameddin 1 Anand, Abhishek 1 Babu, Hafiz Md. Hasan 1 Barendregt, Hendrik Pieter 1 Bi, Xuan 1 Boulier, Simon 1 Carette, Jacques 1 Cohen, Cyril 1 Cservenka, Martin Holm 1 Dijkstra, Atze 1 Dybjer, Peter 1 Ferbus-Zanda, Marie C. 1 Fu, Peng 1 Fujima, Koichi 1 Furuya, Isamu 1 Gail, Lukas 1 Goldberg, Mayer 1 Grigorieff, Serge 1 Gu, Ming 1 Haraburda, David 1 Haulund, Tue 1 Hay-Schmidt, Lasse 1 Jansen, Jan Martin 1 Kaarsgaard, Robin 1 Kerinec, Emma 1 Kida, Takuya 1 Kobayashi, Naoki 1 Kostyuk, Yu. L. 1 Kruse, Matthis 1 Kuperberg, Denis 1 Lanese, Ivan 1 Lee, Edward Ashford 1 Lin, Xi 1 Mackie, Ian 1 Malecha, Gregory 1 Mezzina, Claudio Antares 1 Middelkoop, Arie 1 Miszczak, Jaroslaw Adam 1 Naumann, David A. 1 Oliveira, Bruno C.d. S. 1 Pagani, Michele 1 Phillips, Iain W. 1 Rehof, Jakob 1 Reholt, Jonas Wolpers 1 Ritzke, Pia-Doreen 1 Rowe, Reuben N. S. 1 Schuster, Marc 1 Shan, Chung-chieh 1 Sozeau, Matthieu 1 Suzuki, Ryota 1 Swierstra, S. Doaitse 1 Tabareau, Nicolas 1 Tarau, Paul 1 Tsukada, Takeshi 1 Ulidowski, Irek 1 Vidal, Germán 1 Winterhalter, Théo 1 Xiong, Yuhong 1 Xu, Yongsen 1 Yang, Yanpeng 1 Yokoyama, Tetsuo 1 Zhang, Hehua 1 Zhao, Yang 1 Zhong, Lizhi C. all top 5 Cited in 18 Serials 4 Journal of Functional Programming 3 Theoretical Computer Science 3 Journal of Automated Reasoning 3 Higher-Order and Symbolic Computation 3 Logical Methods in Computer Science 2 Annals of Pure and Applied Logic 1 Information Processing Letters 1 Information and Computation 1 International Journal of Intelligent Systems 1 Formal Aspects of Computing 1 Cybernetics and Systems Analysis 1 The Bulletin of Symbolic Logic 1 Journal of Applied Mathematics 1 Computer Languages, Systems & Structures 1 Quantum Information Processing 1 Algorithms 1 Journal of Theoretical Biology 1 Prikladnaya Diskretnaya Matematika all top 5 Cited in 8 Fields 47 Computer science (68-XX) 16 Mathematical logic and foundations (03-XX) 10 Quantum theory (81-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Category theory; homological algebra (18-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Citations by Year