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
Institutions
Schools
Citing Bodies
Top Citing Authors
Top Citing Institutions
Top Citing Schools
Top Citing Journals
Top Citing Disciplines
exaly
›
Authors
›
Joost-pieter Katoen
›
top-journals
Joost-pieter Katoen
RWTH Aachen University
100
(top 5%)
papers
2.9K
(top 5%)
citations
39
(top 2%)
h
-index
62
(top 5%)
g
-index
310
all documents
6.8K
doc citations
608
citing journals
105
times ranked
Top Journals (by citations)
#
Journal
Articles
Citations
R ARank
R CRank
1
Lecture Notes in Computer Science
149
2,838
7
61
2
Theoretical Computer Science
8
412
175
45
3
Information and Computation
6
269
23
16
4
Performance Evaluation
3
230
61
17
5
Computer Journal
1
172
287
11
6
Formal Methods in System Design
5
170
12
23
7
International Journal on Software Tools for Technology Transfer
7
150
6
34
8
European Journal of Control
1
141
368
46
9
Genome Biology
1
110
551
1.7K
10
IEEE Transactions on Industrial Informatics
2
109
2.0K
2.3K
11
IEEE Transactions on Software Engineering
2
102
402
377
12
Reliability Engineering and System Safety
2
97
707
735
13
Science of Computer Programming
4
86
50
80
14
The Journal of Logic and Algebraic Programming
3
69
8
16
15
European Physical Journal C
1
68
16.9K
17.8K
16
Computer Physics Communications
1
67
1.9K
1.4K
17
Communications of the ACM
1
64
275
609
18
Electronic Notes in Theoretical Computer Science
5
63
98
111
19
Distributed Computing
2
53
54
63
20
Journal of Experimental Biology
1
38
3.5K
4.5K
21
Metallurgical and Materials Transactions B: Process Metallurgy and Materials Processing Science
1
37
820
719
22
IFIP Advances in Information and Communication Technology
2
36
1.1K
226
23
Cluster Computing
1
33
626
655
24
Physical Review D
1
32
23.9K
21.0K
25
Computer Networks
2
31
7
29
26
Nature Communications
1
28
37.6K
64.9K
27
Journal of Ecology
1
27
2.4K
4.7K
28
Acta Informatica
1
26
137
149
29
ACM Transactions on Programming Languages and Systems
1
25
77
138
30
Formal Aspects of Computing
3
21
32
155
31
BMC Evolutionary Biology
1
19
1.6K
5.6K
31
Mobile Networks and Applications
1
19
591
960
33
IEEE Transactions on Automatic Control
2
17
2.1K
4.3K
34
Physical Review Letters
1
16
41.8K
64.9K
34
Biogeosciences
1
16
3.2K
6.4K
36
Information Processing Letters
1
15
656
799
36
Performance Evaluation Review
1
15
151
177
38
Physical Review B
1
13
34.0K
51.4K
39
Journal of Automated Reasoning
1
12
174
293
40
Journal of Computer and System Sciences
1
11
347
794
41
Biological Trace Element Research
1
9
2.1K
6.0K
42
Tetrahedron Letters
1
8
8.3K
15.3K
42
International Federation for Information Processing
1
8
365
408
44
Amast Series in Computing
1
7
1
1
45
ACM Transactions on Design Automation of Electronic Systems
1
4
255
494
46
Water (Switzerland)
1
3
11.2K
26.5K
46
Memorias Do Instituto Oswaldo Cruz
1
3
1.0K
3.2K
48
Journal of the ACM
1
1
137
562
48
Cureus
1
1
3.4K
8.0K
48
Review of Symbolic Logic
1
1
79
226
51
Nanoscale
1
0
17.6K
52.9K
51
IEEE Transactions on Dependable and Secure Computing
1
0
1.0K
3.3K
site/software ©
exaly
; All materials licenced under
CC by-SA
.