47(top 10%)
papers
749(top 20%)
citations
15(top 20%)
h-index
24(top 20%)
g-index
53
all documents
834
doc citations
92
citing journals
105
times ranked
Top Journals (by citations)
# | Journal | Articles | Citations | R ARank | R CRank |
---|---|---|---|---|---|
1 | Lecture Notes in Computer Science | 26 | 360 | 1.3K | 1.7K |
2 | Journal of Automated Reasoning | 5 | 139 | 22 | 42 |
3 | Information and Computation | 2 | 48 | 228 | 331 |
4 | Artificial Intelligence Review | 1 | 34 | 325 | 923 |
4 | Studies in Logic and Practical Reasoning | 1 | 34 | 1 | 6 |
6 | ACM Transactions on Computational Logic | 3 | 32 | 31 | 160 |
7 | Journal of Applied Non-Classical Logics | 1 | 25 | 81 | 74 |
8 | Journal of Symbolic Computation | 1 | 19 | 381 | 429 |
9 | AI Communications | 2 | 17 | 31 | 128 |
10 | Studia Logica | 1 | 13 | 277 | 295 |
11 | Journal of Logic and Computation | 1 | 5 | 207 | 487 |
11 | NASA Monographs in Systems and Software Engineering | 1 | 5 | 3 | 4 |
13 | Formal Methods in System Design | 1 | 3 | 141 | 467 |