We stand with Ukraine  

Uwe Meyer

Orcid: 0000-0003-0216-8803

Affiliations:
  • Technische Hochschule Mittelhessen, Gießen, Germany
  • University of Gießen, Germany (PhD 1992)


According to our database1, Uwe Meyer authored at least 15 papers between 1989 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Deterministic real-time tree-walking-storage automata.
[BibTeX]
[DOI]
Martin Kutrib
,
Uwe Meyer
Acta Informatica, June, 2025

2024
Connecting Reversible and Classical Computing Through Hybrid SSA.
[BibTeX]
[DOI]
Lukas Gail
,
Uwe Meyer
Proceedings of the Reversible Computation - 16th International Conference, 2024

Context-Free Binding Grammars.
[BibTeX]
[DOI]
Björn Lötters
,
Uwe Meyer
Proceedings of the 36th Symposium on Implementation and Application of Functional Languages, 2024

2023
Tree-Walking-Storage Automata.
[BibTeX]
[DOI]
Martin Kutrib
,
Uwe Meyer
Proceedings of the Developments in Language Theory - 27th International Conference, 2023

2022
Syntax Checking Either Way.
[BibTeX]
[DOI]
Martin Kutrib
,
Uwe Meyer
Proceedings of the Implementation and Application of Automata, 2022

Designing a Reversible Stack Machine.
[BibTeX]
[DOI]
Niklas Deworetzki
,
Uwe Meyer
Proceedings of the Reversible Computation - 14th International Conference, 2022

Optimizing Reversible Programs.
[BibTeX]
[DOI]
Niklas Deworetzki
,
Martin Kutrib
,
Uwe Meyer
,
Pia-Doreen Ritzke
Proceedings of the Reversible Computation - 14th International Conference, 2022

2021
Compiling Janus to RSSA.
[BibTeX]
[DOI]
Martin Kutrib
,
Uwe Meyer
,
Niklas Deworetzki
,
Marc Schuster
Proceedings of the Reversible Computation - 13th International Conference, 2021

Program analysis for reversible languages.
[BibTeX]
[DOI]
Niklas Deworetzki
,
Uwe Meyer
Proceedings of the SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2021

Reversible Top-Down Syntax Analysis.
[BibTeX]
[DOI]
Martin Kutrib
,
Uwe Meyer
Proceedings of the Developments in Language Theory - 25th International Conference, 2021

2020
Patterns for Name Analysis and Type Analysis with JastAdd.
[BibTeX]
[DOI]
Uwe Meyer
,
Björn Pfarr
CoRR, 2020

1999
Correctness of On-Line Partial Evaluation for a Pascal-Like Language.
[BibTeX]
[DOI]
Uwe Meyer
Sci. Comput. Program., 1999

1992
Partielle Auswertung imperativer Sprachen.
[BibTeX]
[DOI]
Uwe Meyer
PhD thesis, 1992

1991
Techniques for Partial Evaluation of Imperative Languages.
[BibTeX]
[DOI]
Uwe Meyer
Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1989
A formal framework handling the description and implementation of multigrid algorithms.
[BibTeX]
[DOI]
Uwe Meyer
,
Guido Wirtz
Proceedings of the 3rd international conference on Supercomputing, 1989


  Loading...