Organization Unit Statistics: E192 - Institut für Logic and Computation
Geo Map
Region
#
EU - Europe
101068
NA - North America
8443
AS - Asia, other
5179
AF - Africa
400
SA - South America
245
OC - Oceania
195
Unknown Continent - Not applicable
32
Unknown
782
Total
116344
Country
#
AT - Austria
79599
US - United States of America
8017
DE - Germany
5404
IE - Ireland
4676
RU - Russian Federation
3170
CN - China
1792
FR - France
1296
FI - Finland
1141
GB - United Kingdom
1064
NL - Netherlands
898
other - Other Country
9248
Total
116305
City
#
Vienna
38638
Dublin
4636
Klosterneuburg
1063
Ashburn
1030
Helsinki
1009
Des Moines
648
Chicago
587
Wiener Neustadt
578
Frankfurt am Main
530
Los Angeles
478
other
58819
Total
108016
Most viewed items
#
ID: 16583 - Decision procedures for separation logic: beyond symbolic heaps
847
Total
847
Year
Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Tot
2020
35 5
32 27 7 57
112 9 172 262
373 439
1530
2021
1536 619
554 436 461 505
630 562 479 731
765 555
7833
2022
616 856
520 644 745 747
2708 10182 10830 5946
1841 1949
37584
2023
3791 1435
3088 2693 3052 7833
2457 5915 2840 8246
4663 4757
50770
2024
5022 5302
4679 3624 0 0
0 0 0 0
0 0
18627
Ever
116344
Geo Map
Region | # |
---|---|
EU - Europe | 101068 |
NA - North America | 8443 |
AS - Asia, other | 5179 |
AF - Africa | 400 |
SA - South America | 245 |
OC - Oceania | 195 |
Unknown Continent - Not applicable | 32 |
Unknown | 782 |
Total | 116344 |
Country | # |
---|---|
AT - Austria | 79599 |
US - United States of America | 8017 |
DE - Germany | 5404 |
IE - Ireland | 4676 |
RU - Russian Federation | 3170 |
CN - China | 1792 |
FR - France | 1296 |
FI - Finland | 1141 |
GB - United Kingdom | 1064 |
NL - Netherlands | 898 |
other - Other Country | 9248 |
Total | 116305 |
City | # |
---|---|
Vienna | 38638 |
Dublin | 4636 |
Klosterneuburg | 1063 |
Ashburn | 1030 |
Helsinki | 1009 |
Des Moines | 648 |
Chicago | 587 |
Wiener Neustadt | 578 |
Frankfurt am Main | 530 |
Los Angeles | 478 |
other | 58819 |
Total | 108016 |
Most viewed items | # |
---|---|
ID: 16583 - Decision procedures for separation logic: beyond symbolic heaps | 847 |
Total | 847 |
Year | Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec | Tot |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2020 | 35 | 5 | 32 | 27 | 7 | 57 | 112 | 9 | 172 | 262 | 373 | 439 | 1530 |
2021 | 1536 | 619 | 554 | 436 | 461 | 505 | 630 | 562 | 479 | 731 | 765 | 555 | 7833 |
2022 | 616 | 856 | 520 | 644 | 745 | 747 | 2708 | 10182 | 10830 | 5946 | 1841 | 1949 | 37584 |
2023 | 3791 | 1435 | 3088 | 2693 | 3052 | 7833 | 2457 | 5915 | 2840 | 8246 | 4663 | 4757 | 50770 |
2024 | 5022 | 5302 | 4679 | 3624 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 18627 |
Ever | 116344 |