Philippa Gardner
1991–2026 年に発表
- 所属
- University of EdinburghUniversity of CambridgeImperial College Londonこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0002-4187-0585
- 101
- 論文数
- 2,397
- 被引用数
- 27
- h 指数
- 56
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 4 年分(被引用 8 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science91.3%
- Biochemistry, Genetics and Molecular Biology3.6%
- Engineering2%
- Decision Sciences0.9%
- Agricultural and Biological Sciences0.4%
- Social Sciences0.4%
- その他1.5%
トピック
- Logic, programming, and type systems26.8%
- Formal Methods in Verification16.9%
- Logic, Reasoning, and Knowledge10.8%
- Distributed systems and fault tolerance9.9%
- Security and Verification in Computing7.5%
- Parallel Computing and Optimization Techniques6.7%
- その他21.3%
よく組む共著者
- Petar Maksimovic 000117
- Sacha-Élie Ayoun14
- José Fragoso Santos11
- Thomas Dinsdale-Young10
- Pedro da Rocha Pinto8
- Uri Zarfaty8
- Andreas Lööw7
- Conrad Watt7
- Cristiano Calcagno7
- Mark J. Wheelhouse7
- Azalea Raad6
- Daniele Nantes-Sobrinho6
- Luca Cardelli6
- Gian Ntzik5
- Xiaojia Rao5
- Caroline Cronjäger4
- Gareth Smith4
- Giorgio Ghelli4
- Julian Sutherland4
- Lucian Wischik4
- Nat Karmios4
- Sergio Maffeis4
- Daiva Naudziuniene3
- Lars Birkedal3
全論文
論文を読み込んでいます…
