Robert Glück

Robert Glück

Professor

Member of:

    ORCID: 0000-0001-6990-3935

    Publication year:
    All
    101 - 137 out of 137Page size: 100
    Sort by: Title
    1. Published

      Reduction of language hierarchies by metacomputation

      Glück, Robert & Klimov, A. V., 1999, The Evolution of Complexity. Kluwer Academic Publishers, p. 129-140

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    2. Relating accumulative and non-accumulative functional programs

      Kühnemann, A., Glück, Robert & Kakehi, K., 2001, Rewriting Techniques and Applications. Proceedings. Springer Verlag, p. 154-168 (Lecture notes in computer science, Vol. 2051).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    3. Published

      Reversible Computation. Proceedings: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers

      Glück, Robert (ed.) & Yokoyama, T. (ed.), 2013, Springer. 241 p. (Lecture notes in computer science, Vol. 7581).

      Research output: Book/Report › Anthology › Research › peer-review

    4. Published

      Reversible arithmetic logic unit for quantum arithmetic

      Thomsen, Michael Kirkedal, Glück, Robert & Axelsen, H. B., 2010, In: Journal of Physics A: Mathematical and Theoretical. 43, 38, 10 p., 382002.

      Research output: Contribution to journal › Journal article › Research › peer-review

    5. Published

      Reversible computing from a programming language perspective

      Glück, Robert & Yokoyama, T., 2023, In: Theoretical Computer Science. 953, 26 p., 113429.

      Research output: Contribution to journal › Journal article › Research › peer-review

    6. Published

      Reversible computing from a programming language perspective (extended abstract)

      Glück, Robert, 2020, Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers. Springer VS, Vol. 2. p. 410-412 3 p. (Lecture Notes in Computer Science, Vol. 12233).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

    7. Published

      Reversible computing: foundations and software: Preface of Special Issue

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

      Research output: Contribution to journal › Editorial › Research

    8. Published

      Reversible flowchart languages and the structured reversible program theorem

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2008, Automata, Languages and Programming: 35th International colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings. Part II. Aceto, L., Damgaard, I., Goldberg, L. A., Halldorsson, M. M., Ingolfsdottir, A. & Walukiewicz, I. (eds.). Springer, p. 258-270 (Lecture notes in computer science; No. 5126).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    9. Published

      Reversible languages and incremental state saving in optimistic parallel discrete event simulation

      Schordan, M., Oppelstrup, T., Thomsen, Michael Kirkedal & Glück, Robert, 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (eds.). Springer VS, p. 187-207 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    10. Published

      Reversible machine code and its abstract processor architecture

      Axelsen, H. B., Glück, Robert & Yokoyama, T., 2007, Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings. Diekert, V., Volkov, M. & Voronkov, A. (eds.). Springer, p. 56-69 (Lecture notes in computer science; No. 4649).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    11. Published

      Reversible programming: a case study of two string-matching algorithms

      Glück, Robert & Yokoyama, T., 2022, Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation. Hamilton, G. W., Kahsai, T. & Proietti, M. (eds.). arXiv.org, p. 1-13 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 373).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    12. Published

      Reversible programs have reversible semantics

      Glück, Robert, Kaarsgaard, R. & 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. (eds.). Springer VS, p. 413-427 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12233 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    13. Published

      Reversible representation and manipulation of constructor terms in the heap

      Axelsen, H. B. & Glück, Robert, 2013, Reversible Computation. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 96-109 14 p. (Lecture notes in computer science, Vol. 7948).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    14. Published

      Reversible structured program theorem

      Yokoyama, T. & Glück, Robert, 2006, Nordic Workshop on Programming Theory. Reykjavik University, Iceland, 3 p.

      Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Research

    15. Published

      Revisiting an automatic program inverter for Lisp

      Glück, Robert & Kawabe, M., 2005, In: SIGPLAN Notices. 40, 5, p. 8-17

      Research output: Contribution to journal › Journal article › Research

    16. Published

      Self-generating program specializers

      Glück, Robert, 2010, In: Information Processing Letters. 110, 17, p. 787-793 7 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    17. Published

      Semantics modifiers: an approach to non-standard semantics of programming languages

      Abramov, S. M. & Glück, Robert, 1998, Functional and Logic Programming. World Scientific, p. 247-270

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    18. Published

      Semi-inversion of conditional constructor term rewriting systems

      Kirkeby, M. H. & Glück, Robert, 2020, Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers. Gabbrielli, M. (ed.). Springer, p. 243-259 (Lecture Notes in Computer Science, Vol. 12042).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    19. Published

      Simulation of two-way pushdown automata revisited

      Glück, Robert, 2013, Semantics, abstract interpretation, and reasoning about programs. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). Vol. 129. p. 250-258 9 p. (Electronic Proceedings in Theoretical Computer Science).

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    20. Published

      Software and reversible systems: A survey of recent activities

      Mezzina, C. A., Schlatte, R., Glück, Robert, Haulund, T., Hoey, J., Holm Cservenka, M., Lanese, I., Mogensen, Torben Ægidius, Siljak, H., Schultz, U. P. & Ulidowski, I., 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (eds.). Springer VS, p. 41-59 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    21. Published

      Special issue on generative programming and component engineering

      Glück, Robert & Visser, E., 2011, In: Science of Computer Programming. 76, 5, p. 347-348 2 p.

      Research output: Contribution to journal › Editorial › Research

    22. Published

      Special issue on partial evaluation and program transformation

      Glück, Robert & Futamura, Y., 2002, In: New Generation Computing. 20, 1, p. 1–2

      Research output: Contribution to journal › Editorial › Research

    23. Published

      Specialization of numerical programs with the FSpec system

      Baier, R., Glück, Robert & Zöchling, R., 1996, Software Engineering im Scientific Computing. Mackens, W. & Rump, S. M. (eds.). Vieweg Verlag, p. 86-93

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

    24. Published

      Symposium on Partial Evaluation and Semantics-Based Program Manipulation. Proceedings

      Glück, Robert (ed.) & Moor, O. D. (ed.), 2008, New York: Association for Computing Machinery. 204 p.

      Research output: Book/Report › Anthology › Research › peer-review

    25. Published

      The generation of a higher-order online partial evaluator

      Thiemann, P. & Glück, Robert, 1995, Functional and Logic Programming. World Scientific, p. 239-253

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    26. Published

      The program inverter LRinv and its structure

      Kawabe, M. & Glück, Robert, 2005, Practical Aspects of Declarative Languages. Proceedings. Hermenegildo, M. & Cabeza, D. (eds.). Springer Verlag, p. 219-234 (Lecture notes in computer science, Vol. 3350).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    27. Published

      The translation power of the Futamura projections

      Glück, Robert, 2003, Perspectives of System Informatics. Broy, M. & Zamulin, A. V. (eds.). Springer Verlag, p. 133-147 (Lecture notes in computer science, Vol. 2890).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    28. Published

      The universal resolving algorithm and its correctness: inverse computation in a functional language

      Abramov, S. M. & Glück, Robert, 2002, In: Science of Computer Programming. 43, 2-3, p. 193-229

      Research output: Contribution to journal › Journal article › Research › peer-review

    29. Published

      The universal resolving algorithm: inverse computation in a functional language

      Abramov, S. M. & Glück, Robert, 2000, Mathematics of Program Construction. Backhouse, R. & Oliveira, J. N. (eds.). Vol. 1837. p. 187-212 (Lecture notes in computer science, Vol. 1837).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    30. Published

      Towards a reversible functional language

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (eds.). Springer, p. 14-29 16 p. (Lecture notes in computer science, Vol. 7165).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    31. Published

      Towards a unified language architecture for reversible object-oriented programming

      Hay-Schmidt, L., Glück, Robert, Cservenka, M. H. & Haulund, T., 2021, Reversible Computation.: 13th International Conference, RC 2021 Virtual Event, July 7–8, 2021 Proceedings. Yamashita, S. & Yokoyama, T. (eds.). Springer, p. 96-106 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12805 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    32. Published

      Towards a Dereversibilizer: Fewer Asserts, Statically

      Reholt, Jonas Wolpers, Glück, Robert & Kruse, M., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer, p. 106-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13960 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    33. Published

      Towards a Taxonomy for Reversible Computation Approaches

      Glück, Robert, Lanese, I., Mezzina, C. A., Miszczak, J. A., Phillips, I., Ulidowski, I. & Vidal, G., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer, p. 24-39 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13960 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    34. Published

      Towards unifying partial evaluation, deforestation, supercompilation, and GPC

      Sørensen, M. H., Glück, Robert & Jones, N. D., 1994, Programming Languages and Systems - ESOP '94. Sannella, D. (ed.). Springer Verlag, p. 485-500 (Lecture notes in computer science, Vol. 788).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    35. Published

      Transforming interpreters into inverse interpreters by partial evaluation

      Glück, Robert, Kawada, Y. & Hashimoto, T., 2003, Partial evaluation and semantics-based program manipulation. ACM Press, p. 10-19

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    36. Published

      WSDFU: program transformation system based on generalized partial computation

      Futamura, Y., Konishi, Z. & Glück, Robert, 2002, The Essence of Computation: Complexity, Analysis, Transformation. Mogensen, T. Æ., Schmidt, D. A. & Sudborough, I. H. (eds.). Springer Verlag, p. 358-378 (Lecture notes in computer science, Vol. 2566).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    37. Published

      What do reversible programs compute?

      Axelsen, H. B. & Glück, Robert, 2011, Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Hofmann, M. (ed.). Springer, p. 42-56 15 p. (Lecture notes in computer science, Vol. 6604).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Previous 1 2 Next

    ID: 9668