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

Pascal Cuoq

2001–2019 年に発表

17
論文数
897
被引用数
9
h 指数
8
i10 指数

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

年別の被引用数

被引用数

Pascal Cuoq の年別被引用数2001 年: 被引用 1 件2002 年: 被引用 1 件2004 年: 被引用 2 件2005 年: 被引用 1 件2008 年: 被引用 1 件2009 年: 被引用 3 件2010 年: 被引用 3 件2011 年: 被引用 10 件2012 年: 被引用 20 件2013 年: 被引用 44 件2014 年: 被引用 69 件2015 年: 被引用 63 件2016 年: 被引用 53 件2017 年: 被引用 54 件2018 年: 被引用 49 件2019 年: 被引用 47 件2020 年: 被引用 55 件2021 年: 被引用 53 件2022 年: 被引用 51 件2023 年: 被引用 56 件2024 年: 被引用 45 件2025 年: 被引用 60 件2026 年: 被引用 24 件2003 年は被引用が無いため表示していません2006〜2007 年は被引用が無いため表示していません
  • 1 年分（被引用 1 件）は表示していません（最初の論文より前の日付）

引用元

国・地域

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

機関

分野

  • Computer Science96.8%
  • Engineering1.4%
  • Decision Sciences0.3%
  • Earth and Planetary Sciences0.3%
  • Health Professions0.3%
  • Agricultural and Biological Sciences0.1%
  • その他0.7%

トピック

  • Software Testing and Debugging Techniques23.2%
  • Software Engineering Research13.5%
  • Formal Methods in Verification11.9%
  • Software Reliability and Analysis Research11.9%
  • Logic, programming, and type systems8.3%
  • Security and Verification in Computing7.5%
  • その他23.7%

よく組む共著者

全論文

検索で開く

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