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
›
Joao Marques-Silva
›
citing-journals
Joao Marques-Silva
INESC TEC
119
(top 2%)
papers
3.0K
(top 5%)
citations
26
(top 5%)
h
-index
51
(top 5%)
g
-index
154
all documents
3.8K
doc citations
337
citing journals
105
times ranked
Top Journals (by citations)
#
Journals
Citations
1
Lecture Notes in Computer Science
1,271
2
Artificial Intelligence
78
3
Constraints
70
4
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
62
5
Proceedings of the AAAI Conference on Artificial Intelligence
61
6
Journal of Satisfiability, Boolean Modeling and Computation
50
7
Journal of Automated Reasoning
41
8
AI Communications
39
9
Theory and Practice of Logic Programming
33
10
Journal of Artificial Intelligence Research
33
11
Annals of Mathematics and Artificial Intelligence
31
12
Formal Methods in System Design
30
13
IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers
24
14
IEEE Access
20
15
Fundamenta Informaticae
20
16
IEEE Transactions on Software Engineering
18
17
Electronic Proceedings in Theoretical Computer Science, EPTCS
18
18
IEEE Transactions on Computers
17
19
Communications in Computer and Information Science
16
20
Journal of Heuristics
16
21
ACM SIGPLAN Notices
15
site/software ©
exaly
; All materials licenced under
CC by-SA
.