Robert Glück
Professor
- 2011
- Udgivet
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Glück, Robert (red.), Henglein, Fritz (red.), Hu, Z. (red.) & Takeichi, M. (red.), 2011, Department of Computer Science, University of Copenhagen. 280 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 2011/01).Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
- Udgivet
Special issue on generative programming and component engineering
Glück, Robert & Visser, E., 2011, I: Science of Computer Programming. 76, 5, s. 347-348 2 s.Publikation: Bidrag til tidsskrift › Leder › Forskning
- Udgivet
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. (red.). Springer, s. 42-56 15 s. (Lecture notes in computer science, Bind 6604).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2010
- Udgivet
An experiment with the fourth Futamura projection
Glück, Robert, 2010, Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Pnueli, A., Virbitskaite, I. & Voronkov, A. (red.). Springer, s. 135-150 16 s. (Lecture notes in computer science, Bind 5947).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Reversible arithmetic logic unit for quantum arithmetic
Thomsen, Michael Kirkedal, Glück, Robert & Axelsen, H. B., 2010, I: Journal of Physics A: Mathematical and Theoretical. 43, 38, 10 s., 382002.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Self-generating program specializers
Glück, Robert, 2010, I: Information Processing Letters. 110, 17, s. 787-793 7 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2009
- Udgivet
Implementation of an experimental system for automatic program transformation based on generalized partial computation
Futamura, Y., Konishi, Z. & Glück, Robert, 2009. 10 s.Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
- Udgivet
International Workshop on Program Understanding. Proceedings
Bulyonkov, M. A. (red.) & Glück, Robert (red.), 2009, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 63 s.Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
- Udgivet
Is there a fourth Futamura projection?
Glück, Robert, 2009, PEPM´09: Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, s. 51-60 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
MicroPower - Towards Low-power Microprocessors with Reversible Computing
Axelsen, H. B., Glück, Robert, De Vos, A. & Thomsen, Michael Kirkedal, 2009, I: ERCIM News. 79, s. 20-21 2 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling
ID: 9668
Flest downloads
-
269
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
207
downloads
A categorical foundation for structured reversible flowchart languages
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
124
downloads
Simulation of two-way pushdown automata revisited
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Udgivet