Universidade do Minho: Página principal

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.

Período:

Total Ano Mês Dia

Documento

Título	:	An integrated formal methods tool-chain and its application to verifying a file system model
Data entrada	:	13-03-2012

Downloads e ConsultasExport

Ano	Downloads	Consultas
2012	26,0	40
2013	26,0	12
2014	17,0	2
2015	8,0	6
2016	9,0	1
2017	7,0	1
2018	13,0	5
2019	25,0	4
2020	16,0	7
2021	25,0	7
2022	11,0	5
2023	13,0	4
2024	3,0	2
	199,0	96

Downloads e Consultas por ano

Downloads por país (top 10)

Consultas por país (top 10)

Downloads por paísExport

Origem	Downloads	Perc.(%)
United States	58,0	32,04
Germany	18,0	9,94
China	15,0	8,29
Japan	10,0	5,52
Singapore	6,0	3,31
Portugal	5,0	2,76
United Kingdom	5,0	2,76
France	5,0	2,76
Canada	5,0	2,76
Universidade do Minho	5,0	2,76
Iran, Islamic Republic of	4,0	2,21
N/A	4,0	2,21
Brazil	4,0	2,21
Morocco	4,0	2,21
Sweden	4,0	2,21
Korea, Republic of	3,0	1,66
Ukraine	3,0	1,66
Ireland	2,0	1,10
India	2,0	1,10
Australia	2,0	1,10
Argentina	1,0	0,55
Indonesia	1,0	0,55
Denmark	1,0	0,55
South Africa	1,0	0,55
Iraq	1,0	0,55
Algeria	1,0	0,55
New Zealand	1,0	0,55
Greece	1,0	0,55
Czech Republic	1,0	0,55
Taiwan	1,0	0,55
Pakistan	1,0	0,55
Spain	1,0	0,55
Egypt	1,0	0,55
Macedonia	1,0	0,55
Belgium	1,0	0,55
Bolivia	1,0	0,55
Romania	1,0	0,55
	181,0	100,00

Consultas por paísExport

Origem	Consultas	Perc.(%)
United States	28	36,36
Universidade do Minho	18	23,38
Portugal	11	14,29
China	10	12,99
United Kingdom	3	3,90
Germany	2	2,60
France	2	2,60
Brazil	2	2,60
Hong Kong	1	1,30
	77	100,00