About Technology Issues FAQ

Rankings

Schools/Departments

Scientometrics

★★(★) Articles

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 › journal-rankings

Alessandro Cimatti

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

Filter by:Articles (Lifetime) (1) | Articles (per year) (2) | Citations (Lifetime) (4) | Citations (per year) (6) | Most Cited Article (Lifetime) (6) | Most Cited Article (per year) (20) | Low Rankings (Lifetime) (21) | Low Rankings (per year) (105) |

1^st most cited author in Advances in Computers (2003) [with 490 citations of 1 articles]

1^st most cited paper in Advances in Computers (2003) [with 490 citations of an article]

1^st most cited paper in ACM Transactions on Computational Logic (2018) [with 28 citations of an article]

2^nd most cited paper in Lecture Notes in Computer Science (1999) [with 1037 citations of an article]

2^nd most cited author in Computer Journal (2011) [with 171 citations of 1 articles]

2^nd most cited paper in Computer Journal (2011) [with 171 citations of an article]

2^nd most cited paper in Formal Aspects of Computing (1998) [with 51 citations of an article]

2^nd most cited author in International Journal on Software Tools for Technology Transfer (2000) [with 467 citations of 1 articles]

2^nd most cited paper in International Journal on Software Tools for Technology Transfer (2000) [with 467 citations of an article]

3^rd most cited author in Lecture Notes in Computer Science (1999) [with 1037 citations of 1 articles]

4^th most cited paper in Journal of Automated Reasoning (2005) [with 46 citations of an article]

4^th most cited paper in ACM Transactions on Computational Logic (2010) [with 45 citations of an article]

6^th most cited author in Advances in Computers (lifetime) [with 490 citations of 1 articles]

6^th most cited paper in Advances in Computers (lifetime) [with 490 citations of an article]

9^th most cited paper in Electronic Notes in Theoretical Computer Science (2005) [with 62 citations of an article]

11^th most cited paper in Information and Computation (2006) [with 41 citations of an article]

11^th most cited paper in International Journal on Software Tools for Technology Transfer (lifetime) [with 467 citations of an article]

11^th most cited paper in ACM Transactions on Software Engineering and Methodology (2012) [with 38 citations of an article]

14^th most cited paper in Computer Journal (lifetime) [with 171 citations of an article]

14^th most cited paper in Formal Methods in System Design (2016) [with 28 citations of an article]

15^th most cited paper in Science of Computer Programming (2000) [with 21 citations of an article]

15^th most cited paper in Science of Computer Programming (2015) [with 78 citations of an article]

16^th most cited author in International Journal on Software Tools for Technology Transfer (lifetime) [with 467 citations of 1 articles]

18^th most cited paper in Artificial Intelligence (2006) [with 46 citations of an article]

18^th most cited paper in Formal Methods in System Design (2013) [with 30 citations of an article]

19^th most cited author in Lecture Notes in Computer Science (2014) [with 383 citations of 5 articles]

20^th most published author in Lecture Notes in Computer Science (2021) [with 7 articles having 27 citations]

23^rd most cited author in Computer Journal (lifetime) [with 171 citations of 1 articles]

26^th most cited paper in Lecture Notes in Computer Science (2014) [with 383 citations of an article]

32^nd most cited paper in Lecture Notes in Computer Science (2013) [with 343 citations of an article]

41^st most published author in Lecture Notes in Computer Science (lifetime) [with 80 articles having 3137 citations]

45^th most published author in Lecture Notes in Computer Science (2016) [with 7 articles having 111 citations]

50^th most cited author in Lecture Notes in Computer Science (2013) [with 343 citations of 3 articles]

50^th most cited author in Lecture Notes in Computer Science (lifetime) [with 3137 citations of 80 articles]

64^th most cited paper in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2013) [with 39 citations of an article]

69^th most cited paper in Lecture Notes in Computer Science (1997) [with 74 citations of an article]

73^rd most cited paper in Formal Aspects of Computing (lifetime) [with 63 citations of an article]

79^th most cited paper in Electronic Notes in Theoretical Computer Science (lifetime) [with 80 citations of an article]

94^th most cited paper in ACM Transactions on Computational Logic (lifetime) [with 73 citations of an article]

site/software © exaly; All materials licenced under CC by-SA.