OC-FP, An applicative language combination with occam and the algebra of processes. - Robert Glück; Christian Demuth (Microprocess. Microprogramming, 1987)

Application of Metasystem Transition to Function Inversion and Transformation. - Robert Glück; Valentin F. Turchin (ISSAC, 1990)

Towards Multiple Self-Application. - Robert Glück (PEPM, 1991)

Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree. - Robert Glück; Andrei V. Klimov (WSA, 1993)

Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC. - Morten Heine Sørensen; Robert Glück; Neil D. Jones (ESOP, 1994)

Generating Optimizing Specializers. - Robert Glück; Jesper Jørgensen (ICCL, 1994)

Partial Evaluation of Numerical Programs in Fortran. - Romana Baier; Robert Glück; Robert Zöchling (PEPM, 1994)

Partial Deduction and Driving are Equivalent. - Robert Glück; Morten Heine Sørensen (PLILP, 1994)

Generating Transformers for Deforestation and Supercompilation. - Robert Glück; Jesper Jørgensen (SAS, 1994)

On the Generation of Specializers. - Robert Glück (J. Funct. Program., 1994)

On the Mechanics of Metasystem Hierarchies in Program Transformation. - Robert Glück (LOPSTR, 1995)

Efficient Multi-level Generating Extensions for Program Specialization - Robert Glück; Jesper Jørgensen (PLILP, 1995)

An Algorithm of Generalization in Positive Supercompilation. - Morten Heine Sørensen; Robert Glück (ILPS, 1995)

Fortran Program Specialization. - Paul Kleinrubatscher; Albert Kriegshaber; Robert Zöchling; Robert Glück (ACM SIGPLAN Notices, 1995)

A Roadmap to Metacomputation by Supercompilation. - Robert Glück; Morten Heine Sørensen (Dagstuhl Seminar on Partial Evaluation, 1996)

Reasoning about Hierarchies of Online Program Specialization Systems. - John Hatcliff; Robert Glück (Dagstuhl Seminar on Partial Evaluation, 1996)

Fast Binding-Time Analysis for Multi-Level Specialization. - Robert Glück; Jesper Jørgensen (Ershov Memorial Conference, 1996)

Controlling Conjunctive Partial Deduction. - Robert Glück; Jesper Jørgensen; Bern Martens; Morten Heine Sørensen (PLILP, 1996)

Bootstrapping higher-order program transformers from interpreters. - Michael Sperber; Robert Glück; Peter Thiemann 001 (SAC, 1996)

A Positive Supercompiler. - Morten Heine Sørensen; Robert Glück; Neil D. Jones (J. Funct. Program., 1996)

A Regeneration Scheme for Generating Extensions. - Robert Glück; Andrei V. Klimov (Inf. Process. Lett., 1997)

An Automatic Program Generator for Multi-Level Specialization. - Robert Glück; Jesper Jørgensen (LISP Symb. Comput., 1997)

Generative Programming and Active Libraries. - Krzysztof Czarnecki 001; Ulrich W. Eisenecker; Robert Glück; David Vandevoorde; Todd L. Veldhuizen (Generic Programming, 1998)

Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages. - Sergei M. Abramov; Robert Glück (Fuji International Symposium on Functional and Logic Programming, 1998)

Generalization in Hierarchies of Online Program Specialization Systems. - Robert Glück; John Hatcliff; Jesper Jørgensen (LOPSTR, 1998)

Multi-Level Specialization (Extended Abstract). - Robert Glück; Jesper Jørgensen (Partial Evaluation, 1998)

Introduction to Supercompilation. - Morten Heine Sørensen; Robert Glück (Partial Evaluation, 1998)

1998 Symposium on Partial Evaluation. - Olivier Danvy; Robert Glück; Peter Thiemann 001 (ACM Comput. Surv., 1998)

On the Degeneration of Program Generators by Program Composition. - Robert Glück; Andrei V. Klimov (New Gener. Comput., 1998)

Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All. - Niels H. Christensen; Robert Glück; Søren Laursen (Ershov Memorial Conference, 1999)

Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification. - Robert Glück; Michael Leuschel (Ershov Memorial Conference, 1999)

Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments. - Danny De Schreye; Robert Glück; Jesper Jørgensen; Michael Leuschel; Bern Martens; Morten Heine Sørensen (J. Log. Program., 1999)

Principles of Inverse Computation in a Functional Language. - Sergei M. Abramov; Robert Glück (APLAS, 2000)

Automatic Generation of Very Efficient Programs by Generalized Partial Computation. - Yoshihiko Futamura; Zenjiro Konishi; Robert Glück (APLAS, 2000)

Combining Semantics with Non-standard Interpreter Hierarchies. - Sergei M. Abramov; Robert Glück (FSTTCS, 2000)

The Universal Resolving Algorithm: Inverse Computation in a Functional Language. - Sergei M. Abramov; Robert Glück (MPC, 2000)

Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments". - Danny De Schreye; Robert Glück; Jesper Jørgensen; Michael Leuschel; Bern Martens; Morten Heine Sørensen (J. Log. Program., 2000)

Jones Optimality and the Strength of Program Specializers. - Robert Glück (APLAS, 2001)

On Deforesting Parameters of Accumulating Maps. - Kazuhiko Kakehi 001; Robert Glück; Yoshihiko Futamura (LOPSTR, 2001)

Relating Accumulative and Non-accumulative Functional Programs. - Armin Kühnemann; Robert Glück; Kazuhiko Kakehi 001 (RTA, 2001)

From Standard to Non-Standard Semantics by Semantics Modifiers. - Sergei M. Abramov; Robert Glück (Int. J. Found. Comput. Sci., 2001)

Program Transformation System Based on Generalized Partial Computation. - Yoshihiko Futamura; Zenjiro Konishi; Robert Glück (New Gener. Comput., 2001)

Partial Evaluation and Program Transformation Day - Guest Editor's Preface. - Robert Glück; Yoshihiko Futamura (New Gener. Comput., 2001)

An Automatic Program Inverter for Lisp: Potential and Limitations. - Robert Glück; Masahiko Kawabe (APLAS, 2002)

Principles of Inverse Computation and the Universal Resolving Algorithm. - Sergei M. Abramov; Robert Glück (The Essence of Computation, 2002)

WSDFU: Program Transformation System Based on Generalized Partial Computation. - Yoshihiko Futamura; Zenjiro Konishi; Robert Glück (The Essence of Computation, 2002)

Automatic generation of efficient string matching algorithms by generalized partial computation. - Yoshihiko Futamura; Zenjiro Konishi; Robert Glück (ASIA-PEPM, 2002)

Jones optimality, binding-time improvements, and the strength of program specializers. - Robert Glück (ASIA-PEPM, 2002)

The universal resolving algorithm and its correctness: inverse computation in a functional language. - Sergei M. Abramov; Robert Glück (Sci. Comput. Program., 2002)

A Program Inverter for a Functional Language with Equality and Constructors. - Robert Glück; Masahiko Kawabe (APLAS, 2003)

The Translation Power of the Futamura Projections. - Robert Glück (Ershov Memorial Conference, 2003)

Transforming interpreters into inverse interpreters by partial evaluation. - Robert Glück; Youhei Kawada; Takuya Hashimoto (PEPM, 2003)

Derivation of Deterministic Inverse Programs Based on LR Parsing. - Robert Glück; Masahiko Kawabe (FLOPS, 2004)

Offline partial evaluation can be as accurate as online partial evaluation. - Niels H. Christensen; Robert Glück (ACM Trans. Program. Lang. Syst., 2004)

The Program Inverter LRinv and Its Structure. - Masahiko Kawabe; Robert Glück (PADL, 2005)

A Method for Automatic Program Inversion Based on LR(0) Parsing. - Robert Glück; Masahiko Kawabe (Fundam. Informaticae, 2005)

Revisiting an automatic program inverter for Lisp. - Robert Glück; Masahiko Kawabe (ACM SIGPLAN Notices, 2005)

On Jones-Optimal Specializers: A Case Study Using Unmix. - Johan Gade; Robert Glück (APLAS, 2006)

An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. - Sergei M. Abramov; Robert Glück; Yuri A. Klimov (Ershov Memorial Conference, 2006)

Reversible Machine Code and Its Abstract Processor Architecture. - Holger Bock Axelsen; Robert Glück; Tetsuo Yokoyama (CSR, 2007)

A reversible programming language and its invertible self-interpreter. - Tetsuo Yokoyama; Robert Glück (PEPM, 2007)

Principles of a reversible programming language. - Tetsuo Yokoyama; Holger Bock Axelsen; Robert Glück (Conf. Computing Frontiers, 2008)

Reversible Flowchart Languages and the Structured Reversible Program Theorem. - Tetsuo Yokoyama; Holger Bock Axelsen; Robert Glück (ICALP (2), 2008)

Optimized reversible binary-coded decimal adders. - Michael Kirkedal Thomsen; Robert Glück (J. Syst. Archit., 2008)

An investigation of Jones optimality and BTI-universal specializers. - Robert Glück (High. Order Symb. Comput., 2008)

An Experiment with the Fourth Futamura Projection. - Robert Glück (Ershov Memorial Conference, 2009)

Is there a fourth Futamura projection? - Robert Glück (PEPM, 2009)

MicroPower: Towards Low-Power Microprocessors with Reversible Computing. - Holger Bock Axelsen; Robert Glück; Alexis De Vos; Michael Kirkedal Thomsen (ERCIM News, 2009)

Self-generating program specializers. - Robert Glück (Inf. Process. Lett., 2010)

Bootstrapping Compiler Generators from Partial Evaluators. - Robert Glück (Ershov Memorial Conference, 2011)

What Do Reversible Programs Compute? - Holger Bock Axelsen; Robert Glück (FoSSaCS, 2011)

A Simple and Efficient Universal Reversible Turing Machine. - Holger Bock Axelsen; Robert Glück (LATA, 2011)

A Reversible Processor Architecture and Its Reversible Logic Design. - Michael Kirkedal Thomsen; Holger Bock Axelsen; Robert Glück (RC, 2011)

Towards a Reversible Functional Language. - Tetsuo Yokoyama; Holger Bock Axelsen; Robert Glück (RC, 2011)

Special Issue on Generative Programming and Component Engineering (Selected Papers from GPCE 2004/2005). - Robert Glück; Eelco Visser (Sci. Comput. Program., 2011)

Minimizing Garbage Size by Generating Reversible Simulations. - Tetsuo Yokoyama; Holger Bock Axelsen; Robert Glück (ICNC, 2012)

Cleaning Up: Garbage-Free Reversible Circuits by Design Languages. - Michael Kirkedal Thomsen; Holger Bock Axelsen; Robert Glück (ISED, 2012)

Optimizing Reversible Simulation of Injective Functions. - Tetsuo Yokoyama; Holger Bock Axelsen; Robert Glück (J. Multiple Valued Log. Soft Comput., 2012)

A self-applicable online partial evaluator for recursive flowchart languages. - Robert Glück (Softw. Pract. Exp., 2012)

Reversible Representation and Manipulation of Constructor Terms in the Heap. - Holger Bock Axelsen; Robert Glück (RC, 2013)

Simulation of Two-Way Pushdown Automata Revisited. - Robert Glück (Festschrift for Dave Schmidt, 2013)

Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform. - Alexis De Vos; Stéphane Burignat; Robert Glück; Torben Ægidius Mogensen; Holger Bock Axelsen; Michael Kirkedal Thomsen; Eva Rotenberg; Tetsuo Yokoyama (ACM J. Emerg. Technol. Comput. Syst., 2014)

Maximally-Polyvariant Partial Evaluation in Polynomial Time. - Robert Glück (Ershov Memorial Conference, 2015)

A Practical Simulation Result for Two-Way Pushdown Automata. - Robert Glück (CIAA, 2016)

A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. - Holger Bock Axelsen; Robert Glück; Robin Kaarsgaard (WoLLIC, 2016)

On reversible Turing machines and their function universality. - Holger Bock Axelsen; Robert Glück (Acta Informatica, 2016)

A Linear-Time Self-Interpreter of a Reversible Imperative Language. - Robert Glück; Tetsuo Yokoyama (Inf. Media Technol., 2016)

Fundamentals of reversible flowchart languages. - Tetsuo Yokoyama; Holger Bock Axelsen; Robert Glück (Theor. Comput. Sci., 2016)

Implementing Reversible Object-Oriented Language Features on Reversible Machines. - Tue Haulund; Torben Ægidius Mogensen; Robert Glück (RC, 2017)

A Minimalist's Reversible While Language. - Robert Glück; Tetsuo Yokoyama (IEICE Trans. Inf. Syst., 2017)

Join inverse categories and reversible recursion. - Robin Kaarsgaard; Holger Bock Axelsen; Robert Glück (J. Log. Algebraic Methods Program., 2017)

Data Structures and Dynamic Memory Management in Reversible Languages. - Martin Holm Cservenka; Robert Glück; Tue Haulund; Torben Ægidius Mogensen (RC, 2018)

An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata. - Robert Glück (MARS/VPT@ETAPS, 2018)

A Categorical Foundation for Structured Reversible Flowchart Languages. - Robert Glück; Robin Kaarsgaard (MFPS, 2018)

A categorical foundation for structured reversible flowchart languages: Soundness and adequacy. - Robert Glück; Robin Kaarsgaard (Log. Methods Comput. Sci., 2018)

Reversible Computing: Foundations and Software - Preface of Special Issue. - Robert Glück; Tetsuo Yokoyama (New Gener. Comput., 2018)

Reversible Programs Have Reversible Semantics. - Robert Glück; Robin Kaarsgaard; Tetsuo Yokoyama (FM Workshops (2), 2019)

Semi-inversion of Conditional Constructor Term Rewriting Systems. - Maja Hanne Kirkeby; Robert Glück (LOPSTR, 2019)

Constructing a binary tree from its traversals by reversible recursion and iteration. - Robert Glück; Tetsuo Yokoyama (Inf. Process. Lett., 2019)

An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. - Kanae Tsushima; Bach Nguyen Trong; Robert Glück; Zhenjiang Hu (FLOPS, 2020)

Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems. - Maja H. Kirkeby; Robert Glück (PPDP, 2020)

An Experiment Combining Specialization with Abstract Interpretation. - John P. Gallagher; Robert Glück (VPT/HCVS@ETAPS, 2020)

Foundations of Reversible Computation. - Bogdan Aman; Gabriel Ciobanu; Robert Glück; Robin Kaarsgaard; Jarkko Kari; Martin Kutrib; Ivan Lanese; Claudio Antares Mezzina; Lukasz Mikulski; Rajagopal Nagarajan; Iain C. C. Phillips; G. Michele Pinna; et al. (Selected Results of the COST Action IC1405, 2020)

Software and Reversible Systems: A Survey of Recent Activities. - Claudio Antares Mezzina; Rudolf Schlatte; Robert Glück; Tue Haulund; James Hoey; Martin Holm Cservenka; Ivan Lanese; Torben Æ. Mogensen; Harun Siljak; Ulrik Pagh Schultz; Irek Ulidowski (Selected Results of the COST Action IC1405, 2020)

Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation. - Markus Schordan; Tomas Oppelstrup; Michael Kirkedal Thomsen; Robert Glück (Selected Results of the COST Action IC1405, 2020)

Towards a Unified Language Architecture for Reversible Object-Oriented Programming. - Lasse Hay-Schmidt; Robert Glück; Martin Holm Cservenka; Tue Haulund (RC, 2021)

An Inversion Tool for Conditional Term Rewriting Systems - A Case Study of Ackermann Inversion. - Maria Bendix Mikkelsen; Robert Glück; Maja H. Kirkeby (VPT@ETAPS, 2021)

Reversible Programming: A Case Study of Two String-Matching Algorithms. - Robert Glück; Tetsuo Yokoyama (HCVS/VPT@ETAPS, 2022)

Making Programs Reversible with Minimal Extra Data. - Robert Glück; Tetsuo Yokoyama (New Gener. Comput., 2022)

From reversible programming languages to reversible metalanguages. - Robert Glück; Robin Kaarsgaard; Tetsuo Yokoyama (Theor. Comput. Sci., 2022)

Towards a Taxonomy for Reversible Computation Approaches. - Robert Glück; Ivan Lanese; Claudio Antares Mezzina; Jaroslaw Adam Miszczak; Iain C. C. Phillips; Irek Ulidowski; Germán Vidal (RC, 2023)

Towards a Dereversibilizer: Fewer Asserts, Statically. - Jonas Wolpers Reholt; Robert Glück; Matthis Kruse (RC, 2023)

Reversible computing from a programming language perspective. - Robert Glück; Tetsuo Yokoyama (Theor. Comput. Sci., 2023)

Partial Evaluation of Reversible Flowchart Programs. - Louis Normann; Robert Glück (PEPM, 2024)

Towards Clean Reversible Lossless Compression - A Reversible Programming Experiment with Zip. - Therese Lyngby; Rasmus Ross Nylandsted; Robert Glück; Tetsuo Yokoyama (RC, 2024)

Experiment Using Partial Evaluation for Transformational Debugging. - Kanae Tsushima; Robert Glück (SCAM, 2024)

Inversion by Partial Evaluation: A Reversible Interpreter Experiment. - Robert Glück; Louis Marott Normann (A Second Soul, 2024)