IRIS
Perini Brogi, Cosimo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.440
NA - Nord America 1.038
AS - Asia 468
SA - Sud America 99
AF - Africa 15
OC - Oceania 3
Totale 3.063
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.005
RU - Federazione Russa 913
IT - Italia 198
DE - Germania 140
CN - Cina 139
SG - Singapore 128
BR - Brasile 70
FI - Finlandia 59
FR - Francia 47
HK - Hong Kong 43
VN - Vietnam 43
IN - India 30
GB - Regno Unito 29
CA - Canada 22
BD - Bangladesh 15
IL - Israele 14
JP - Giappone 14
TR - Turchia 14
PL - Polonia 13
AR - Argentina 9
NL - Olanda 8
ZA - Sudafrica 8
AT - Austria 7
EC - Ecuador 7
MX - Messico 7
PK - Pakistan 7
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
NP - Nepal 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
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 3.063
Salva come PNG Salva come JPEG
Città #
Moscow 284
Dallas 240
Ashburn 224
San Jose 136
Council Bluffs 118
Munich 107
Singapore 71
Helsinki 48
Beijing 42
Hong Kong 42
Hefei 41
Los Angeles 24
Genoa 22
Lauterbourg 18
Ho Chi Minh City 16
New York 16
Santa Clara 15
Albignasego 14
Boardman 13
Tel Aviv 13
Atlanta 11
Lucca 11
São Paulo 11
Warsaw 11
Chennai 10
Florence 10
Rome 10
Shanghai 10
Chicago 8
Hanoi 8
Orem 8
Denver 7
Düsseldorf 7
Houston 7
Istanbul 7
Johannesburg 7
Montreal 7
Tokyo 7
Bologna 6
Columbus 6
Manchester 6
Milan 6
North Charleston 6
Shenzhen 6
Toronto 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
Mexico City 4
Mumbai 4
Naples 4
Phoenix 4
Turin 4
Verona 4
Villaricca 4
Baiso 3
Buenos Aires 3
Charleston 3
Lahore 3
Livorno 3
Montevideo 3
Rio de Janeiro 3
Seattle 3
Stockholm 3
Tallinn 3
Thái Nguyên 3
Venice 3
Aix-en-Provence 2
Basel 2
Bexley 2
Bochum 2
Boston 2
Brazzaville 2
Buffalo 2
Bắc Ninh 2
Dresden 2
Georgetown 2
Guayaquil 2
Guwahati 2
Islamabad 2
Kathmandu 2
Leipzig 2
Lima 2
London 2
Manassas 2
Medellín 2
Morainvilliers 2
Mérida 2
North Bergen 2
Paris 2
Pisa 2
Pittsburgh 2
Totale 1.871
Salva come PNG Salva come JPEG
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 313
Modular sequent calculi for interpretability logics 281
Systems Security Modeling and Analysis at IMT Lucca 226
Machine translation: early criticisms revisited 198
Simpson's proof systems for process verification: a fine-tuning (short paper) 192
Toward dynamic epistemic verification of zero-knowledge protocols 174
Growing HOLMS, a HOL Light Library for Modal Systems 165
Archimede logica : l'enigma del compleanno 165
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 164
Investigations of proof theory and automated reasoning for non-classical logics 163
Universal algebra in UniMath 162
A Formal Proof of Modal Completeness for Provability Logic 160
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 156
Analysing Collective Adaptive Systems by Proving Theorems 147
La matematica delle dimostrazioni 139
Il senso astratto delle cose 57
Displayed universal algebra in UniMath: basic definitions and results 56
A modular proof of semantic completeness for normal systems beyond the modal cube, formalised in HOLMS 54
A modular framework for proof-search via formalised modal completeness in HOL light 47
Why read the classics (of mathematical proofs)? 31
Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants 30
From applicative programming to verification-based knowledge: a Curry-Howard-Lambek reading 27
Reasoning on privacy policies 24
Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light (Extended Version) 23
Vuoto 12
Totale 3.166
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.709
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 9.709
Salva come PNG Salva come JPEG


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/20262.212 57 61 525 630 95 68 168 98 150 115 181 64
Totale 3.166