Robert Glück

• Præsentation
• Publikationer
• Presse
• Aktiviteter
• Mest downloadede

Flest downloads

1. 259 downloads

   Udgivet

   Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software

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

2. 203 downloads

   Udgivet

   A categorical foundation for structured reversible flowchart languages

   Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

3. 117 downloads

   Udgivet

   Simulation of two-way pushdown automata revisited

   Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

4. 109 downloads

   Udgivet

   Reversible computing from a programming language perspective

   Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

5. 85 downloads

   Udgivet

   An experiment in ping-pong protocol verification by nondeterministic pushdown automata

   Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt