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 | 8,0 | 4 |
56,0 | 38 |
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,71 |
Singapore | 10,0 | 17,86 |
Slovenia | 8,0 | 14,29 |
United States | 7,0 | 12,50 |
Universidade do Minho | 3,0 | 5,36 |
Sweden | 2,0 | 3,57 |
Serbia | 1,0 | 1,79 |
Germany | 1,0 | 1,79 |
France | 1,0 | 1,79 |
Japan | 1,0 | 1,79 |
Finland | 1,0 | 1,79 |
Uruguay | 1,0 | 1,79 |
56,0 | 100,00 |
Consultas por paísExport
Origem | Consultas | Perc.(%) |
Portugal | 19 | 52,78 |
Universidade do Minho | 6 | 16,67 |
United States | 3 | 8,33 |
France | 1 | 2,78 |
Switzerland | 1 | 2,78 |
Finland | 1 | 2,78 |
Australia | 1 | 2,78 |
Slovenia | 1 | 2,78 |
Serbia | 1 | 2,78 |
Germany | 1 | 2,78 |
United Kingdom | 1 | 2,78 |
36 | 100,00 |