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

Thomas Seiller

2005–2026 年に発表

所属
Centre National de la Recherche ScientifiqueAix-Marseille UniversitéInstitut national de recherche en sciences et technologies du numériqueUniversity of CopenhagenInstitut des Hautes Études ScientifiquesUniversité Sorbonne Paris NordLIP6James Lind InstituteSorbonne Universitéこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
ORCID
0000-0001-6313-0898
50
論文数
290
被引用数
10
h 指数
10
i10 指数

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

年別の被引用数

被引用数

Thomas Seiller の年別被引用数2005 年: 被引用 1 件2007 年: 被引用 1 件2008 年: 被引用 1 件2009 年: 被引用 4 件2010 年: 被引用 4 件2011 年: 被引用 3 件2012 年: 被引用 3 件2013 年: 被引用 6 件2014 年: 被引用 11 件2015 年: 被引用 36 件2016 年: 被引用 33 件2017 年: 被引用 3 件2018 年: 被引用 25 件2019 年: 被引用 7 件2020 年: 被引用 20 件2021 年: 被引用 10 件2022 年: 被引用 9 件2023 年: 被引用 7 件2024 年: 被引用 18 件2025 年: 被引用 7 件2026 年: 被引用 5 件2006 年は被引用が無いため表示していません

引用元

国・地域

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

機関

分野

  • Computer Science95.8%
  • Arts and Humanities1.1%
  • Biochemistry, Genetics and Molecular Biology1.1%
  • Engineering1.1%
  • Mathematics1.1%

トピック

  • Logic, programming, and type systems31.7%
  • Logic, Reasoning, and Knowledge23.8%
  • Formal Methods in Verification18.8%
  • Parallel Computing and Optimization Techniques4.6%
  • Computability, Logic, AI Algorithms4.6%
  • semigroups and automata theory4.2%
  • その他12.5%

よく組む共著者

全論文

検索で開く

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

Thomas Seiller | Litlas