Articles with public access mandates - Robert GlückLearn more
Not available anywhere: 8
On reversible Turing machines and their function universality
HB Axelsen, R Glück
Acta Informatica 53 (5), 509-543, 2016
Mandates: Danish Council for Independent Research, Danish Council for Strategic …
Reversible representation and manipulation of constructor terms in the heap
HB Axelsen, R Glück
Reversible Computation 7948, 96-109, 2013
Mandates: Danish Council for Strategic Research
Implementing reversible object-oriented language features on reversible machines
T Haulund, TÆ Mogensen, R Glück
Reversible Computation 10301, 66-73, 2017
Mandates: European Commission
Constructing a binary tree from its traversals by reversible recursion and iteration
R Glück, T Yokoyama
Information Processing Letters 147, 32-37, 2019
Mandates: European Commission
Data structures and dynamic memory management in reversible languages
MH Cservenka, R Glück, T Haulund, TÆ Mogensen
Reversible Computation: 10th International Conference, RC 2018, Leicester …, 2018
Mandates: European Commission
Minimizing garbage size by generating reversible simulations
T Yokoyama, HB Axelsen, R Glück
2012 Third International Conference on Networking and Computing, 379-387, 2012
Mandates: Danish Council for Strategic Research
Designing garbage-free reversible implementations of the integer cosine transform
A De Vos, S Burignat, R Glück, TÆ Mogensen, HB Axelsen, MK Thomsen, ...
ACM Journal on Emerging Technologies in Computing Systems (JETC) 11 (2 …, 2014
Mandates: Research Foundation (Flanders), Danish Council for Strategic Research
Cleaning up: garbage-free reversible circuits by design languages
MK Thomsen, HB Axelsen, R Glück
Electronic System Design (ISED), 2012 International Symposium on, 6-10, 2012
Mandates: Danish Council for Strategic Research
Available somewhere: 12
Fundamentals of reversible flowchart languages
T Yokoyama, HB Axelsen, R Glück
Theoretical computer science 611, 87-115, 2016
Mandates: Danish Council for Independent Research, Danish Council for Strategic Research
A linear-time self-interpreter of a reversible imperative language
R Glück, T Yokoyama
Computer Software 33 (3), 108-128, 2016
Mandates: Danish Council for Independent Research
Join inverse categories and reversible recursion
R Kaarsgaard, HB Axelsen, R Glück
Journal of Logical and Algebraic Methods in Programming 87, 33-50, 2017
Mandates: Danish Council for Independent Research, European Commission
A minimalist's reversible while language
R Glück, T Yokoyama
IEICE Transactions on Information and Systems 100 (5), 1026-1034, 2017
Mandates: European Commission
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
R Glück, R Kaarsgaard
Logical Methods in Computer Science 14, 2018
Mandates: European Commission
A categorical foundation for structured reversible flowchart languages
R Glück, R Kaarsgaard
Electronic Notes in Theoretical Computer Science 336, 155-171, 2018
Mandates: European Commission
Reversible programs have reversible semantics
R Glück, R Kaarsgaard, T Yokoyama
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020
Mandates: European Commission
Semi-inversion of conditional constructor term rewriting systems
MH Kirkeby, R Glück
Logic-Based Program Synthesis and Transformation: 29th International …, 2020
Mandates: European Commission
From reversible programming languages to reversible metalanguages
R Glück, R Kaarsgaard, T Yokoyama
Theoretical Computer Science 920, 46-63, 2022
Mandates: Danish Council for Independent Research
A classical propositional logic for reasoning about reversible logic circuits
HB Axelsen, R Glück, R Kaarsgaard
Logic, Language, Information, and Computation 9803, 52-67, 2016
Mandates: Danish Council for Independent Research, European Commission
Towards a taxonomy for reversible computation approaches
R Glück, I Lanese, CA Mezzina, JA Miszczak, I Phillips, I Ulidowski, ...
International Conference on Reversible Computation, 24-39, 2023
Mandates: European Commission, Agence Nationale de la Recherche, Government of Italy …
Reversible Computing: Foundations and Software Preface
R Glück, T Yokoyama
New Generation Computing 36 (3), 2018
Mandates: European Commission
Publication and funding information is determined automatically by a computer program