Robert Glück

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

Flest downloads

1. 214 downloads

   Udgivet

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

   Publikation: Bog/antologi/afhandling/rapport › Antologi

2. 169 downloads

   Udgivet

   A categorical foundation for structured reversible flowchart languages

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

3. 96 downloads

   Udgivet

   Simulation of two-way pushdown automata revisited

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

4. 73 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

5. 22 downloads

   Udgivet

   Reversible computing from a programming language perspective (extended abstract)

   Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning