Robert Glück

Robert Glück

Professor

Member of:

    ORCID: 0000-0001-6990-3935

    Publication year:
    All
    71 - 80 out of 137Page size: 10
    Sort by: Title
    1. Published

      Maximally-polyvariant partial evaluation in polynomial time

      Glück, Robert, 2016, Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers. Mazzara, M. & Voronkov, A. (eds.). Springer, p. 130-148 19 p. (Lecture notes in computer science, Vol. 9609).

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

    2. Published

      Metacomputation as a tool for formal linguistic modeling

      Glück, Robert & Klimov, A. V., 1994, In: Cybernetics and Systems '94. Vol 2, p. 1563-1570

      Research output: Contribution to journal › Conference article › Research

    3. Published

      Metasystem transition schemes in computer science and mathematics

      Glück, Robert & Klimov, A. V., 1995, In: World Futures: The Journal of New Paradigm Research. 45, 1-4, p. 213-243

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

    4. Published

      MicroPower - Towards Low-power Microprocessors with Reversible Computing

      Axelsen, H. B., Glück, Robert, De Vos, A. & Thomsen, Michael Kirkedal, 2009, In: ERCIM News. 79, p. 20-21 2 p.

      Research output: Contribution to journal › Journal article › Communication

    5. Published

      Minimizing garbage size by generating reversible simulations

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2012, Proceedings of the 2012 Third International Conference on Networking and Computing (ICNC). IEEE, p. 379-387 9 p.

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

    6. Published

      Multi-level specialization

      Glück, Robert & Jørgensen, J., 1999, Partial Evaluation. Practice and Theory. Hatcliff, J., Mogensen, T. Æ. & Thiemann, P. (eds.). Springer Verlag, p. 326-337 (Lecture notes in computer science, Vol. 1706).

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

    7. Published

      Nonlinear configurations for superlinear speedup by supercompilation

      Glück, Robert, Klimov, A. V. & Nepeivoda, A. N., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (eds.). University of Pereslavl, p. 32-51 20 p.

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

    8. Occam's razor in metacomputation: the notion of a perfect process tree

      Glück, Robert & Klimov, A. V., 1993, Static Analysis. Proceedings. Cousot, P., Falaschi, M., Filé, G. & Rauzy, A. (eds.). Springer Verlag, p. 112-123 (Lecture notes in computer science, Vol. 724).

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

    9. Published

      Offline partial evaluation can be as accurate as online partial evaluation

      Christensen, N. H. & Glück, Robert, 2004, In: ACM Transactions on Programming Languages and Systems. 26, 1, p. 191-220

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

    10. Published

      On Jones-optimal specializers: a case study using Unmix

      Gade, J. & Glück, Robert, 2006, Programming Languages and Systems. Proceedings. Kobayashi, N. (ed.). Springer, p. 406-422 (Lecture notes in computer science, Vol. 4279).

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

    Previous 1...4 5 6 7 8 9 10 11 ...14 Next

    ID: 9668