Perini Brogi, Cosimo
 Distribuzione geografica
Continente #
EU - Europa 1.279
NA - Nord America 606
AS - Asia 283
SA - Sud America 63
AF - Africa 9
OC - Oceania 3
Totale 2.243
Nazione #
RU - Federazione Russa 912
US - Stati Uniti d'America 586
DE - Germania 131
IT - Italia 104
CN - Cina 99
SG - Singapore 93
FI - Finlandia 54
BR - Brasile 53
HK - Hong Kong 28
FR - Francia 21
GB - Regno Unito 20
IN - India 17
CA - Canada 14
IL - Israele 13
PL - Polonia 12
TR - Turchia 9
AT - Austria 7
JP - Giappone 7
NL - Olanda 5
ZA - Sudafrica 5
BD - Bangladesh 4
MX - Messico 4
AR - Argentina 3
AU - Australia 3
EC - Ecuador 3
ES - Italia 3
SE - Svezia 3
VN - Vietnam 3
AE - Emirati Arabi Uniti 2
GY - Guiana 2
IQ - Iraq 2
LT - Lituania 2
PK - Pakistan 2
CG - Congo 1
CO - Colombia 1
CZ - Repubblica Ceca 1
HR - Croazia 1
HU - Ungheria 1
ID - Indonesia 1
JM - Giamaica 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
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 2.243
Città #
Moscow 284
Dallas 239
Ashburn 168
Munich 107
Singapore 57
Helsinki 45
Hefei 41
Beijing 30
Hong Kong 27
Los Angeles 18
Albignasego 14
Boardman 13
Tel Aviv 13
Warsaw 11
Shanghai 9
Chennai 8
Düsseldorf 7
São Paulo 7
Denver 6
Istanbul 6
New York 6
North Charleston 6
Tokyo 6
Urbino 6
Atlanta 5
Houston 5
Jyväskylä 5
Lucca 5
Manchester 5
Montreal 5
Padova 5
Assago 4
Columbus 4
Florence 4
Johannesburg 4
Milan 4
Poplar 4
Santa Clara 4
Toronto 4
Turku 4
Villaricca 4
Amsterdam 3
Ankara 3
Brooklyn 3
Charleston 3
Chicago 3
Livorno 3
Mumbai 3
Naples 3
Orem 3
Rome 3
Seattle 3
Stockholm 3
Turin 3
Bexley 2
Bochum 2
Bologna 2
Boston 2
Brasília 2
Buffalo 2
Dresden 2
Genoa 2
Georgetown 2
Guwahati 2
London 2
Mexico City 2
North Bergen 2
Paris 2
Phoenix 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
Barra dos Coqueiros 1
Bekalta 1
Belo Horizonte 1
Berlin 1
Bishkek 1
Bismarck 1
Bolzano 1
Brazzaville 1
Buenos Aires 1
Buzău 1
Totale 1.321
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 285
Modular sequent calculi for interpretability logics 251
Systems Security Modeling and Analysis at IMT Lucca 184
Simpson's proof systems for process verification: a fine-tuning (short paper) 154
Toward dynamic epistemic verification of zero-knowledge protocols 136
Archimede logica : l'enigma del compleanno 134
A Formal Proof of Modal Completeness for Provability Logic 133
Growing HOLMS, a HOL Light Library for Modal Systems 131
Machine translation: early criticisms revisited 128
Universal algebra in UniMath 127
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 125
Investigations of proof theory and automated reasoning for non-classical logics 125
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 121
La matematica delle dimostrazioni 117
Analysing Collective Adaptive Systems by Proving Theorems 116
A modular proof of semantic completeness for normal systems beyond the modal cube, formalised in HOLMS 23
Displayed universal algebra in UniMath: basic definitions and results 22
Totale 2.312
Categoria #
all - tutte 7.047
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.047


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.358 57 61 525 630 85 0 0 0 0 0 0 0
Totale 2.312