Robert Glück

Robert Glück

Professor


  1. 2020
  2. Udgivet

    Foundations of reversible computation

    Aman, B., Ciobanu, G., Glück, Robert, Kaarsgaard, Robin, Kari, J., Kutrib, M., Lanese, I., Mezzina, C. A., Mikulski, Ł., Nagarajan, R., Phillips, I., Pinna, G. M., Prigioniero, L., Ulidowski, I. & Vidal, G., 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (red.). Springer VS, s. 1-40 40 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12070 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  3. Udgivet

    Reversible programs have reversible semantics

    Glück, Robert, Kaarsgaard, Robin & Yokoyama, T., 2020, Formal Methods. FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (red.). Springer VS, s. 413-427 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12233 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  4. Udgivet

    Semi-inversion of conditional constructor term rewriting systems

    Kirkeby, M. H. & Glück, Robert, 2020, Logic-based Program Synthesis and Transformation. Gabbrielli, M. (red.). Springer, s. 243-259 (Lecture Notes in Computer Science, Bind 12042).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  5. 2019
  6. Udgivet

    Constructing a binary tree from its traversals by reversible recursion and iteration

    Glück, Robert & Yokoyama, T., 2019, I : Information Processing Letters. 147, s. 32-37 6 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  7. 2018
  8. Udgivet

    A categorical foundation for structured reversible flowchart languages

    Glück, Robert & Kaarsgaard, Robin, 2018, I : Electronic Notes in Theoretical Computer Science. 336, s. 155-171

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  9. Udgivet

    A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

    Glück, Robert & Kaarsgaard, Robin, 2018, I : Logical Methods in Computer Science. 14, 3, 38 s., 16.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  10. Udgivet

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

    Glück, Robert, 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Proceedings. Gallagher, J. P., van Glabbeek, R. & Serwe, W. (red.). Open Publishing Association, s. 169-184 (Electronic Proceedings in Theoretical Computer Science, Bind 268).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  11. Udgivet

    Data structures and dynamic memory management in reversible languages

    Cservenka, M. H., Glück, Robert, Haulund, T. & Mogensen, Torben Ægidius, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (red.). Springer, s. 269-285 (Lecture notes in computer science, Bind 11106).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  12. Udgivet

    Reversible computing: foundations and software: Preface of Special Issue

    Glück, Robert & Yokoyama, T., 2018, I : New Generation Computing. 36, 3, s. 143-144

    Publikation: Bidrag til tidsskriftLederForskning

  13. 2017
  14. Udgivet

    A minimalist’s reversible while language

    Glück, Robert & Yokoyama, T., maj 2017, I : IEICE Transactions on Information and Systems. E100-D, 5, s. 1026-1034 9 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

Forrige 1 2 3 4 5 6 7 8 ...13 Næste

ID: 9668