Perini Brogi, Cosimo
 Distribuzione geografica
Continente #
EU - Europa 1.397
NA - Nord America 809
AS - Asia 444
SA - Sud America 97
AF - Africa 15
OC - Oceania 3
Totale 2.765
Nazione #
RU - Federazione Russa 913
US - Stati Uniti d'America 783
IT - Italia 163
DE - Germania 135
CN - Cina 128
SG - Singapore 122
BR - Brasile 68
FI - Finlandia 59
FR - Francia 45
VN - Vietnam 43
HK - Hong Kong 42
IN - India 30
GB - Regno Unito 28
CA - Canada 16
IL - Israele 14
JP - Giappone 14
TR - Turchia 14
PL - Polonia 13
BD - Bangladesh 10
AR - Argentina 9
NL - Olanda 8
ZA - Sudafrica 8
AT - Austria 7
EC - Ecuador 7
PK - Pakistan 7
MX - Messico 6
ES - Italia 5
AU - Australia 3
CO - Colombia 3
EE - Estonia 3
HU - Ungheria 3
IQ - Iraq 3
IR - Iran 3
SE - Svezia 3
UY - Uruguay 3
AE - Emirati Arabi Uniti 2
CG - Congo 2
CH - Svizzera 2
GY - Guiana 2
ID - Indonesia 2
KE - Kenya 2
LT - Lituania 2
PE - Perù 2
RO - Romania 2
SA - Arabia Saudita 2
TT - Trinidad e Tobago 2
VE - Venezuela 2
AZ - Azerbaigian 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
GT - Guatemala 1
HR - Croazia 1
JM - Giamaica 1
JO - Giordania 1
KG - Kirghizistan 1
LV - Lettonia 1
MA - Marocco 1
MY - Malesia 1
NP - Nepal 1
OM - Oman 1
PH - Filippine 1
PT - Portogallo 1
PY - Paraguay 1
TG - Togo 1
TH - Thailandia 1
TN - Tunisia 1
UA - Ucraina 1
Totale 2.765
Città #
Moscow 284
Dallas 240
Ashburn 219
Munich 107
San Jose 88
Singapore 65
Helsinki 48
Hefei 41
Hong Kong 41
Beijing 38
Genoa 22
Los Angeles 22
Lauterbourg 18
Ho Chi Minh City 16
Albignasego 14
Boardman 13
Tel Aviv 13
São Paulo 11
Warsaw 11
Chennai 10
New York 10
Santa Clara 10
Atlanta 9
Lucca 9
Shanghai 9
Hanoi 8
Orem 8
Chicago 7
Denver 7
Düsseldorf 7
Houston 7
Istanbul 7
Johannesburg 7
Rome 7
Tokyo 7
Columbus 6
Florence 6
Manchester 6
Milan 6
Montreal 6
North Charleston 6
Shenzhen 6
Turku 6
Urbino 6
Amsterdam 5
Ankara 5
Jyväskylä 5
Padova 5
Poplar 5
Quito 5
Assago 4
Brasília 4
Brooklyn 4
Mumbai 4
Phoenix 4
Toronto 4
Turin 4
Villaricca 4
Baiso 3
Buenos Aires 3
Charleston 3
Lahore 3
Livorno 3
Mexico City 3
Montevideo 3
Naples 3
Rio de Janeiro 3
Seattle 3
Stockholm 3
Tallinn 3
Thái Nguyên 3
Venice 3
Verona 3
Aix-en-Provence 2
Basel 2
Bexley 2
Bochum 2
Bologna 2
Boston 2
Brazzaville 2
Buffalo 2
Bắc Ninh 2
Council Bluffs 2
Dresden 2
Georgetown 2
Guayaquil 2
Guwahati 2
Islamabad 2
Lima 2
London 2
Manassas 2
Medellín 2
Mérida 2
North Bergen 2
Paris 2
Pisa 2
Pittsburgh 2
Roubaix 2
San Antonio 2
San Felice A Cancello 2
Totale 1.655
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 304
Modular sequent calculi for interpretability logics 271
Systems Security Modeling and Analysis at IMT Lucca 216
Simpson's proof systems for process verification: a fine-tuning (short paper) 181
Toward dynamic epistemic verification of zero-knowledge protocols 163
Archimede logica : l'enigma del compleanno 156
Machine translation: early criticisms revisited 155
Investigations of proof theory and automated reasoning for non-classical logics 153
Growing HOLMS, a HOL Light Library for Modal Systems 152
A Formal Proof of Modal Completeness for Provability Logic 151
Universal algebra in UniMath 150
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 147
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 143
Analysing Collective Adaptive Systems by Proving Theorems 138
La matematica delle dimostrazioni 133
A modular proof of semantic completeness for normal systems beyond the modal cube, formalised in HOLMS 50
Displayed universal algebra in UniMath: basic definitions and results 43
A modular framework for proof-search via formalised modal completeness in HOL light 38
Il senso astratto delle cose 35
Why read the classics (of mathematical proofs)? 25
Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants 22
From applicative programming to verification-based knowledge: a Curry-Howard-Lambek reading 19
Reasoning on privacy policies 17
Totale 2.862
Categoria #
all - tutte 8.159
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 8.159


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.908 57 61 525 630 95 68 168 98 150 56 0 0
Totale 2.862