Andre Knispel
2019–2024 年に発表
- 5
- 論文数
- 10
- 被引用数
- 2
- h 指数
- 0
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science100%
トピック
- Formal Methods in Verification10%
- Advanced Database Systems and Queries10%
- Network Security and Intrusion Detection10%
- Information and Cyber Security10%
- Petri Nets in System Modeling10%
- Logic, programming, and type systems5%
- その他45%
よく組む共著者
- Alasdair Hill3
- Orestis Melkonian3
- Ulf Norell3
- Fabrizio Genovese2
- James Chapman 00012
- Joosep Jääger2
- William J. DeMeo2
- Aaron Courville1
- Adam Chlipala1
- Adam Paszke1
- Adrien Bennetot1
- Aggelos Karayannidis1
- Aggelos Kiayias1
- Alan Schmitt1
- Alberto Barbado1
- Alejandro Barredo Arrieta1
- Alex Gryzlov1
- Alexander Russell1
- Ali Ghodsi1
- Alonzo Church1
- Andreas Abel1
- Andrei Paskevich1
- Andrew Cherry1
- Andrew Kennedy1
全論文
論文を読み込んでいます…