23(top 20%)
papers
1.1K(top 20%)
citations
14(top 20%)
h-index
23(top 20%)
g-index
32
all documents
2.3K
doc citations
135
citing journals
105
times ranked
Top Journals (by citations)
# | Journal | Articles | Citations | R ARank | R CRank |
---|---|---|---|---|---|
1 | ACM Transactions on Programming Languages and Systems | 2 | 478 | 50 | 13 |
2 | Journal of Functional Programming | 7 | 216 | 7 | 17 |
3 | IEEE Software | 1 | 177 | 337 | 84 |
4 | Lecture Notes in Computer Science | 4 | 174 | 17.1K | 4.2K |
5 | ACM SIGPLAN Notices | 6 | 68 | 99 | 224 |
6 | Science of Computer Programming | 1 | 35 | 503 | 393 |
7 | Journal of Symbolic Computation | 1 | 18 | 381 | 449 |
8 | Journal of Automated Reasoning | 1 | 8 | 218 | 465 |