Gereon Kremer
About
Gereon Kremer has authored 4 papers that have received a total of 11 indexed citations.
This includes 4 papers in Computational Theory and Mathematics, 2 papers in Artificial Intelligence and 1 paper in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (4 papers), Polynomial and algebraic computation (3 papers) and Logic, programming, and type systems (2 papers). Gereon Kremer is often cited by papers focused on Formal Methods in Verification (4 papers), Polynomial and algebraic computation (3 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in Germany, United Kingdom and United States. Gereon Kremer's co-authors include Erika Ábrahám, James H. Davenport, Matthew England, Aina Niemetz and Cesare Tinelli and has published in prestigious journals such as Communications of the ACM, Journal of Symbolic Computation and Journal of Logical and Algebraic Methods in Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by W.T. Lin are published in Top fields papers by L. T. Coggeshall are about Top fields papers by I. González-Monje are about Top fields papers by Paul Gerhard Natorp are about Top fields papers by D. Kamińska are about Top fields papers by Muh. Khalifah Mustami are about Top fields papers by K. Y. Huang are about Top authors papers by Panagiotis Mitzias are co-authored with