| Techniques for partial evaluation of imperative languages U Meyer Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and …, 1991 | 93 | 1991 |
| Correctness of on-line partial evaluation for a Pascal-like language U Meyer Science of computer programming 34 (1), 55-73, 1999 | 10 | 1999 |
| EA Model as central part of the transformation into a more flexible and powerful organisation S Gerber, U Meyer, C Richert Gesellschaft für Informatik e. V., 2007 | 9 | 2007 |
| Program analysis for reversible languages N Deworetzki, U Meyer Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of …, 2021 | 8 | 2021 |
| Compiling Janus to RSSA M Kutrib, U Meyer, N Deworetzki, M Schuster International Conference on Reversible Computation, 64-78, 2021 | 7 | 2021 |
| Optimizing reversible programs N Deworetzki, M Kutrib, U Meyer, PD Ritzke International Conference on Reversible Computation, 224-238, 2022 | 5 | 2022 |
| Designing a reversible stack machine N Deworetzki, U Meyer International Conference on Reversible Computation, 65-72, 2022 | 3 | 2022 |
| Partielle Auswertung imperativer Sprachen: Contract DFGKr91512 U Meyer Arbeitsgruppe Informatik, Justus-Liebig-Univ., 1992 | 2 | 1992 |
| Tree-Walking-Storage Automata M Kutrib, U Meyer International Conference on Developments in Language Theory, 182-194, 2023 | 1 | 2023 |
| Syntax checking either way M Kutrib, U Meyer International Conference on Implementation and Application of Automata, 128-139, 2022 | 1 | 2022 |
| Reversible top-down syntax analysis M Kutrib, U Meyer International Conference on Developments in Language Theory, 255-266, 2021 | 1 | 2021 |
| Report on a partial evaluator for a large subset of pascal U Meyer Univ., Arbeitsgruppe Informatik, 1992 | 1 | 1992 |
| Correctness of Online Partial Evaluation for a Pascal-like Language: Contract DFGKr91512 U Meyer Arbeitsgruppe Informatik, Justus-Liebig-Univ., 1992 | 1 | 1992 |
| A formal framework handling the description and implementation of multigrid algorithms U Meyer, G Wirtz Proceedings of the 3rd international conference on Supercomputing, 7-16, 1989 | 1 | 1989 |
| Connecting Reversible and Classical Computing Through Hybrid SSA L Gail, U Meyer International Conference on Reversible Computation, 161-178, 2024 | | 2024 |
| Deterministic Real-Time Tree-Walking-Storage Automata M Kutrib, U Meyer arXiv preprint arXiv:2309.08716, 2023 | | 2023 |
| Syntax checking either way M Kutrib, U Meyer Theoretical Computer Science 966, 114000, 2023 | | 2023 |
| Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings M Kutrib, U Meyer Springer Nature, 2023 | | 2023 |
| Grundkurs Compilerbau U Meyer Rheinwerk Verlag, 2021 | | 2021 |
| Patterns for Name Analysis and Type Analysis with JastAdd U Meyer, B Pfarr arXiv preprint arXiv:2002.01842, 2020 | | 2020 |
