Anders Franzén
2000–2012 年に発表
- 所属
- University of Trentoこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- 別表記
- Anders Franzen
- 14
- 論文数
- 547
- 被引用数
- 10
- h 指数
- 11
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science95.8%
- Engineering2.7%
- Decision Sciences0.6%
- Biochemistry, Genetics and Molecular Biology0.3%
- Business, Management and Accounting0.3%
- Physics and Astronomy0.3%
トピック
- Formal Methods in Verification31.8%
- Logic, programming, and type systems15.8%
- Software Testing and Debugging Techniques14.8%
- Model-Driven Software Engineering Techniques5.6%
- Software Reliability and Analysis Research5.4%
- Logic, Reasoning, and Knowledge4.4%
- その他22.2%
よく組む共著者
- Alessandro Cimatti10
- Alberto Griggio8
- Roberto Sebastiani8
- Roberto Bruttomesso6
- Alessandro Santuari2
- Alexander Nadel2
- Amit Palti2
- Krishnamani Kalyanasundaram2
- Marco Roveri2
- Ziyad Hanna2
- Cristian Stenico1
- Fabiano Dalpiaz1
- Fabio Moioli1
- Iyad Al Khatib1
- Jonathan Shalev1
- Marco Bozzano1
- Paolo Giorgini1
- R. K. Shyamasundar1
- Raian Ali1
- Roberto Cavada1
- Zurab Khasidashvili1
全論文
論文を読み込んでいます…
