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
›
Alessandro Cimatti
›
top-authors
Alessandro Cimatti
De Paul Institute of Science & Technology
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
Top Authors (by citations)
#
Author
Articles
Citations
R ARank
R CRank
1
Marco Roveri
51
1,820
1
1
2
Alberto Griggio
41
1,652
1
1
3
Armin Biere
2
1,527
12
1
4
Roberto Sebastiani
22
1,071
1
1
5
Yunshan Zhu
1
1,037
2
2
6
Stefano Tonetta
32
948
1
1
7
Marco Bozzano
31
801
1
1
8
Sergio Mover
12
524
1
1
9
Ofer Strichman
1
490
10
1
10
Edmund Clarke
1
467
1
1
11
Andrea Micheli
12
450
1
1
12
Roberto Bruttomesso
9
335
1
1
13
Joost-Pieter Katoen
8
333
12
8
14
Thomas Noll
7
326
2
2
15
Cristian Mattarei
11
174
1
1
16
Paolo Traverso
5
119
1
3
16
Marco Gario
7
119
1
1
18
Viet Yen Nguyen
3
117
3
3
19
Dirk Beyer
1
96
22
9
20
Stephan Schulz
2
89
2
1
20
Tommi Junttila
2
89
3
1
22
Enrico Giunchiglia
4
80
6
10
23
Roderick Bloem
2
79
17
13
24
Silvio Ranise
2
75
23
10
25
Georg Hofferek
1
69
3
3
25
Robert Könighofer
1
69
9
4
27
Ahmed Irfan
3
54
3
3
28
Panagiotis Katsaros
1
49
23
5
29
Kristin Yvonne Rozier
2
37
6
6
30
Gurmail Singh
1
30
7
4
30
Chun Tian
3
30
1
1
30
Stéfano Frizzo Stefenon
1
30
26
31
30
Kin-Choong Yow
1
30
15
25
30
Roberto Posenato
2
30
5
4
35
Sergey Mechtaev
1
25
3
5
35
Abhik Roychoudhury
1
25
18
26
37
Enrico Magnago
3
24
1
1
38
Wajeb Saab
1
21
8
2
38
Fausto Giunchiglia
1
21
14
24
38
Simon Bliudze
1
21
11
9
38
Mohamad Jaber
1
21
7
8
38
Sérgio Campos
1
21
2
3
43
Anna M Bigatti
2
19
2
2
43
James H Davenport
2
19
13
21
43
Daniel Kroening
2
19
25
35
43
Ralf Wimmer
1
19
13
11
47
Anna Becchi
2
18
1
1
48
Matthew England
1
17
12
14
48
Werner M Seiler
1
17
6
5
48
Erika Abraham
1
17
16
23
48
Thomas Sturm
1
17
11
9
48
Bruno Buchberger
1
17
5
8
53
Jakub Daniel
1
15
1
1
53
Armando Tacchella
1
15
11
18
55
Mirko Sessa
2
13
1
1
56
Ingo Pill
1
10
11
9
56
David E Smith
1
10
1
1
58
Alessandro Armando
3
7
11
29
58
Gianluca Redondi
1
7
1
1
60
Laura Baracchi
1
6
1
1
61
Roberto Passerone
1
5
30
57
62
Luca Spalazzi
2
4
16
23
62
Alessandro Abate
1
4
32
60
64
Enea Zaffanella
1
3
2
5
64
Martin Jonáš
1
3
1
1
66
Ramiro A Demasi
2
2
1
8
66
Luciano Serafini
2
2
7
44
68
Patrick Trentin
1
1
2
2
68
Daniele Magazzeni
1
1
8
28
68
Viktória Vozárová
1
1
1
1
71
Luca Geatti
1
0
1
0
site/software ©
exaly
; All materials licenced under
CC by-SA
.