Gerd Behrmann
Active 1998–2024
- Affiliations
- Aalborg UniversityThis 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.
- 40
- Papers
- 4,523
- Citations
- 24
- h-index
- 32
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 1 year (1 citations) is not shown (dated before this author's first paper)
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
Fields
- Computer Science90.6%
- Engineering4.7%
- Business, Management and Accounting1.3%
- Decision Sciences1%
- Social Sciences0.7%
- Biochemistry, Genetics and Molecular Biology0.6%
- Other1.1%
Topics
- Formal Methods in Verification31.6%
- Software Testing and Debugging Techniques9.7%
- Real-Time Systems Scheduling8.8%
- Petri Nets in System Modeling8.2%
- Model-Driven Software Engineering Techniques8.1%
- Software Reliability and Analysis Research5.8%
- Other27.8%
Frequent coauthors
- Kim Guldstrand Larsen19
- Alexandre David13
- Paul Pettersson13
- Kim G. Larsen9
- Wang Yi7
- Jacob Illum Rasmussen5
- Thomas Hune5
- Ansgar Fehnker4
- David Dill4
- Edmund Clarke4
- Johan Bengtsson4
- Joseph Sifakis4
- Kim Larsen4
- Martijn Hendriks4
- Rajeev Alur4
- Thomas Henzinger4
- Wang Yi 00014
- A Cimatti3
- A. David3
- Alessandro Cimatti3
- Amir Pnueli3
- Andreas Podelski3
- Christel Baier3
- Didier Lime3
All papers
Loading papers…
