Pascal Fontaine
1997–2026 年に発表
- 所属
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsUniversity of Liègeこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0003-4700-6031
- 104
- 論文数
- 3,220
- 被引用数
- 25
- h 指数
- 47
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 1 年分(被引用 1 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science59.1%
- Biochemistry, Genetics and Molecular Biology16.2%
- Environmental Science8.6%
- Agricultural and Biological Sciences8.3%
- Immunology and Microbiology1.6%
- Engineering1.4%
- その他4.8%
トピック
- Formal Methods in Verification20.9%
- Logic, programming, and type systems20.3%
- Reproductive biology and impacts on aquatic species10%
- Logic, Reasoning, and Knowledge9.4%
- Aquaculture Nutrition and Growth8.7%
- Fish Ecology and Management Studies6%
- その他24.7%
よく組む共著者
- Clark W. Barrett12
- Hans-Jörg Schurr11
- Cesare Tinelli10
- Christophe Ringeissen10
- Aina Niemetz9
- David Déharbe9
- Mathias Preiner9
- Baptiste Vergain8
- Bernard Boigelot8
- Haniel Barbosa8
- Patrick Kestemont8
- Thomas Sturm 00017
- Daniel Żarski6
- Erika Ábrahám6
- James H. Davenport5
- Stephan Merz5
- Sylvain Milla5
- Alberto Griggio4
- Alessandro Cimatti4
- Anna Maria Bigatti4
- Bernd Becker 00014
- Bruno Woltzenlogel Paleo4
- Daniel Kroening4
- Jarosław Król4
全論文
論文を読み込んでいます…
