Perini Brogi, Cosimo
 Distribuzione geografica
Continente #
EU - Europa 1.278
NA - Nord America 599
AS - Asia 283
SA - Sud America 63
AF - Africa 7
OC - Oceania 3
Totale 2.233
Nazione #
RU - Federazione Russa 912
US - Stati Uniti d'America 579
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 11
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
NP - Nepal 1
PE - Perù 1
RO - Romania 1
SA - Arabia Saudita 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 2.233
Città #
Moscow 284
Dallas 239
Ashburn 168
Munich 107
Singapore 57
Helsinki 45
Hefei 41
Beijing 30
Hong Kong 27
Los Angeles 16
Albignasego 14
Boardman 13
Tel Aviv 13
Warsaw 10
Shanghai 9
Chennai 8
Düsseldorf 7
São Paulo 7
Denver 6
Istanbul 6
North Charleston 6
Tokyo 6
Urbino 6
Atlanta 5
Houston 5
Jyväskylä 5
Lucca 5
Manchester 5
Montreal 5
New York 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
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
Charleston 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.316
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 284
Modular sequent calculi for interpretability logics 250
Systems Security Modeling and Analysis at IMT Lucca 182
Simpson's proof systems for process verification: a fine-tuning (short paper) 154
Toward dynamic epistemic verification of zero-knowledge protocols 134
A Formal Proof of Modal Completeness for Provability Logic 133
Archimede logica : l'enigma del compleanno 133
Growing HOLMS, a HOL Light Library for Modal Systems 131
Machine translation: early criticisms revisited 128
Universal algebra in UniMath 126
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 120
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 21
Totale 2.302
Categoria #
all - tutte 7.025
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.025


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.348 57 61 525 630 75 0 0 0 0 0 0 0
Totale 2.302