131(top 2%)
papers
8.3K(top 2%)
citations
43(top 2%)
h-index
91(top 1%)
g-index
193
all documents
11.1K
doc citations
995
citing journals
105
times ranked
Filter by:Articles (Lifetime) (3) | Articles (per year) (1) | Citations (Lifetime) (11) | Citations (per year) (21) | Most Cited Article (Lifetime) (12) | Most Cited Article (per year) (43) | Low Rankings (Lifetime) (13) | Low Rankings (per year) (95) |
6th most cited paper in Journal of Automated Reasoning (lifetime) [with 593 citations of an article]
24th most cited paper in Lecture Notes in Computer Science (1999) [with 264 citations of an article]
46th most cited paper in Lecture Notes in Computer Science (1998) [with 165 citations of an article]
57th most cited paper in Lecture Notes in Computer Science (2001) [with 170 citations of an article]