Robert Glück

University of Copenhagen — Denmark

Computer Science · Physical Sciences

31h-index3.0kcitations165works1.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(79), Parallel Computing and Optimization Techniques(41), Computability, Logic, AI Algorithms(36), Formal Methods in Verification(29), Quantum Computing Algorithms and Architecture(29)

Publications165 total

A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
Logical Methods in Computer Science·2018· 5 citedOpen Access
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
SHILAP Revista de lepidopterología·2018· 16 citedOpen Access
Reversible Computing: Foundations and Software
New Generation Computing·2018Open Access
My Childhood Home
2018
A Categorical Foundation for Structured Reversible Flowchart Languages
Electronic Notes in Theoretical Computer Science·2018· 15 citedOpen Access
An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata
Electronic Proceedings in Theoretical Computer Science·2018Open Access
Data Structures and Dynamic Memory Management in Reversible Languages
Lecture notes in computer science·2018· 10 cited
Implementing Reversible Object-Oriented Language Features on Reversible Machines
Lecture notes in computer science·2017· 15 cited
A Minimalist's Reversible While Language
IEICE Transactions on Information and Systems·2017· 18 citedOpen Access
Join inverse categories and reversible recursion
Journal of Logical and Algebraic Methods in Programming·2016· 28 cited
On reversible Turing machines and their function universality
Acta Informatica·2016· 17 cited
Maximally-Polyvariant Partial Evaluation in Polynomial Time
Lecture notes in computer science·2016· 1 cited
A Practical Simulation Result for Two-Way Pushdown Automata
Lecture notes in computer science·2016· 2 cited
A Classical Propositional Logic for Reasoning About Reversible Logic Circuits
Lecture notes in computer science·2016
A Linear-Time Self-Interpreter of a Reversible Imperative Language
Journal of information processing·2016· 22 cited
Fundamentals of reversible flowchart languages
Theoretical Computer Science·2015· 45 cited
Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform
ACM Journal on Emerging Technologies in Computing Systems·2014· 2 cited
Reversible Computation
Lecture notes in computer science·2013· 19 cited
Reversible Representation and Manipulation of Constructor Terms in the Heap
Lecture notes in computer science·2013· 15 cited
Cleaning Up: Garbage-Free Reversible Circuits by Design Languages
2012· 2 cited
← Previouspage 2 of 9Next →

Frequent Co-authors

Holger Bock Axelsen(11), Tetsuo Yokoyama(9), Morten Heine Sørensen(8), Jesper Jørgensen(6), Masahiko Kawabe(5), Bern Martens(3), Michael Kirkedal Thomsen(3), Sergei Abramov(3), Robert Zöchling(3), J. Jørgensen(2), Robin Kaarsgaard(2), N. D. Jones(1), Krzysztof Czarnecki(1), Ulrich W. Eisenecker(1), David Vandevoorde(1), Todd L. Veldhuizen(1), Andrei V. Klimov(1), Danny De Schreye(1), Michaël Leuschel(1), Neil D. Jones(1)