Tom Hirschowitz
2002–2025 年に発表
- 所属
- Centre National de la Recherche ScientifiqueUniversité Savoie Mont BlancLaboratoire d’Analyse et de Mathématiques AppliquéesÉcole Normale Supérieure de Lyonこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0002-7220-4067
- 43
- 論文数
- 279
- 被引用数
- 9
- h 指数
- 8
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 1 年分(被引用 1 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
- Centre National de la Recherche Scientifique15.7%
- Institut national de recherche en sciences et technologies du numérique11.5%
- University of Cambridge10.5%
- École Normale Supérieure de Lyon8.9%
- Friedrich-Alexander-Universität Erlangen-Nürnberg8.4%
- Laboratoire d’Analyse et de Mathématiques Appliquées7.3%
- その他37.7%
分野
- Computer Science96.9%
- Biochemistry, Genetics and Molecular Biology0.6%
- Decision Sciences0.6%
- Engineering0.6%
- Mathematics0.6%
- Physics and Astronomy0.6%
トピック
- Logic, programming, and type systems34.2%
- Logic, Reasoning, and Knowledge18.2%
- Formal Methods in Verification11.8%
- Advanced Software Engineering Methodologies6.2%
- Software Engineering Research5.3%
- Distributed systems and fault tolerance4.2%
- その他20.1%
よく組む共著者
- Ambroise Lafont7
- André Hirschowitz7
- Clovis Eberhart7
- Damien Pous5
- Aurélien Pardon4
- Xavier Leroy4
- Daniel Hirschkoff3
- J. B. Wells3
- Michel Hirschowitz3
- Peio Borthelle3
- Richard Garner3
- Thomas Seiller3
- Alan Schmitt2
- Alexis Laouar2
- Guilhem Jaber2
- Yannick Zakowski2
- Ens Lyon1
- Inria Rocquencourt1
- Jean-Bernard Stefani1
- Marco Maggesi1
- Nicolas Tabareau1
- Samuel Hym1
- Universite ́ De Savoie1
全論文
論文を読み込んでいます…
