Bart Demoen
1979–2018 年に発表
- 所属
- KU Leuvenこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- 113
- 論文数
- 2,078
- 被引用数
- 26
- h 指数
- 54
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
- KU Leuven33.4%
- Universidade do Porto10.5%
- Universidad Politécnica de Madrid7.4%
- University of Ferrara6.9%
- Monash University6.5%
- The University of Melbourne5.8%
- その他29.5%
分野
- Computer Science94.9%
- Biochemistry, Genetics and Molecular Biology1.1%
- Engineering1%
- Decision Sciences0.6%
- Social Sciences0.5%
- Business, Management and Accounting0.4%
- その他1.5%
トピック
- Logic, programming, and type systems20.8%
- Logic, Reasoning, and Knowledge15.2%
- Formal Methods in Verification14.4%
- Constraint Satisfaction and Optimization5.9%
- Semantic Web and Ontologies5.9%
- Software Testing and Debugging Techniques5.8%
- その他31.9%
よく組む共著者
- Tom Schrijvers26
- Gerda Janssens10
- Konstantinos Sagonas10
- Jon Sneyers9
- Maria J. García de la Banda8
- Peter J. Stuckey8
- Henk Vandecasteele6
- Maria Garcia de la Banda6
- Paul Tarau6
- Phuong-Lan Nguyen6
- André Mariën5
- Hendrik Blockeel5
- Kim Marriott5
- Luc De Raedt5
- Michael Codish5
- Peter Van Weert5
- Koenraad De Bosschere4
- Remco Moolenaar4
- Vítor Santos Costa4
- Warwick Harvey4
- Alain Callebaut3
- Angelika Kimmig3
- Benoit Desouter3
- Bern Martens3
全論文
論文を読み込んでいます…
