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
›
Leonardo M De Moura
›
citing-journals
Leonardo M De Moura
Pontifical Catholic University of Rio de Janeiro
23
(top 20%)
papers
4.6K
(top 5%)
citations
16
(top 20%)
h
-index
21
(top 20%)
g
-index
26
all documents
5.3K
doc citations
349
citing journals
105
times ranked
Top Journals (by citations)
#
Journals
Citations
1
Lecture Notes in Computer Science
2,063
2
Journal of Automated Reasoning
127
3
Electronic Proceedings in Theoretical Computer Science, EPTCS
100
4
International Journal on Software Tools for Technology Transfer
75
5
Formal Methods in System Design
61
6
ACM SIGPLAN Notices
49
7
IEEE Transactions on Software Engineering
42
8
Software and Systems Modeling
37
9
IEEE Access
33
10
Formal Aspects of Computing
31
11
Communications in Computer and Information Science
26
12
Science of Computer Programming
24
13
ACM Transactions on Software Engineering and Methodology
23
14
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
21
15
ACM Computing Surveys
17
16
ACM Transactions on Computational Logic
17
17
Communications of the ACM
15
18
ACM Transactions on Programming Languages and Systems
14
19
Theory and Practice of Logic Programming
13
20
Automated Software Engineering
13
21
Advances in Intelligent Systems and Computing
12
site/software ©
exaly
; All materials licenced under
CC by-SA
.