Perini Brogi, Cosimo
 Distribuzione geografica
Continente #
EU - Europa 483
NA - Nord America 188
AS - Asia 135
SA - Sud America 42
OC - Oceania 2
AF - Africa 1
Totale 851
Nazione #
RU - Federazione Russa 232
US - Stati Uniti d'America 185
DE - Germania 112
IT - Italia 68
SG - Singapore 57
FI - Finlandia 52
BR - Brasile 36
CN - Cina 25
HK - Hong Kong 25
IL - Israele 13
TR - Turchia 7
FR - Francia 5
AT - Austria 4
IN - India 4
EC - Ecuador 3
AR - Argentina 2
AU - Australia 2
CA - Canada 2
GB - Regno Unito 2
AE - Emirati Arabi Uniti 1
BD - Bangladesh 1
CZ - Repubblica Ceca 1
HR - Croazia 1
HU - Ungheria 1
JP - Giappone 1
KG - Kirghizistan 1
LT - Lituania 1
LV - Lettonia 1
MX - Messico 1
NL - Olanda 1
PE - Perù 1
PL - Polonia 1
RO - Romania 1
ZA - Sudafrica 1
Totale 851
Città #
Ashburn 128
Munich 93
Moscow 79
Singapore 49
Helsinki 44
Hong Kong 25
Albignasego 13
Tel Aviv 13
Beijing 12
Boardman 12
Shanghai 9
Düsseldorf 7
Istanbul 6
North Charleston 6
Jyväskylä 5
Los Angeles 5
Padova 5
Assago 4
Florence 3
Livorno 3
Lucca 3
Turku 3
Atlanta 2
Bologna 2
Buffalo 2
Dresden 2
Guwahati 2
Milan 2
North Bergen 2
Quito 2
Serra 2
São Paulo 2
Verona 2
Xi'an 2
Almirante Tamandaré 1
Alta Floresta 1
Ankara 1
Arapiraca 1
Araras 1
Barra dos Coqueiros 1
Belo Horizonte 1
Berlin 1
Bishkek 1
Bolzano 1
Brasília 1
Buenos Aires 1
Buzău 1
Campina Grande 1
Cape Town 1
Carpenedolo 1
Coimbatore 1
Delhi 1
Diadema 1
Dubai 1
Erechim 1
Fartura 1
Fortaleza 1
Francisco Morato 1
Frankfurt am Main 1
Garanhuns 1
Genoa 1
Grozny 1
Guarulhos 1
Guayaquil 1
Hamburg 1
Homburg 1
Lauterbourg 1
Lavagna 1
Lima 1
Lomas de Zamora 1
Lorena 1
L’Aquila 1
Macaé 1
Maceió 1
Marília 1
Messina 1
Mymensingh 1
Naples 1
New York 1
Nuremberg 1
Ogden 1
Orindiúva 1
Ouro Preto do Oeste 1
Pachuca 1
Parauapebas 1
Pelotas 1
Pirapora do Bom Jesus 1
Ponta Porã 1
Portsmouth 1
Prague 1
Presidente Prudente 1
Riga 1
Rio das Ostras 1
Rome 1
Salvador 1
Santiago 1
Santo André 1
Sioux Falls 1
Sopron 1
Sydney 1
Totale 617
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 209
Systems Security Modeling and Analysis at IMT Lucca 95
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper) 67
A Formal Proof of Modal Completeness for Provability Logic 59
Toward Dynamic Epistemic Verification of Zero-Knowledge Protocols 59
Archimede logica : l'enigma del compleanno 56
Machine Translation: Early Criticisms Revisited 56
Investigations of proof theory and automated reasoning for non-classical logics 55
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 52
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 50
La matematica delle dimostrazioni 50
Analysing Collective Adaptive Systems by Proving Theorems 47
Universal algebra in UniMath 44
Totale 899
Categoria #
all - tutte 3.208
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 3.208


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/2025858 13 24 19 67 36 92 121 46 110 111 213 6
Totale 899