About
Technology
Issues
FAQ
Search
Rankings
Journals
Disciplines
Institutions
Schools/Departments
Field Rankings
Scientometrics
★★(★)
Articles
h
-index
g
-index
Journals
Co-Authors
Publications (by citations)
Publications (by year)
Citation Distribution
Citing Bodies
Top Citing Authors
Top Citing Institutions
Top Citing Schools
Top Citing Journals
Top Citing Disciplines
exaly
›
Authors
›
Dexter Kozen
›
top-journals
Dexter Kozen
56
(top 10%)
papers
1.9K
(top 10%)
citations
17
(top 20%)
h
-index
43
(top 10%)
g
-index
69
all documents
2.5K
doc citations
235
citing journals
105
times ranked
Top Journals (by citations)
#
Journal
Articles
Citations
R ARank
R CRank
1
Journal of Computer and System Sciences
4
672
80
21
2
ACM Transactions on Programming Languages and Systems
1
359
130
24
3
ACM Transactions on Computational Logic
2
123
62
38
4
Journal of Symbolic Computation
3
104
110
83
5
ACM SIGPLAN Notices
3
98
247
165
6
Information and Computation
3
96
126
184
7
Information and Control
2
95
15
28
8
Lecture Notes in Computer Science
9
94
7.1K
8.0K
9
Studia Logica
1
62
277
61
10
Mathematical Structures in Computer Science
3
48
38
81
11
SIAM Journal on Computing
1
38
568
707
12
IBM Journal of Research and Development
1
36
37
102
13
ACM SIGACT News
1
17
42
91
13
Journal of Applied Non-Classical Logics
1
17
81
102
13
Information Sciences
1
17
3.3K
6.9K
16
Fundamenta Informaticae
3
12
141
541
17
Electronic Notes in Theoretical Computer Science
3
11
318
1.1K
18
Science of Computer Programming
1
9
503
1.1K
18
Outstanding Contributions To Logic
1
9
26
31
20
Proceedings - Symposium on Logic in Computer Science
1
8
3
18
21
Matematica Contemporanea
1
6
87
26
22
Logical Methods in Computer Science
1
4
21
127
23
Theoretical Computer Science
1
3
2.0K
3.8K
23
The Journal of Logic and Algebraic Programming
1
3
71
245
23
Journal of Logical and Algebraic Methods in Programming
1
3
117
303
26
American Mathematical Monthly
1
2
368
661
27
Annals of Pure and Applied Logic
1
0
317
702
site/software ©
exaly
; All materials licenced under
CC by-SA
.