Researcher Profile Statistics: RAMANAYAKE, Don Revantha Shiyan
Geo Map
Region
#
EU - Europe
2536
AS - Asia, other
76
NA - North America
68
AF - Africa
4
SA - South America
4
OC - Oceania
2
Unknown
16
Total
2706
Country
#
AT - Austria
2333
IE - Ireland
98
US - United States of America
61
SG - Singapore
43
DE - Germany
39
CN - China
18
FI - Finland
16
GB - United Kingdom
12
HR - Croatia
11
JP - Japan
9
other - Other Country
66
Total
2706
City
#
Vienna
1463
Dublin
98
Wiener Neustadt
24
Klosterneuburg
22
Helsinki
15
Zagreb
11
London
8
Singapore
8
Nuremberg
7
Tokyo
7
other
1043
Total
2706
Most viewed items
#
ID: 59410 - Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq
158
Total
158
Most type viewed
#
ID: all -
2706
ID: other -
0
ID: journal -
565
ID: conference -
1104
ID: patent -
0
ID: book -
0
ID: thesis -
0
ID: dataset -
0
ID: selected -
0
Total
4375
Year
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2022
0 0
0 0 0 0
0 192 189 194
30 73
678
2023
155 80
130 87 61 458
4 161 57 143
91 96
1523
2024
96 124
139 117 29 0
0 0 0 0
0 0
505
Ever
2706
Geo Map
Region | # |
---|---|
EU - Europe | 2536 |
AS - Asia, other | 76 |
NA - North America | 68 |
AF - Africa | 4 |
SA - South America | 4 |
OC - Oceania | 2 |
Unknown | 16 |
Total | 2706 |
Country | # |
---|---|
AT - Austria | 2333 |
IE - Ireland | 98 |
US - United States of America | 61 |
SG - Singapore | 43 |
DE - Germany | 39 |
CN - China | 18 |
FI - Finland | 16 |
GB - United Kingdom | 12 |
HR - Croatia | 11 |
JP - Japan | 9 |
other - Other Country | 66 |
Total | 2706 |
City | # |
---|---|
Vienna | 1463 |
Dublin | 98 |
Wiener Neustadt | 24 |
Klosterneuburg | 22 |
Helsinki | 15 |
Zagreb | 11 |
London | 8 |
Singapore | 8 |
Nuremberg | 7 |
Tokyo | 7 |
other | 1043 |
Total | 2706 |
Most viewed items | # |
---|---|
ID: 59410 - Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq | 158 |
Total | 158 |
Most type viewed | # |
---|---|
ID: all - | 2706 |
ID: other - | 0 |
ID: journal - | 565 |
ID: conference - | 1104 |
ID: patent - | 0 |
ID: book - | 0 |
ID: thesis - | 0 |
ID: dataset - | 0 |
ID: selected - | 0 |
Total | 4375 |
Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2022 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 192 | 189 | 194 | 30 | 73 | 678 |
2023 | 155 | 80 | 130 | 87 | 61 | 458 | 4 | 161 | 57 | 143 | 91 | 96 | 1523 |
2024 | 96 | 124 | 139 | 117 | 29 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 505 |
Ever | 2706 |