Perini Brogi, Cosimo
 Distribuzione geografica
Continente #
EU - Europa 1.276
NA - Nord America 584
AS - Asia 265
SA - Sud America 61
AF - Africa 7
OC - Oceania 3
Totale 2.196
Nazione #
RU - Federazione Russa 912
US - Stati Uniti d'America 564
DE - Germania 131
IT - Italia 104
CN - Cina 98
SG - Singapore 81
FI - Finlandia 54
BR - Brasile 52
HK - Hong Kong 28
FR - Francia 21
GB - Regno Unito 19
IN - India 16
CA - Canada 14
IL - Israele 13
PL - Polonia 10
TR - Turchia 9
AT - Austria 7
JP - Giappone 5
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
AE - Emirati Arabi Uniti 2
IQ - Iraq 2
LT - Lituania 2
PK - Pakistan 2
VN - Vietnam 2
CG - Congo 1
CO - Colombia 1
CZ - Repubblica Ceca 1
GY - Guiana 1
HR - Croazia 1
HU - Ungheria 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.196
Città #
Moscow 284
Dallas 239
Ashburn 164
Munich 107
Singapore 55
Helsinki 45
Hefei 41
Beijing 30
Hong Kong 27
Los Angeles 15
Albignasego 14
Boardman 13
Tel Aviv 13
Shanghai 9
Warsaw 9
Chennai 7
Düsseldorf 7
São Paulo 7
Istanbul 6
North Charleston 6
Urbino 6
Atlanta 5
Denver 5
Houston 5
Jyväskylä 5
Lucca 5
Manchester 5
Montreal 5
Padova 5
Assago 4
Columbus 4
Florence 4
Johannesburg 4
Milan 4
New York 4
Santa Clara 4
Tokyo 4
Toronto 4
Turku 4
Villaricca 4
Amsterdam 3
Ankara 3
Brooklyn 3
Chicago 3
Livorno 3
Mumbai 3
Naples 3
Orem 3
Poplar 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
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
Bình Dương 1
Totale 1.301
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 282
Modular sequent calculi for interpretability logics 247
Systems Security Modeling and Analysis at IMT Lucca 178
Simpson's proof systems for process verification: a fine-tuning (short paper) 151
Toward dynamic epistemic verification of zero-knowledge protocols 132
Growing HOLMS, a HOL Light Library for Modal Systems 130
A Formal Proof of Modal Completeness for Provability Logic 130
Archimede logica : l'enigma del compleanno 130
Machine translation: early criticisms revisited 128
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 124
Universal algebra in UniMath 123
Investigations of proof theory and automated reasoning for non-classical logics 122
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 118
La matematica delle dimostrazioni 117
Analysing Collective Adaptive Systems by Proving Theorems 115
A modular proof of semantic completeness for normal systems beyond the modal cube, formalised in HOLMS 19
Displayed universal algebra in UniMath: basic definitions and results 19
Totale 2.265
Categoria #
all - tutte 6.887
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 6.887


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.311 57 61 525 630 38 0 0 0 0 0 0 0
Totale 2.265