David Basin
1991–2024 年に発表
- 所属
- University of Freiburgこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0003-2952-939X
- 19
- 論文数
- 326
- 被引用数
- 10
- h 指数
- 10
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science92.4%
- Social Sciences5.1%
- Engineering2.2%
- Biochemistry, Genetics and Molecular Biology0.4%
トピック
- Logic, programming, and type systems16.1%
- Formal Methods in Verification12.5%
- Logic, Reasoning, and Knowledge11.4%
- Advanced Authentication Protocols Security11.4%
- User Authentication and Security Systems11.1%
- Cryptography and Data Security8.5%
- その他28.9%
よく組む共著者
- Luca Viganò3
- Adrian Francalanza2
- Alberto Griggio2
- Alberto Sangiovanni-Vincentelli2
- Alessandro Cimatti2
- Alexander Ivrii2
- Alexandre David2
- Alexandre Donz2
- Amir Pnueli2
- Andr Platzer2
- Andrea Micheli2
- Antoine Girard2
- Arie Gurfinkel2
- Armando Tacchella2
- Bengt Jonsson2
- Bernhard Beckert2
- Bertrand Meyer2
- Carlo Ghezzi2
- Christel Baier2
- Christian Menard2
- Christian Schallhart2
- Costas Courcoubetis2
- David Dill2
- Dejan Nickovic2
全論文
論文を読み込んでいます…
