86(top 5%)
papers
3.5K(top 5%)
citations
26(top 5%)
h-index
54(top 5%)
g-index
113
all documents
4.1K
doc citations
237
citing journals
105
times ranked
Filter by:Articles (per year) (1) | Citations (Lifetime) (1) | Citations (per year) (5) | Most Cited Article (Lifetime) (6) | Most Cited Article (per year) (17) | Low Rankings (Lifetime) (13) | Low Rankings (per year) (68) |
1st most cited paper in Lecture Notes in Computer Science (2022) [with 104 citations of an article]
1st most cited author in Journal of the ACM (2006) [with 559 citations of 1 articles]
1st most cited paper in Journal of the ACM (2006) [with 559 citations of an article]
1st most cited paper in Journal of Automated Reasoning (2005) [with 53 citations of an article]
1st most cited paper in Frontiers in Artificial Intelligence and Applications (2021) [with 29 citations of an article]
1st most cited paper in Frontiers in Artificial Intelligence and Applications (lifetime) [with 29 citations of an article]
1st most cited paper in Applied Logic Series (1996) [with 82 citations of an article]
3rd most cited paper in Applied Logic Series (lifetime) [with 82 citations of an article]
4th most cited author in Lecture Notes in Computer Science (2022) [with 104 citations of 1 articles]
4th most cited paper in International Journal on Artificial Intelligence Tools (2006) [with 48 citations of an article]
5th most cited paper in Journal of Satisfiability, Boolean Modeling and Computation (2007) [with 32 citations of an article]
6th most cited paper in Journal of Automated Reasoning (2003) [with 23 citations of an article]
6th most cited paper in Journal of Applied Logic (2009) [with 29 citations of an article]
8th most cited paper in Formal Methods in System Design (2016) [with 30 citations of an article]
15th most cited paper in Formal Methods in System Design (2013) [with 40 citations of an article]
15th most cited paper in Journal of Satisfiability, Boolean Modeling and Computation (lifetime) [with 32 citations of an article]
19th most cited paper in Lecture Notes in Computer Science (2011) [with 562 citations of an article]
20th most cited author in Lecture Notes in Computer Science (2011) [with 562 citations of 3 articles]
27th most cited paper in IEEE Intelligent Systems (2006) [with 24 citations of an article]
31st most cited paper in Artificial Intelligence (2008) [with 32 citations of an article]
33rd most cited paper in Information and Computation (2002) [with 27 citations of an article]
39th most cited paper in Theoretical Computer Science (2003) [with 53 citations of an article]
50th most cited paper in Journal of the ACM (lifetime) [with 559 citations of an article]
51st most cited paper in International Journal on Artificial Intelligence Tools (lifetime) [with 48 citations of an article]
68th most cited author in Lecture Notes in Computer Science (2004) [with 221 citations of 3 articles]
68th most published author in Lecture Notes in Computer Science (2019) [with 7 articles having 94 citations]
73rd most cited author in Journal of the ACM (lifetime) [with 559 citations of 1 articles]
74th most cited author in Lecture Notes in Computer Science (2014) [with 223 citations of 3 articles]
77th most cited paper in Lecture Notes in Computer Science (2004) [with 221 citations of an article]
90th most cited paper in Journal of Applied Logic (lifetime) [with 29 citations of an article]