Estatísticas para Especificação e verificação de protocolos de votação em lógica linear com focusing
Total de visitas
| views | |
|---|---|
| Especificação e verificação de protocolos de votação em lógica linear com focusing | 181 |
Total visitas por mês
| views | |
|---|---|
| fevereiro 2025 | 0 |
| março 2025 | 1 |
| abril 2025 | 2 |
| maio 2025 | 0 |
| junho 2025 | 0 |
| julho 2025 | 0 |
| agosto 2025 | 0 |
Visitas Arquivos
| views | |
|---|---|
| WashingtonCavalcanteDaSilva_DISSERT.pdf | 136 |
| WashingtonCavalcanteDaSilva_DISSERT.pdf(legacy) | 40 |
Maiores visualizações por país
| views | |
|---|---|
| Estados Unidos | 84 |
| Brasil | 25 |
| Alemanha | 13 |
| Irlanda | 12 |
| Singapura | 10 |
| Países Baixos | 7 |
| China | 6 |
| Bélgica | 5 |
| Rússia | 4 |
| Suécia | 4 |
| Finlândia | 3 |
| Angola | 2 |
| França | 1 |
| Hong Kong, RAE da China | 1 |
| Indonésia | 1 |
| Zimbábue | 1 |
Maiores visualizações por cidade
| views | |
|---|---|
| Ashburn | 56 |
| Singapore | 9 |
| Dublin | 7 |
| Fortaleza | 3 |
| Messias Targino | 3 |
| San Mateo | 3 |
| Amsterdam | 2 |
| Beijing | 2 |
| Natal | 2 |
| Parnamirim | 2 |
| Zhengzhou | 2 |
| Anaheim | 1 |
| Ann Arbor | 1 |
| Boa Vista | 1 |
| Cambuci | 1 |
| Campina Grande | 1 |
| Curitiba | 1 |
| Des Moines | 1 |
| Guacui | 1 |
| Hangzhou | 1 |
| Joao Monlevade | 1 |
| Ludwigshafen am Rhein | 1 |
| Manaus | 1 |
| Marabá | 1 |
| Miguel Pereira | 1 |
| Mountain View | 1 |
| Newark | 1 |
| Porto Alegre | 1 |
| Rio de Janeiro | 1 |
| Rondonópolis | 1 |
| Stockholm | 1 |
| São João del Rei | 1 |