Perini Brogi, Cosimo
 Distribuzione geografica
Continente #
EU - Europa 1.281
NA - Nord America 613
AS - Asia 283
SA - Sud America 63
AF - Africa 10
OC - Oceania 3
Totale 2.253
Nazione #
RU - Federazione Russa 913
US - Stati Uniti d'America 593
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 6
ZA - Sudafrica 6
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.253
Città #
Moscow 284
Dallas 239
Ashburn 173
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
Johannesburg 5
Jyväskylä 5
Lucca 5
Manchester 5
Montreal 5
Padova 5
Amsterdam 4
Assago 4
Columbus 4
Florence 4
Milan 4
Poplar 4
Santa Clara 4
Toronto 4
Turku 4
Villaricca 4
Ankara 3
Brooklyn 3
Charleston 3
Chicago 3
Livorno 3
Mumbai 3
Naples 3
Orem 3
Phoenix 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
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.329
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 286
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) 156
Toward dynamic epistemic verification of zero-knowledge protocols 138
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 129
Universal algebra in UniMath 127
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 126
Investigations of proof theory and automated reasoning for non-classical logics 125
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 122
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 24
Displayed universal algebra in UniMath: basic definitions and results 23
Totale 2.322
Categoria #
all - tutte 7.081
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.081


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.368 57 61 525 630 95 0 0 0 0 0 0 0
Totale 2.322