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

Carsten Sinz

1996–2026 年に発表

所属
Johannes Kepler University of LinzBernstein Center for Computational Neuroscience TübingenUniversity of Tübingenこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
ORCID
0000-0001-9718-1802
92
論文数
2,150
被引用数
24
h 指数
41
i10 指数

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

年別の被引用数

被引用数

Carsten Sinz の年別被引用数1996 年: 被引用 1 件1998 年: 被引用 1 件2000 年: 被引用 3 件2001 年: 被引用 8 件2002 年: 被引用 6 件2003 年: 被引用 12 件2004 年: 被引用 25 件2005 年: 被引用 28 件2006 年: 被引用 44 件2007 年: 被引用 36 件2008 年: 被引用 35 件2009 年: 被引用 56 件2010 年: 被引用 56 件2011 年: 被引用 65 件2012 年: 被引用 95 件2013 年: 被引用 120 件2014 年: 被引用 116 件2015 年: 被引用 114 件2016 年: 被引用 86 件2017 年: 被引用 101 件2018 年: 被引用 103 件2019 年: 被引用 81 件2020 年: 被引用 99 件2021 年: 被引用 90 件2022 年: 被引用 96 件2023 年: 被引用 84 件2024 年: 被引用 61 件2025 年: 被引用 69 件2026 年: 被引用 26 件1997 年は被引用が無いため表示していません1999 年は被引用が無いため表示していません
  • 1 年分（被引用 1 件）は表示していません（最初の論文より前の日付）
  • 1 年分（被引用 1 件）は表示していません（集計した最新の年より後の日付）

引用元

国・地域

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

機関

分野

  • Computer Science92.2%
  • Engineering2.8%
  • Business, Management and Accounting1.5%
  • Biochemistry, Genetics and Molecular Biology0.8%
  • Social Sciences0.8%
  • Decision Sciences0.7%
  • その他1.2%

トピック

  • Formal Methods in Verification23.7%
  • Software Testing and Debugging Techniques12%
  • Logic, programming, and type systems11.9%
  • Constraint Satisfaction and Optimization9.7%
  • Logic, Reasoning, and Knowledge6.6%
  • Software Engineering Research6.2%
  • その他29.9%

よく組む共著者

全論文

検索で開く

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

Carsten Sinz | Litlas