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

Derek Dreyer

2003–2026 年に発表

所属
Carnegie Mellon UniversityToyota Technological Institute at ChicagoMax Planck Institute for Software SystemsMax Planck Societyこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
ORCID
0000-0002-3884-6867
88
論文数
4,489
被引用数
39
h 指数
66
i10 指数

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

年別の被引用数

被引用数

Derek Dreyer の年別被引用数2003 年: 被引用 6 件2004 年: 被引用 3 件2005 年: 被引用 14 件2006 年: 被引用 15 件2007 年: 被引用 21 件2008 年: 被引用 16 件2009 年: 被引用 29 件2010 年: 被引用 41 件2011 年: 被引用 28 件2012 年: 被引用 39 件2013 年: 被引用 47 件2014 年: 被引用 62 件2015 年: 被引用 90 件2016 年: 被引用 146 件2017 年: 被引用 190 件2018 年: 被引用 194 件2019 年: 被引用 277 件2020 年: 被引用 231 件2021 年: 被引用 380 件2022 年: 被引用 333 件2023 年: 被引用 452 件2024 年: 被引用 457 件2025 年: 被引用 558 件2026 年: 被引用 262 件
  • 3 年分（被引用 5 件）は表示していません（最初の論文より前の日付）

引用元

国・地域

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

機関

分野

  • Computer Science96.3%
  • Decision Sciences0.6%
  • Engineering0.6%
  • Biochemistry, Genetics and Molecular Biology0.5%
  • Agricultural and Biological Sciences0.4%
  • Mathematics0.3%
  • その他1.2%

トピック

  • Logic, programming, and type systems24.7%
  • Formal Methods in Verification16.3%
  • Security and Verification in Computing12.8%
  • Distributed systems and fault tolerance11.3%
  • Parallel Computing and Optimization Techniques10.5%
  • Logic, Reasoning, and Knowledge6.4%
  • その他18%

よく組む共著者

全論文

検索で開く

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

Derek Dreyer | Litlas