Uwe Meyer

20 papers A 1C 9Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Deterministic tree-walking-storage automata.
Acta Informatica
Martin Kutrib, Uwe Meyer
2025 J jnl
Deterministic real-time tree-walking-storage automata.
Acta Informatica
Martin Kutrib, Uwe Meyer
2024 C conf
Connecting Reversible and Classical Computing Through Hybrid SSA.
RC
Lukas Gail, Uwe Meyer
2024 — conf
Context-Free Binding Grammars.
IFL
Björn Lötters, Uwe Meyer
2023 — conf
Deterministic Real-Time Tree-Walking-Storage Automata.
NCMA
Martin Kutrib, Uwe Meyer
2023 C ed.
Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
RC
Martin Kutrib, Uwe Meyer
2023 J jnl
Reversible Top-Down Syntax Analysis.
Int. J. Found. Comput. Sci.
Martin Kutrib, Uwe Meyer
2023 J jnl
Syntax checking either way.
Theor. Comput. Sci.
Martin Kutrib, Uwe Meyer
2023 C conf
Tree-Walking-Storage Automata.
DLT
Martin Kutrib, Uwe Meyer
2022 C conf
Designing a Reversible Stack Machine.
RC
Niklas Deworetzki, Uwe Meyer
2022 C conf
Optimizing Reversible Programs.
RC
Niklas Deworetzki, Martin Kutrib, Uwe Meyer, Pia-Doreen Ritzke
2022 C conf
Syntax Checking Either Way.
CIAA
Martin Kutrib, Uwe Meyer
2021 C conf
Compiling Janus to RSSA.
RC
Martin Kutrib, Uwe Meyer, Niklas Deworetzki, Marc Schuster
2021 — conf
Program analysis for reversible languages.
SOAP@PLDI
Niklas Deworetzki, Uwe Meyer
2021 C conf
Reversible Top-Down Syntax Analysis.
DLT
Martin Kutrib, Uwe Meyer
2020 J jnl
Patterns for Name Analysis and Type Analysis with JastAdd.
CoRR
Uwe Meyer, Björn Pfarr
1999 J jnl
Correctness of On-Line Partial Evaluation for a Pascal-Like Language.
Sci. Comput. Program.
Uwe Meyer
1992 — —
Partielle Auswertung imperativer Sprachen.
Uwe Meyer
1991 C conf
Techniques for Partial Evaluation of Imperative Languages.
PEPM
Uwe Meyer
1989 A conf
A formal framework handling the description and implementation of multigrid algorithms.
ICS
Uwe Meyer, Guido Wirtz