Perini Brogi, Cosimo
 Distribuzione geografica
Continente #
EU - Europa 1.283
NA - Nord America 630
AS - Asia 287
SA - Sud America 64
AF - Africa 11
OC - Oceania 3
Totale 2.278
Nazione #
RU - Federazione Russa 913
US - Stati Uniti d'America 609
DE - Germania 131
IT - Italia 104
CN - Cina 99
SG - Singapore 94
BR - Brasile 54
FI - Finlandia 54
HK - Hong Kong 28
GB - Regno Unito 22
FR - Francia 21
IN - India 17
CA - Canada 15
IL - Israele 13
PL - Polonia 12
TR - Turchia 10
AT - Austria 7
JP - Giappone 7
ZA - Sudafrica 7
NL - Olanda 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
ID - Indonesia 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
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
TH - Thailandia 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 2.278
Città #
Moscow 284
Dallas 239
Ashburn 178
Munich 107
Singapore 58
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
São Paulo 8
Denver 7
Düsseldorf 7
New York 7
Atlanta 6
Istanbul 6
Johannesburg 6
Manchester 6
Montreal 6
North Charleston 6
Tokyo 6
Urbino 6
Houston 5
Jyväskylä 5
Lucca 5
Orem 5
Padova 5
Poplar 5
Amsterdam 4
Ankara 4
Assago 4
Columbus 4
Florence 4
Milan 4
Phoenix 4
Santa Clara 4
Toronto 4
Turku 4
Villaricca 4
Brooklyn 3
Charleston 3
Chicago 3
Livorno 3
Mumbai 3
Naples 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
Bangkok 1
Barra dos Coqueiros 1
Bekalta 1
Belo Horizonte 1
Berlin 1
Bishkek 1
Bismarck 1
Bolzano 1
Brazzaville 1
Buenos Aires 1
Totale 1.347
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 287
Modular sequent calculi for interpretability logics 253
Systems Security Modeling and Analysis at IMT Lucca 189
Simpson's proof systems for process verification: a fine-tuning (short paper) 158
Toward dynamic epistemic verification of zero-knowledge protocols 139
Archimede logica : l'enigma del compleanno 135
A Formal Proof of Modal Completeness for Provability Logic 134
Growing HOLMS, a HOL Light Library for Modal Systems 131
Universal algebra in UniMath 129
Machine translation: early criticisms revisited 129
Investigations of proof theory and automated reasoning for non-classical logics 127
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 126
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 124
La matematica delle dimostrazioni 119
Analysing Collective Adaptive Systems by Proving Theorems 117
A modular proof of semantic completeness for normal systems beyond the modal cube, formalised in HOLMS 26
Displayed universal algebra in UniMath: basic definitions and results 24
Totale 2.347
Categoria #
all - tutte 7.180
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.180


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.393 57 61 525 630 95 25 0 0 0 0 0 0
Totale 2.347