Uwe Meyer

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 11

Top Topics

Cellular Automata

Top Venues

University of Giessen, Gießen, Germany (PHD)

Education History

University of Giessen, Gießen, Germany

PHD

Publications

Martin Kutrib, Uwe Meyer
Syntax checking either way. Theor. Comput. Sci. (2023)
Martin Kutrib, Uwe Meyer
Reversible Top-Down Syntax Analysis. Int. J. Found. Comput. Sci. 34 (2&3) (2023)
Martin Kutrib, Uwe Meyer
Tree-Walking-Storage Automata. DLT (2023)
Martin Kutrib, Uwe Meyer
Deterministic Real-Time Tree-Walking-Storage Automata. NCMA (2023)
Niklas Deworetzki, Martin Kutrib, Uwe Meyer, Pia-Doreen Ritzke
Optimizing Reversible Programs. RC (2022)
Niklas Deworetzki, Uwe Meyer
Designing a Reversible Stack Machine. RC (2022)
Martin Kutrib, Uwe Meyer
Syntax Checking Either Way. CIAA (2022)
Niklas Deworetzki, Uwe Meyer
Program analysis for reversible languages. SOAP@PLDI (2021)
Martin Kutrib, Uwe Meyer
Reversible Top-Down Syntax Analysis. DLT (2021)
Martin Kutrib, Uwe Meyer, Niklas Deworetzki, Marc Schuster
Compiling Janus to RSSA. RC (2021)
Uwe Meyer, Björn Pfarr
Patterns for Name Analysis and Type Analysis with JastAdd. CoRR (2020)
Uwe Meyer
Correctness of On-Line Partial Evaluation for a Pascal-Like Language. Sci. Comput. Program. 34 (1) (1999)
Uwe Meyer
Techniques for Partial Evaluation of Imperative Languages. PEPM (1991)
Uwe Meyer, Guido Wirtz
A formal framework handling the description and implementation of multigrid algorithms. ICS (1989)