Daniel Larraz
2013–2024 年に発表
- 所属
- FC BarcelonaUniversitat Politècnica de Catalunyaこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0001-5305-7340
- 19
- 論文数
- 305
- 被引用数
- 11
- h 指数
- 12
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science91.3%
- Engineering6.1%
- Decision Sciences1.5%
- Mathematics0.5%
- Social Sciences0.5%
トピック
- Formal Methods in Verification27.4%
- Logic, programming, and type systems19.9%
- Software Testing and Debugging Techniques14.6%
- Software Engineering Research5.6%
- Software Reliability and Analysis Research5.6%
- Logic, Reasoning, and Knowledge4.3%
- その他22.7%
よく組む共著者
- Cesare Tinelli10
- Albert Rubio8
- Enric Rodríguez-Carbonell8
- Albert Oliveras7
- Omar Chowdhury5
- Andrew Reynolds 00014
- M. Fareed Arif4
- Haniel Barbosa3
- Moosa Yahyazadeh3
- Abha Moitra2
- Baoluo Meng2
- Cristina Borralleras2
- Daniel Prince2
- Heber Herencia-Zapana2
- John Interrante2
- Kit Siu2
- Marc Brockschmidt2
- Michael Durling2
- Robert Lorch2
- Abdalrhman Mohamed1
- Aina Niemetz1
- Alex Ozdemir1
- Amalee Wilson1
- Clark W. Barrett1
全論文
論文を読み込んでいます…