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 authors papers by Valeria Andriola are co-authored with Top journals papers by V.S. Shukla are published in Top fields papers by James Breen are about Top journals papers by K. Tomeoka are published in Top authors papers by Ernst A. Pohle are co-authored with Top authors papers by Gajendra Manakshe are co-authored with Top authors papers by Jeffrey A. Cochrane are co-authored with Top authors papers by Paul Hermany are co-authored with