GK

Gereon Kremer

Well Cited

44

Works

785

Citations

11

H-Index

Search Authors

Author Statistics

OpenAlex ID A5000647607
i10-Index 11
2-Yr Mean Citedness 0.00
ORCID 0000-0002-0393-5739

External Links

OpenAlex Profile ORCID Profile

Gereon Kremer

Also known as: Gereon Kremer, Kremer, Gereon, Kremer, Gereon Lukas

44

Total Works

785

Citations

11

H-Index

11

i10-Index

Citation & Works Trend by Year

14 years active

Top Research Topics

Formal Methods in Verification (36) Logic, programming, and type systems (35) Polynomial and algebraic computation (24) Software Testing and Debugging Techniques (7) Constraint Satisfaction and Optimization (5)

Data source: OpenAlex API