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
›
Clark W Barrett
›
citing-journals
Clark W Barrett
New York University
88
(top 5%)
papers
3.7K
(top 5%)
citations
26
(top 5%)
h
-index
56
(top 5%)
g
-index
117
all documents
4.3K
doc citations
279
citing journals
105
times ranked
Top Journals (by citations)
#
Journals
Citations
1
Lecture Notes in Computer Science
1,642
2
Journal of Automated Reasoning
115
3
Electronic Proceedings in Theoretical Computer Science, EPTCS
74
4
Formal Methods in System Design
69
5
International Journal on Software Tools for Technology Transfer
53
6
Electronic Notes in Theoretical Computer Science
43
7
ACM SIGPLAN Notices
38
8
IEEE Access
37
9
IEEE Transactions on Software Engineering
33
10
Communications in Computer and Information Science
24
11
Formal Aspects of Computing
24
12
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
23
13
Journal of Satisfiability, Boolean Modeling and Computation
23
14
Proceedings of the AAAI Conference on Artificial Intelligence
20
15
ACM Computing Surveys
19
16
Software and Systems Modeling
19
17
Theory and Practice of Logic Programming
15
18
Machine Learning
14
19
IEICE Transactions on Information and Systems
13
20
ACM Transactions on Software Engineering and Methodology
13
21
Software - Practice and Experience
11
site/software ©
exaly
; All materials licenced under
CC by-SA
.