Craig McLaughlin
2001–2023 年に発表
- ORCID
- 0000-0002-1323-8566
- 8
- 論文数
- 611
- 被引用数
- 6
- h 指数
- 4
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 1 年分(被引用 5 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
- University of Edinburgh10.6%
- University of Tübingen9.9%
- Max Planck Institute for Software Systems9.6%
- KU Leuven9.6%
- University of Kent7.5%
- Aarhus University6.2%
- その他46.6%
分野
- Computer Science83.5%
- Engineering14.6%
- Decision Sciences0.8%
- Physics and Astronomy0.8%
- Environmental Science0.4%
トピック
- Logic, programming, and type systems26.6%
- Formal Methods in Verification13.4%
- Security and Verification in Computing9.4%
- Parallel Computing and Optimization Techniques9.2%
- Software Engineering Research7.7%
- Spacecraft Dynamics and Control5.8%
- その他27.9%
よく組む共著者
- Conor McBride2
- Sam Lindley2
- Ambroise Lafont1
- Benjamin Nott1
- Chris Sabol1
- Christine Rizkallah1
- Chung-Kil Hur1
- Derek Dreyer1
- Gabriele Keller1
- Georg Neis1
- Gernot Heiser1
- Hira Syeda1
- Ian Stark1
- James McKinna1
- Jan-Oliver Kaiser1
- Johannes Åman Pohjola1
- K. Winter1
- Liam O'Connor1
- Lukas Convent1
- Magnus O. Myreen1
- Michael Norrish1
- Miki Tanaka1
- Remy Seassau1
- Rich Burns1
全論文
論文を読み込んでいます…
