91(top 5%)
papers
876(top 20%)
citations
16(top 20%)
h-index
24(top 20%)
g-index
111
all documents
1.1K
doc citations
61
citing journals
95
times ranked
Filter by:Articles (Lifetime) (2) | Citations (Lifetime) (1) | Most Cited Article (Lifetime) (3) | Most Cited Article (per year) (8) | Low Rankings (Lifetime) (8) | Low Rankings (per year) (85) |
1st most cited paper in Higher-Order and Symbolic Computation (2008) [with 50 citations of an article]
2nd most published author in Electronic Notes in Theoretical Computer Science (lifetime) [with 20 articles having 119 citations]
3rd most cited paper in RAIRO - Theoretical Informatics and Applications (2005) [with 33 citations of an article]
9th most cited paper in Higher-Order and Symbolic Computation (lifetime) [with 50 citations of an article]
10th most cited paper in Journal of Logical and Algebraic Methods in Programming (2016) [with 25 citations of an article]
11th most cited paper in Information Processing Letters (2005) [with 71 citations of an article]
14th most cited paper in Journal of Automated Reasoning (2012) [with 32 citations of an article]
15th most cited paper in Information and Computation (2002) [with 79 citations of an article]
17th most cited paper in RAIRO - Theoretical Informatics and Applications (lifetime) [with 33 citations of an article]
30th most cited paper in Information Processing Letters (1998) [with 29 citations of an article]
37th most cited paper in Journal of Logical and Algebraic Methods in Programming (lifetime) [with 47 citations of an article]
55th most published author in Information Processing Letters (lifetime) [with 6 articles having 116 citations]
63rd most cited author in Electronic Notes in Theoretical Computer Science (lifetime) [with 119 citations of 20 articles]
89th most cited paper in Electronic Notes in Theoretical Computer Science (2009) [with 28 citations of an article]