Rolf Hennicker
About
Rolf Hennicker has authored 38 papers that have received a total of 345 indexed citations.
This includes 26 papers in Artificial Intelligence, 23 papers in Computational Theory and Mathematics and 9 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (22 papers), Formal Methods in Verification (19 papers) and Advanced Software Engineering Methodologies (11 papers). Rolf Hennicker is often cited by papers focused on Logic, programming, and type systems (22 papers), Formal Methods in Verification (19 papers) and Advanced Software Engineering Methodologies (11 papers) and collaborates with scholars based in Germany, France and Portugal. Rolf Hennicker's co-authors include Michel Bidoit, Martin Wirsing, Alexander Knapp, Sebastian Bauer and Wolfram Mauser and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Physics and Chemistry of the Earth Parts A/B/C
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Artur V. Dmitrenko are co-authored with Top journals papers by Anne Søndergaard are published in Top fields papers by Lige Zhang are about Top countries impacted by papers by H. C. Verma Top authors papers by Cristina López de Subijana are co-authored with Top authors papers by Yongkang Li are co-authored with Top journals papers by Priya Singh are published in Top countries impacted by papers by C. Elizabeth Shaaban