Bernhard Möller
Active 1981–2024
- Affiliations
- Augsburg UniversityUniversity of AugsburgTechnical University of MunichThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- 127
- Papers
- 2,287
- Citations
- 27
- h-index
- 57
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
- University of Augsburg17%
- University of Sheffield10.9%
- McMaster University9.4%
- University College London8.6%
- University of Passau8.1%
- Augsburg University7.2%
- Other38.8%
Fields
- Computer Science96.4%
- Engineering0.8%
- Decision Sciences0.5%
- Business, Management and Accounting0.4%
- Mathematics0.3%
- Medicine0.3%
- Other1.3%
Topics
- Logic, programming, and type systems23.9%
- Formal Methods in Verification19%
- Logic, Reasoning, and Knowledge12.3%
- Advanced Software Engineering Methodologies8.6%
- Software Engineering Research6.4%
- Advanced Algebra and Logic4.3%
- Other25.5%
Frequent coauthors
- Peter Höfner21
- Georg Struth17
- Jules Desharnais12
- Han-Hing Dang8
- Tony Hoare7
- Helmuth Partsch6
- Rudolf Berghammer6
- Walter Dosch6
- Martin Wirsing5
- Roland Glück5
- Andreas Zelend4
- Patrick Roocks4
- Peter Pepper4
- Ridha Khédri4
- C. A. R. Hoare3
- Christian Kästner3
- Christian Lengauer3
- Friedrich L. Bauer3
- Ian Wehrman3
- Manfred Broy3
- Peter W. O'Hearn3
- Sven Apel3
- Walter Guttmann3
- Ali Jaoua2
All papers
Loading papers…
