Downloads e Consultas - Períodos Fixos
No caso de registos com mais do que um ficheiro, o número total de downloads e consultas é dividido pelo número de ficheiros associados ao documento.
Número de downloads e consultas no período.
Número de downloads e consultas no período.
Documento
Título | : | Verification of distributed algorithms with the Why3 tool |
Data entrada | : | 11-10-2022 |
Downloads e ConsultasExport
Ano | Downloads | Consultas |
2022 | 21,0 | 18 |
2023 | 27,0 | 16 |
2024 | 10,0 | 6 |
58,0 | 40 |
Downloads e Consultas por ano
Downloads por país (top 10)
Consultas por país (top 10)
Downloads por paísExport
Origem | Downloads | Perc.(%) |
Portugal | 20,0 | 35,09 |
Singapore | 10,0 | 17,54 |
Slovenia | 8,0 | 14,04 |
United States | 7,0 | 12,28 |
Universidade do Minho | 3,0 | 5,26 |
Sweden | 2,0 | 3,51 |
France | 2,0 | 3,51 |
Serbia | 1,0 | 1,75 |
Germany | 1,0 | 1,75 |
Japan | 1,0 | 1,75 |
Finland | 1,0 | 1,75 |
Uruguay | 1,0 | 1,75 |
57,0 | 100,00 |
Consultas por paísExport
Origem | Consultas | Perc.(%) |
Portugal | 19 | 51,35 |
Universidade do Minho | 6 | 16,22 |
United States | 4 | 10,81 |
France | 1 | 2,70 |
Switzerland | 1 | 2,70 |
Finland | 1 | 2,70 |
Australia | 1 | 2,70 |
Slovenia | 1 | 2,70 |
Serbia | 1 | 2,70 |
Germany | 1 | 2,70 |
United Kingdom | 1 | 2,70 |
37 | 100,00 |