13(top 50%)
papers
344(top 50%)
citations
10(top 50%)
h-index
14(top 50%)
g-index
19
all documents
638
doc citations
50
citing journals
95
times ranked
Top Journals (by citations)
| # | Journal | Articles | Citations | R ARank | R CRank |
|---|---|---|---|---|---|
| 1 | Lecture Notes in Computer Science | 11 | 225 | 5.5K | 3.1K |
| 2 | International Journal on Software Tools for Technology Transfer | 1 | 92 | 248 | 85 |
| 3 | Journal of Automated Reasoning | 1 | 37 | 218 | 205 |