23(top 20%)
papers
4.6K(top 5%)
citations
16(top 20%)
h-index
21(top 20%)
g-index
26
all documents
5.3K
doc citations
349
citing journals
105
times ranked
Top Journals (by citations)
# | Journal | Articles | Citations | R ARank | R CRank |
---|---|---|---|---|---|
1 | Lecture Notes in Computer Science | 10 | 4,153 | 6.2K | 28 |
2 | Communications of the ACM | 1 | 434 | 512 | 226 |
3 | Journal of Automated Reasoning | 6 | 180 | 15 | 37 |
4 | Formal Methods in System Design | 2 | 49 | 69 | 119 |
5 | Electronic Notes in Theoretical Computer Science | 2 | 42 | 503 | 318 |
6 | Software - Practice and Experience | 1 | 0 | 542 | 2.5K |