Perini Brogi, Cosimo
 Distribuzione geografica
Continente #
EU - Europa 331
NA - Nord America 173
AS - Asia 80
SA - Sud America 15
OC - Oceania 2
Totale 601
Nazione #
US - Stati Uniti d'America 170
DE - Germania 111
RU - Federazione Russa 95
IT - Italia 58
FI - Finlandia 49
SG - Singapore 30
HK - Hong Kong 25
CN - Cina 13
BR - Brasile 10
TR - Turchia 6
FR - Francia 5
AT - Austria 4
IN - India 4
EC - Ecuador 3
AU - Australia 2
CA - Canada 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
CZ - Repubblica Ceca 1
GB - Regno Unito 1
HR - Croazia 1
HU - Ungheria 1
KG - Kirghizistan 1
LT - Lituania 1
LV - Lettonia 1
MX - Messico 1
NL - Olanda 1
PE - Perù 1
PL - Polonia 1
RO - Romania 1
Totale 601
Città #
Ashburn 115
Munich 92
Helsinki 44
Hong Kong 25
Singapore 22
Albignasego 13
Boardman 12
Moscow 10
Shanghai 9
Düsseldorf 7
Istanbul 6
Jyväskylä 5
Los Angeles 5
North Charleston 5
Padova 5
Assago 4
Livorno 3
Lucca 3
Atlanta 2
Buffalo 2
Dresden 2
Florence 2
Guwahati 2
North Bergen 2
Quito 2
Serra 2
Verona 2
Xi'an 2
Alta Floresta 1
Arapiraca 1
Barra dos Coqueiros 1
Belo Horizonte 1
Berlin 1
Bishkek 1
Bolzano 1
Buenos Aires 1
Buzău 1
Carpenedolo 1
Coimbatore 1
Delhi 1
Dubai 1
Fartura 1
Fortaleza 1
Frankfurt am Main 1
Genoa 1
Grozny 1
Guayaquil 1
Hamburg 1
Homburg 1
Lauterbourg 1
Lavagna 1
Lima 1
L’Aquila 1
Milan 1
New York 1
Nuremberg 1
Ogden 1
Pachuca 1
Portsmouth 1
Prague 1
Riga 1
Rome 1
Salvador 1
Sioux Falls 1
Sopron 1
Sydney 1
São Paulo 1
Toronto 1
Vienna 1
Villongo 1
Warsaw 1
Wuxi 1
Zagreb 1
Totale 450
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 188
Systems Security Modeling and Analysis at IMT Lucca 73
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper) 43
A Formal Proof of Modal Completeness for Provability Logic 42
Machine Translation: Early Criticisms Revisited 41
Toward Dynamic Epistemic Verification of Zero-Knowledge Protocols 38
Investigations of proof theory and automated reasoning for non-classical logics 38
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 36
Archimede logica : l'enigma del compleanno 35
La matematica delle dimostrazioni 34
Analysing Collective Adaptive Systems by Proving Theorems 29
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 27
Universal algebra in UniMath 25
Totale 649
Categoria #
all - tutte 2.561
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 2.561


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/2025608 13 24 19 67 36 92 121 46 110 80 0 0
Totale 649