Hansen Gries
About
Hansen Gries has authored 38 papers that have received a total of 463 indexed citations.
This includes 9 papers in Computational Theory and Mathematics, 5 papers in Artificial Intelligence and 3 papers in Computer Networks and Communications. The topics of these papers are Computability, Logic, AI Algorithms (5 papers), Logic, Reasoning, and Knowledge (3 papers) and Logic, programming, and type systems (2 papers). Hansen Gries is often cited by papers focused on Computability, Logic, AI Algorithms (5 papers), Logic, Reasoning, and Knowledge (3 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in Germany, United States and The Netherlands. Hansen Gries's co-authors include D Luckham, C Moler, D Barstow, W Brauer and P Brinch and has published in prestigious journals such as Nuclear Engineering and Design and Lecture notes in computer science.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by I. Sandu Breakdown of academic impact, for papers by Javier Fresneda Breakdown of academic impact, for papers by María Balle Breakdown of academic impact, for papers by Irina Rachinsky Breakdown of academic impact, for papers by Hezhen Yang Breakdown of academic impact, for papers by Taishi Tsubouchi Breakdown of academic impact, for papers by Ümit Özgür Akdemir Breakdown of academic impact, for papers by Sabri Demircan