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
›
Alessandro Cimatti
›
citing-journals
Alessandro Cimatti
De Paul Institute of Science & Technology
135
(top 2%)
papers
4.9K
(top 5%)
citations
33
(top 5%)
h
-index
75
(top 2%)
g
-index
181
all documents
7.1K
doc citations
482
citing journals
105
times ranked
Top Journals (by citations)
#
Journals
Citations
1
Lecture Notes in Computer Science
2,355
2
Formal Methods in System Design
148
3
International Journal on Software Tools for Technology Transfer
142
4
Electronic Proceedings in Theoretical Computer Science, EPTCS
96
5
Formal Aspects of Computing
70
6
Communications in Computer and Information Science
68
7
Electronic Notes in Theoretical Computer Science
62
8
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
60
9
Journal of Automated Reasoning
59
10
IEEE Access
58
11
Proceedings of the AAAI Conference on Artificial Intelligence
52
12
Software and Systems Modeling
51
13
Artificial Intelligence
40
14
IEEE Transactions on Software Engineering
37
15
Science of Computer Programming
36
16
Journal of Satisfiability, Boolean Modeling and Computation
35
17
ACM Transactions on Computational Logic
34
18
Logical Methods in Computer Science
31
19
Reliability Engineering and System Safety
29
20
ACM Transactions on Software Engineering and Methodology
28
21
Acta Informatica
26
site/software ©
exaly
; All materials licenced under
CC by-SA
.