Perini Brogi, Cosimo
 Distribuzione geografica
Continente #
EU - Europa 512
NA - Nord America 204
AS - Asia 151
SA - Sud America 45
OC - Oceania 2
AF - Africa 1
Totale 915
Nazione #
RU - Federazione Russa 232
US - Stati Uniti d'America 198
DE - Germania 125
IT - Italia 76
SG - Singapore 58
FI - Finlandia 53
BR - Brasile 39
CN - Cina 38
HK - Hong Kong 25
IL - Israele 13
TR - Turchia 7
FR - Francia 6
GB - Regno Unito 6
IN - India 5
AT - Austria 4
CA - Canada 4
EC - Ecuador 3
AR - Argentina 2
AU - Australia 2
NL - Olanda 2
PL - Polonia 2
AE - Emirati Arabi Uniti 1
BD - Bangladesh 1
CZ - Repubblica Ceca 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
PE - Perù 1
RO - Romania 1
SA - Arabia Saudita 1
ZA - Sudafrica 1
Totale 915
Città #
Ashburn 129
Munich 106
Moscow 79
Singapore 50
Helsinki 44
Hong Kong 25
Albignasego 13
Hefei 13
Tel Aviv 13
Beijing 12
Boardman 12
Shanghai 9
Düsseldorf 7
Los Angeles 7
Istanbul 6
North Charleston 6
Jyväskylä 5
Padova 5
Assago 4
Turku 4
Florence 3
Livorno 3
Lucca 3
Turin 3
Atlanta 2
Bologna 2
Brasília 2
Buffalo 2
Dresden 2
Genoa 2
Guwahati 2
Manchester 2
Milan 2
North Bergen 2
Quito 2
Serra 2
São Paulo 2
Toronto 2
Verona 2
Warsaw 2
Xi'an 2
Akron 1
Almirante Tamandaré 1
Alta Floresta 1
Ankara 1
Arapiraca 1
Araras 1
Barra dos Coqueiros 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
Delhi 1
Diadema 1
Dubai 1
Dyersburg 1
Erechim 1
Fartura 1
Flower Mound 1
Fortaleza 1
Francisco Morato 1
Frankfurt am Main 1
Garanhuns 1
Glasgow 1
Grozny 1
Guarulhos 1
Guayaquil 1
Hamburg 1
Homburg 1
Jeddah 1
Lauterbourg 1
Lavagna 1
Lima 1
Lomas de Zamora 1
Lorena 1
L’Aquila 1
Macaé 1
Maceió 1
Mandeville 1
Marília 1
Messina 1
Miami 1
Milton Keynes 1
Mumbai 1
Mymensingh 1
Naples 1
New York 1
Nuremberg 1
Ogden 1
Orindiúva 1
Orlândia 1
Ottawa 1
Totale 654
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 213
Systems Security Modeling and Analysis at IMT Lucca 102
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper) 74
A Formal Proof of Modal Completeness for Provability Logic 64
Toward Dynamic Epistemic Verification of Zero-Knowledge Protocols 64
Archimede logica : l'enigma del compleanno 63
Investigations of proof theory and automated reasoning for non-classical logics 59
Machine Translation: Early Criticisms Revisited 59
La matematica delle dimostrazioni 57
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 56
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 54
Analysing Collective Adaptive Systems by Proving Theorems 49
Universal algebra in UniMath 49
Totale 963
Categoria #
all - tutte 4.217
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 4.217


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/20269 9 0 0 0 0 0 0 0 0 0 0 0
Totale 963