André Platzer
2006–2026 年に発表
- 所属
- Carl von Ossietzky Universität OldenburgCarnegie Mellon UniversityKarlsruhe Institute of TechnologyTechnical University of Munichこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0001-7238-5710
- 184
- 論文数
- 5,873
- 被引用数
- 39
- h 指数
- 99
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 1 年分(被引用 1 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science76.6%
- Engineering14.4%
- Biochemistry, Genetics and Molecular Biology3.5%
- Decision Sciences1.8%
- Medicine0.6%
- Physics and Astronomy0.5%
- その他2.4%
トピック
- Formal Methods in Verification34.5%
- Logic, programming, and type systems9.2%
- Software Testing and Debugging Techniques7.4%
- Software Reliability and Analysis Research6.4%
- Model-Driven Software Engineering Techniques6.4%
- Embedded Systems Design Techniques4.5%
- その他31.5%
よく組む共著者
- Stefan Mitsch46
- Yong Kiam Tan18
- Khalil Ghorbal12
- Rose Bohrer12
- Sarah M. Loos11
- Andrew Sogokon9
- Jan-David Quesel9
- Edmund M. Clarke8
- Jonathan Laurent7
- Katherine Cordwell7
- Nathan Fulton7
- Andreas Müller 00156
- Wieland Schwinger6
- Aditi Kabra5
- Bruce H. Krogh5
- Jean-Baptiste Jeannin5
- Long Qian5
- Nikos Aréchiga5
- Noah Abou El Wafa5
- Werner Retschitzegger5
- Erik Zawadzki4
- Paolo Zuliani4
- Samuel Teuber4
- Yanni Kouskoulas4
全論文
論文を読み込んでいます…
