Perini Brogi, Cosimo
 Distribuzione geografica
Continente #
EU - Europa 1.246
NA - Nord America 486
AS - Asia 228
SA - Sud America 57
AF - Africa 6
OC - Oceania 2
Totale 2.025
Nazione #
RU - Federazione Russa 912
US - Stati Uniti d'America 474
DE - Germania 129
IT - Italia 98
CN - Cina 93
SG - Singapore 60
FI - Finlandia 54
BR - Brasile 49
HK - Hong Kong 28
FR - Francia 20
GB - Regno Unito 14
IL - Israele 13
IN - India 11
CA - Canada 8
TR - Turchia 8
PL - Polonia 5
AT - Austria 4
ZA - Sudafrica 4
AR - Argentina 3
EC - Ecuador 3
AE - Emirati Arabi Uniti 2
AU - Australia 2
BD - Bangladesh 2
IQ - Iraq 2
JP - Giappone 2
MX - Messico 2
NL - Olanda 2
PK - Pakistan 2
VN - Vietnam 2
CG - Congo 1
CO - Colombia 1
CZ - Repubblica Ceca 1
ES - Italia 1
HR - Croazia 1
HU - Ungheria 1
JM - Giamaica 1
KG - Kirghizistan 1
LT - Lituania 1
LV - Lettonia 1
NP - Nepal 1
PE - Perù 1
RO - Romania 1
SA - Arabia Saudita 1
SE - Svezia 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 2.025
Città #
Moscow 284
Dallas 238
Ashburn 140
Munich 107
Singapore 52
Helsinki 45
Hefei 41
Beijing 28
Hong Kong 27
Albignasego 14
Boardman 13
Tel Aviv 13
Los Angeles 10
Shanghai 9
Düsseldorf 7
Istanbul 6
North Charleston 6
Urbino 6
Jyväskylä 5
Lucca 5
Padova 5
Assago 4
Chennai 4
Milan 4
São Paulo 4
Toronto 4
Turku 4
Villaricca 4
Warsaw 4
Atlanta 3
Florence 3
Johannesburg 3
Livorno 3
Manchester 3
Turin 3
Ankara 2
Bexley 2
Bochum 2
Bologna 2
Brasília 2
Brooklyn 2
Buffalo 2
Charleston 2
Columbus 2
Dresden 2
Genoa 2
Guwahati 2
Naples 2
North Bergen 2
Pisa 2
Poplar 2
Quito 2
Rio de Janeiro 2
Rome 2
San Felice A Cancello 2
Santa Clara 2
Serra 2
St Petersburg 2
Verona 2
Xi'an 2
Akron 1
Almirante Tamandaré 1
Alta Floresta 1
Arapiraca 1
Araras 1
Baghdad 1
Barra dos Coqueiros 1
Bekalta 1
Belo Horizonte 1
Berlin 1
Bishkek 1
Bolzano 1
Boston 1
Brazzaville 1
Buenos Aires 1
Buzău 1
Bình Dương 1
Campina Grande 1
Cape Town 1
Carpenedolo 1
Charlotte 1
Coimbatore 1
Criciúma 1
Delhi 1
Denver 1
Diadema 1
Dubai 1
Duhok 1
Dyersburg 1
Erechim 1
Fartura 1
Flower Mound 1
Fortaleza 1
Francisco Morato 1
Frankfurt am Main 1
Garanhuns 1
Garrafão do Norte 1
Glasgow 1
Grozny 1
Guangzhou 1
Totale 1.201
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 272
Modular sequent calculi for interpretability logics 237
Systems Security Modeling and Analysis at IMT Lucca 170
Simpson's proof systems for process verification: a fine-tuning (short paper) 142
Toward dynamic epistemic verification of zero-knowledge protocols 124
Archimede logica : l'enigma del compleanno 121
A Formal Proof of Modal Completeness for Provability Logic 120
Growing HOLMS, a HOL Light Library for Modal Systems 119
Machine translation: early criticisms revisited 119
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 115
Investigations of proof theory and automated reasoning for non-classical logics 114
Universal algebra in UniMath 113
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 109
La matematica delle dimostrazioni 108
Analysing Collective Adaptive Systems by Proving Theorems 105
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS 1
Displayed Universal Algebra in UniMath: Basic Definitions and Results 1
Totale 2.090
Categoria #
all - tutte 6.586
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.586


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.136 57 61 525 493 0 0 0 0 0 0 0 0
Totale 2.090