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
›
Armin Biere
›
top-authors
Armin Biere
Synopsys
117
(top 2%)
papers
5.2K
(top 5%)
citations
32
(top 5%)
h
-index
71
(top 2%)
g
-index
159
all documents
6.4K
doc citations
384
citing journals
105
times ranked
Top Authors (by citations)
#
Author
Articles
Citations
R ARank
R CRank
1
Alessandro Cimatti
2
1,527
20
3
2
Yunshan Zhu
2
1,070
1
1
3
Ofer Strichman
1
490
10
1
4
Florian Lonsing
11
344
1
1
5
Niklas Een
1
315
4
1
6
Matti Järvisalo
7
295
1
1
7
Keijo Heljanko
7
231
2
1
8
Mathias Preiner
8
206
3
2
8
Aina Niemetz
8
206
3
2
10
Aarti Gupta
1
192
2
1
11
Manuel Kauers
5
134
2
1
12
Klaus Havelund
1
128
14
8
13
Daniela Kaufmann
5
90
1
1
14
Oliver Kullmann
2
73
1
1
15
Carsten Sinz
2
66
2
1
16
Akihisa Yamada
2
63
7
3
16
Eun-Hye Choi
2
63
4
3
16
Takashi Kitamura
2
63
4
3
19
Benjamin Kiesl
4
49
1
1
19
Tommi Junttila
1
49
10
8
21
Carsten Sinz
1
38
1
1
21
Markus Iser
1
38
1
1
23
Alexander Egyed
2
36
22
31
24
Christoph M Wintersteiger
1
35
8
11
25
Yutaka Oiwa
1
33
6
4
26
Jean-Marie Lagniez
1
31
4
1
27
Gergely Kovásznai
3
29
1
1
28
Martina Seidl
1
23
3
2
28
Luca Pulina
1
23
12
6
30
Katalin Fazekas
5
21
1
1
31
Tom van Dijk
1
19
4
5
32
Marijn Heule
2
13
1
1
33
Stefano Quer
1
12
5
15
33
Sibylle Möhle
3
12
1
1
35
Anton J Wijs
1
8
17
24
35
Aziza I Hussein
1
8
4
5
37
Andreas Fröhlich
2
6
1
1
38
Mathias Fleury
2
5
2
11
39
Laura Kovacs
2
4
5
19
39
Helmut Veith
1
4
17
27
41
Lee A Barnett
2
3
1
1
41
Andrei Voronkov
1
3
5
10
43
Roberto Sebastiani
1
1
3
3
44
Christoph Weidenbach
1
0
2
9
44
Cesare Tinelli
1
0
21
49
44
Sophie N Parragh
1
0
8
39
44
Markus Sinnl
1
0
11
19
44
Wojciech Nawrocki
1
0
1
0
site/software ©
exaly
; All materials licenced under
CC by-SA
.