Bernhard Möller
About
Bernhard Möller has authored 47 papers that have received a total of 452 indexed citations.
This includes 34 papers in Artificial Intelligence, 18 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 (26 papers), Formal Methods in Verification (15 papers) and Logic, Reasoning, and Knowledge (12 papers). Bernhard Möller is often cited by papers focused on Logic, programming, and type systems (26 papers), Formal Methods in Verification (15 papers) and Logic, Reasoning, and Knowledge (12 papers) and collaborates with scholars based in Germany, United States and Canada. Bernhard Möller's co-authors include Peter Höfner, Jules Desharnais, Georg Struth, Peter Pepper and Sven Apel and has published in prestigious journals such as Information Sciences, IEEE Transactions on Software Engineering and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Sakiko Kawanishi are co-authored with Top authors papers by Junhyun Kwon are co-authored with Top fields papers by Manal Al Halabi are about Top authors papers by Seongwon Kim are co-authored with Top fields papers by Jaikumar Sagari are about Top fields papers by Jianli Li are about Top fields papers by Jesús González-Trejo are about Top authors papers by Nguyễn Long Giang are co-authored with