Perini Brogi, Cosimo
 Distribuzione geografica
Continente #
EU - Europa 1.287
NA - Nord America 713
AS - Asia 312
SA - Sud America 68
AF - Africa 13
OC - Oceania 3
Totale 2.396
Nazione #
RU - Federazione Russa 913
US - Stati Uniti d'America 692
DE - Germania 131
IT - Italia 106
CN - Cina 101
SG - Singapore 100
BR - Brasile 57
FI - Finlandia 54
HK - Hong Kong 29
GB - Regno Unito 22
FR - Francia 21
IN - India 18
CA - Canada 15
IL - Israele 13
VN - Vietnam 13
PL - Polonia 12
TR - Turchia 10
ZA - Sudafrica 8
AT - Austria 7
JP - Giappone 7
NL - Olanda 7
BD - Bangladesh 6
AR - Argentina 4
ES - Italia 4
MX - Messico 4
AU - Australia 3
EC - Ecuador 3
PK - Pakistan 3
SE - Svezia 3
AE - Emirati Arabi Uniti 2
GY - Guiana 2
ID - Indonesia 2
IQ - Iraq 2
LT - Lituania 2
AZ - Azerbaigian 1
CG - Congo 1
CO - Colombia 1
CZ - Repubblica Ceca 1
HR - Croazia 1
HU - Ungheria 1
IR - Iran 1
JM - Giamaica 1
KE - Kenya 1
KG - Kirghizistan 1
LV - Lettonia 1
MA - Marocco 1
NP - Nepal 1
PE - Perù 1
RO - Romania 1
SA - Arabia Saudita 1
TG - Togo 1
TH - Thailandia 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 2.396
Città #
Moscow 284
Dallas 239
Ashburn 195
Munich 107
Singapore 59
San Jose 48
Helsinki 45
Hefei 41
Beijing 30
Hong Kong 28
Los Angeles 21
Albignasego 14
Boardman 13
Tel Aviv 13
Warsaw 11
Chennai 9
Shanghai 9
São Paulo 9
New York 8
Atlanta 7
Denver 7
Düsseldorf 7
Johannesburg 7
Ho Chi Minh City 6
Houston 6
Istanbul 6
Manchester 6
Montreal 6
North Charleston 6
Orem 6
Tokyo 6
Urbino 6
Jyväskylä 5
Lucca 5
Padova 5
Poplar 5
Santa Clara 5
Amsterdam 4
Ankara 4
Assago 4
Brooklyn 4
Columbus 4
Florence 4
Milan 4
Phoenix 4
Toronto 4
Turin 4
Turku 4
Villaricca 4
Charleston 3
Chicago 3
Livorno 3
Mumbai 3
Naples 3
Rome 3
Seattle 3
Stockholm 3
Bexley 2
Bochum 2
Bologna 2
Boston 2
Brasília 2
Buenos Aires 2
Buffalo 2
Dresden 2
Genoa 2
Georgetown 2
Guwahati 2
London 2
Mexico City 2
North Bergen 2
Paris 2
Pisa 2
Pittsburgh 2
Quito 2
Rio de Janeiro 2
San Felice A Cancello 2
Serra 2
St Petersburg 2
Sydney 2
Venice 2
Verona 2
Vienna 2
Xi'an 2
Akron 1
Almirante Tamandaré 1
Alta Floresta 1
Annapolis 1
Arapiraca 1
Araras 1
Augusta 1
Baghdad 1
Baie-D'Urfé 1
Baku 1
Bangkok 1
Barra dos Coqueiros 1
Bekalta 1
Belo Horizonte 1
Berlin 1
Bishkek 1
Totale 1.432
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 293
Modular sequent calculi for interpretability logics 259
Systems Security Modeling and Analysis at IMT Lucca 199
Simpson's proof systems for process verification: a fine-tuning (short paper) 163
Toward dynamic epistemic verification of zero-knowledge protocols 144
A Formal Proof of Modal Completeness for Provability Logic 140
Archimede logica : l'enigma del compleanno 140
Investigations of proof theory and automated reasoning for non-classical logics 140
Machine translation: early criticisms revisited 139
Growing HOLMS, a HOL Light Library for Modal Systems 136
Universal algebra in UniMath 135
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 134
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 130
Analysing Collective Adaptive Systems by Proving Theorems 126
La matematica delle dimostrazioni 123
A modular proof of semantic completeness for normal systems beyond the modal cube, formalised in HOLMS 33
Displayed universal algebra in UniMath: basic definitions and results 31
Totale 2.465
Categoria #
all - tutte 7.470
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 7.470


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/20261.511 57 61 525 630 95 68 75 0 0 0 0 0
Totale 2.465