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

Anton Setzer

1996–2025 年に発表

所属
Uppsala UniversitySwansea UniversityUniversity of Walesこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
ORCID
0000-0001-5322-6060
48
論文数
829
被引用数
14
h 指数
19
i10 指数

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

年別の被引用数

被引用数

Anton Setzer の年別被引用数1997 年: 被引用 1 件1998 年: 被引用 8 件1999 年: 被引用 3 件2000 年: 被引用 10 件2001 年: 被引用 12 件2002 年: 被引用 12 件2003 年: 被引用 14 件2004 年: 被引用 17 件2005 年: 被引用 19 件2006 年: 被引用 24 件2007 年: 被引用 15 件2008 年: 被引用 12 件2009 年: 被引用 19 件2010 年: 被引用 21 件2011 年: 被引用 16 件2012 年: 被引用 23 件2013 年: 被引用 29 件2014 年: 被引用 33 件2015 年: 被引用 24 件2016 年: 被引用 41 件2017 年: 被引用 32 件2018 年: 被引用 59 件2019 年: 被引用 29 件2020 年: 被引用 27 件2021 年: 被引用 24 件2022 年: 被引用 19 件2023 年: 被引用 34 件2024 年: 被引用 25 件2025 年: 被引用 25 件2026 年: 被引用 12 件

引用元

国・地域

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

機関

分野

  • Computer Science92.8%
  • Mathematics2.1%
  • Engineering1.4%
  • Medicine0.7%
  • Physics and Astronomy0.7%
  • Psychology0.7%
  • その他1.6%

トピック

  • Logic, programming, and type systems29.3%
  • Formal Methods in Verification19.4%
  • Logic, Reasoning, and Knowledge18.1%
  • Computability, Logic, AI Algorithms5.1%
  • Model-Driven Software Engineering Techniques4.6%
  • Software Testing and Debugging Techniques3.7%
  • その他19.8%

よく組む共著者

全論文

検索で開く

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

Anton Setzer | Litlas