About
Technology
Issues
FAQ
Search
Profile
Top Authors
Prolific Authors
Top Journals
Main Disciplines
Main Topics
Most Cited Articles
Scientometrics
Avg Impact Factor
★★
Articles
★★★
Articles
Citing Bodies
Top Citing Authors
Top Citing Institutions
Top Citing Schools
Top Citing Journals
Top Citing Disciplines
exaly
›
Schools
›
Department of Computer Science
Department of Computer Science
290
(top 1%)
papers
9.7K
(top 1%)
citations
47
(top 1%)
h
-index
93
(top 1%)
g
-index
405
all documents
12.4K
doc citations
990
citing journals
Top Authors (by articles)
#
Author
Articles
Citations
R ARank
R CRank
1
Andrzej Tarlecki
8
359
2
2
2
Donald T Sannella
6
226
2
2
3
Faron Moller
4
168
2
1
4
Alberto Pettorossi
3
31
1
1
4
Anthony Power
3
173
2
1
4
Jingling Xue
3
8
3
18
4
Leslie Ann Goldberg
3
27
4
7
4
Samson Abramsky
3
150
2
3
4
Sathiamoorthy Manoharan
3
40
2
3
11
Eugenio Moggi
2
1,258
1
1
11
Martin Dyer
2
15
8
15
11
Alan M Frieze
2
325
9
2
11
Gordon Brebner
2
13
1
1
11
Philippa Gardner
2
12
1
2
11
Andrew Blake
2
225
3
3
11
Matthew Hennessy
2
73
1
1
11
Ian Sanders
2
9
1
1
11
Martin Reddy
2
17
1
1
20
Ian H Witten
1
14
6
8
20
Alan Mycroft
1
102
1
1
20
Josep Llosa
1
3
2
2
20
Hiroshi Watanabe
1
7
1
1
20
Ian D Sanders
1
3
2
2
20
Antonio Gonzalez
1
104
2
3
20
Guy McCusker
1
51
2
2
20
Kai Yuan
1
3
1
1
20
Brian C Tompsett
1
4
2
2
20
Edmund Robinson
1
157
1
1
20
Ronald P A Petrick
1
4
3
3
20
Martín Hötzel Escardó
1
4
2
2
20
Paul W Goldberg
1
88
6
2
20
Zhibin Li
1
3
5
4
20
Luca Cardelli
1
73
10
7
20
Harold W Thimbleby
1
14
4
7
20
Mateo Valero Cortés
1
104
6
2
20
Ayalvadi Ganesh
1
25
4
4
20
Rocco De Nicola
1
920
2
1
20
Gregory Sorkin
1
75
3
1
20
Masahito Hasegawa
1
7
1
2
20
Glynn Winskel
1
4
1
3
20
Healfdene Goguen
1
11
1
2
20
John Power
1
157
3
1
20
Joachim Parrow
1
153
1
1
20
Graeme Ritchie
1
15
1
2
20
Benjamin C Pierce
1
124
2
2
20
Prakash Panangaden
1
60
5
2
site/software ©
exaly
; All materials licenced under
CC by-SA
.