Perini Brogi, Cosimo
 Distribuzione geografica
Continente #
EU - Europa 545
NA - Nord America 378
AS - Asia 208
SA - Sud America 56
AF - Africa 5
OC - Oceania 2
Totale 1.194
Nazione #
US - Stati Uniti d'America 369
RU - Federazione Russa 234
DE - Germania 127
IT - Italia 85
CN - Cina 83
SG - Singapore 58
FI - Finlandia 53
BR - Brasile 48
HK - Hong Kong 26
FR - Francia 20
IL - Israele 13
IN - India 10
GB - Regno Unito 9
TR - Turchia 7
CA - Canada 6
AT - Austria 4
PL - Polonia 4
ZA - Sudafrica 4
AR - Argentina 3
EC - Ecuador 3
AE - Emirati Arabi Uniti 2
AU - Australia 2
IQ - Iraq 2
NL - Olanda 2
PK - Pakistan 2
BD - Bangladesh 1
CO - Colombia 1
CZ - Repubblica Ceca 1
ES - Italia 1
HR - Croazia 1
HU - Ungheria 1
JM - Giamaica 1
JP - Giappone 1
KG - Kirghizistan 1
LT - Lituania 1
LV - Lettonia 1
MX - Messico 1
NP - Nepal 1
PE - Perù 1
RO - Romania 1
SA - Arabia Saudita 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 1.194
Città #
Dallas 157
Ashburn 132
Munich 107
Moscow 79
Singapore 50
Helsinki 44
Hefei 41
Hong Kong 26
Beijing 24
Albignasego 13
Tel Aviv 13
Boardman 12
Shanghai 9
Düsseldorf 7
Los Angeles 7
Istanbul 6
North Charleston 6
Urbino 6
Jyväskylä 5
Padova 5
Assago 4
Chennai 4
Turku 4
Atlanta 3
Florence 3
Johannesburg 3
Livorno 3
Lucca 3
Milan 3
São Paulo 3
Toronto 3
Turin 3
Warsaw 3
Bexley 2
Bologna 2
Brasília 2
Brooklyn 2
Buffalo 2
Charleston 2
Dresden 2
Genoa 2
Guwahati 2
Manchester 2
North Bergen 2
Quito 2
Rio de Janeiro 2
Rome 2
Santa Clara 2
Serra 2
St Petersburg 2
Verona 2
Xi'an 2
Akron 1
Almirante Tamandaré 1
Alta Floresta 1
Ankara 1
Arapiraca 1
Araras 1
Baghdad 1
Barra dos Coqueiros 1
Bekalta 1
Belo Horizonte 1
Berlin 1
Bishkek 1
Bolzano 1
Boston 1
Buenos Aires 1
Buzău 1
Campina Grande 1
Cape Town 1
Carpenedolo 1
Charlotte 1
Coimbatore 1
Criciúma 1
Delhi 1
Diadema 1
Dubai 1
Duhok 1
Dyersburg 1
Erechim 1
Fartura 1
Flower Mound 1
Fortaleza 1
Francisco Morato 1
Frankfurt am Main 1
Garanhuns 1
Garrafão do Norte 1
Glasgow 1
Grozny 1
Guangzhou 1
Guarulhos 1
Guayaquil 1
Hamburg 1
Homburg 1
Ironton 1
Islamabad 1
Jeddah 1
Kathmandu 1
Lahore 1
Las Palmas de Gran Canaria 1
Totale 877
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 221
Systems Security Modeling and Analysis at IMT Lucca 114
Modular sequent calculi for interpretability logics 111
Simpson's proof systems for process verification: a fine-tuning (short paper) 92
Toward dynamic epistemic verification of zero-knowledge protocols 79
Machine translation: early criticisms revisited 77
A Formal Proof of Modal Completeness for Provability Logic 76
Archimede logica : l'enigma del compleanno 71
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 68
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 64
La matematica delle dimostrazioni 63
Investigations of proof theory and automated reasoning for non-classical logics 63
Analysing Collective Adaptive Systems by Proving Theorems 57
Universal algebra in UniMath 57
Growing HOLMS, a HOL Light Library for Modal Systems 44
Totale 1.257
Categoria #
all - tutte 5.088
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 5.088


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/20237 0 0 0 0 0 0 0 0 0 0 0 7
2023/202434 0 3 9 0 2 0 2 5 0 8 2 3
2024/2025913 13 24 19 67 36 92 121 46 110 111 213 61
2025/2026303 57 61 185 0 0 0 0 0 0 0 0 0
Totale 1.257