litlas
ログインアカウント作成

Thomas Arts

1995–2024 年に発表

所属
Ericsson (Sweden)Utrecht UniversityQuviq (Sweden)このコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
64
論文数
1,731
被引用数
19
h 指数
33
i10 指数

この数字には自己引用も含まれています。

年別の被引用数

被引用数

Thomas Arts の年別被引用数1995 年: 被引用 1 件1996 年: 被引用 3 件1997 年: 被引用 10 件1998 年: 被引用 13 件1999 年: 被引用 31 件2000 年: 被引用 32 件2001 年: 被引用 61 件2002 年: 被引用 40 件2003 年: 被引用 49 件2004 年: 被引用 53 件2005 年: 被引用 53 件2006 年: 被引用 54 件2007 年: 被引用 76 件2008 年: 被引用 72 件2009 年: 被引用 85 件2010 年: 被引用 61 件2011 年: 被引用 48 件2012 年: 被引用 43 件2013 年: 被引用 64 件2014 年: 被引用 58 件2015 年: 被引用 60 件2016 年: 被引用 44 件2017 年: 被引用 57 件2018 年: 被引用 62 件2019 年: 被引用 51 件2020 年: 被引用 46 件2021 年: 被引用 32 件2022 年: 被引用 43 件2023 年: 被引用 25 件2024 年: 被引用 53 件2025 年: 被引用 26 件2026 年: 被引用 6 件

引用元

国・地域

このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。

機関

分野

  • Computer Science93%
  • Business, Management and Accounting1.5%
  • Engineering1.5%
  • Social Sciences1%
  • Decision Sciences0.6%
  • Arts and Humanities0.4%
  • その他1.8%

トピック

  • Logic, programming, and type systems22.6%
  • Formal Methods in Verification17.7%
  • Software Testing and Debugging Techniques11.7%
  • Logic, Reasoning, and Knowledge9.1%
  • Software Engineering Research7.4%
  • Software Reliability and Analysis Research5.1%
  • その他26.4%

よく組む共著者

全論文

検索で開く

論文を読み込んでいます…

Thomas Arts | Litlas