Werner Damm
1977–2024 年に発表
- 所属
- RWTH Aachen UniversityOldenburger Institut für InformatikCarl von Ossietzky Universität Oldenburgこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0002-7277-1803
- 117
- 論文数
- 3,653
- 被引用数
- 29
- h 指数
- 62
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 1 年分(被引用 1 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science84%
- Engineering9.9%
- Biochemistry, Genetics and Molecular Biology1.5%
- Business, Management and Accounting1.4%
- Decision Sciences1.4%
- Physics and Astronomy0.3%
- その他1.4%
トピック
- Formal Methods in Verification25.8%
- Advanced Software Engineering Methodologies12.6%
- Model-Driven Software Engineering Techniques11.5%
- Logic, programming, and type systems9.1%
- Embedded Systems Design Techniques6.4%
- Software Testing and Debugging Techniques6.2%
- その他28.5%
よく組む共著者
- Bernhard Josko15
- Martin Fränzle12
- Astrid Rakow11
- Hardi Hungar11
- Willem Hagemann9
- Bernd Westphal7
- Amir Pnueli6
- Alberto L. Sangiovanni-Vincentelli5
- Alexander Metzner5
- Boris Wirtz5
- Hartmut Wittke5
- Ingo Stierand5
- Rainer Schlör5
- Albert Benveniste4
- Alexander Pretschner4
- Anirudh Unni4
- Bernd Finkbeiner4
- Christoph Scholl 00014
- Ernst-Rüdiger Olderog4
- Gert Döhmen4
- Jochem W. Rieger4
- Jochen Klose4
- Stefan Disch4
- Thomas Peikenkamp4
全論文
論文を読み込んでいます…
