IRIS
Perini Brogi, Cosimo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.546
EU - Europa 1.509
AS - Asia 485
Continente sconosciuto - Info sul continente non disponibili 145
SA - Sud America 99
AF - Africa 16
OC - Oceania 4
Totale 3.804
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.501
RU - Federazione Russa 913
IT - Italia 251
CN - Cina 141
DE - Germania 140
SG - Singapore 129
BR - Brasile 70
FI - Finlandia 59
HK - Hong Kong 52
FR - Francia 47
VN - Vietnam 43
IN - India 30
GB - Regno Unito 29
CA - Canada 28
BD - Bangladesh 19
JP - Giappone 15
IL - Israele 14
TR - Turchia 14
PL - Polonia 13
AR - Argentina 9
NL - Olanda 9
ZA - Sudafrica 8
AT - Austria 7
EC - Ecuador 7
ES - Italia 7
MX - Messico 7
PK - Pakistan 7
BE - Belgio 6
AU - Australia 4
CO - Colombia 3
EE - Estonia 3
HR - Croazia 3
HU - Ungheria 3
IQ - Iraq 3
IR - Iran 3
PT - Portogallo 3
RO - Romania 3
SE - Svezia 3
TT - Trinidad e Tobago 3
UY - Uruguay 3
AE - Emirati Arabi Uniti 2
CG - Congo 2
CH - Svizzera 2
CR - Costa Rica 2
GY - Guiana 2
ID - Indonesia 2
KE - Kenya 2
LT - Lituania 2
LU - Lussemburgo 2
NI - Nicaragua 2
NP - Nepal 2
PE - Perù 2
SA - Arabia Saudita 2
VE - Venezuela 2
AZ - Azerbaigian 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
GT - Guatemala 1
HN - Honduras 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
PY - Paraguay 1
SC - Seychelles 1
TG - Togo 1
TH - Thailandia 1
TN - Tunisia 1
UA - Ucraina 1
Totale 3.659
Salva come PNG Salva come JPEG
Città #
Council Bluffs 478
Moscow 284
Dallas 241
Ashburn 228
San Jose 136
Munich 107
Singapore 72
Columbus 60
Helsinki 48
Hong Kong 44
Beijing 42
Hefei 41
Los Angeles 28
Santa Clara 24
Genoa 22
Florence 21
Lauterbourg 18
Ho Chi Minh City 16
New York 16
Albignasego 14
Boardman 13
Tel Aviv 13
Rome 12
Atlanta 11
Lucca 11
São Paulo 11
Warsaw 11
Bologna 10
Chennai 10
Montreal 10
Shanghai 10
Lido di Ostia 9
Chicago 8
Denver 8
Hanoi 8
Milan 8
Orem 8
Düsseldorf 7
Houston 7
Istanbul 7
Johannesburg 7
Tokyo 7
Toronto 7
Manchester 6
North Charleston 6
Shenzhen 6
Turku 6
Urbino 6
Amsterdam 5
Ankara 5
Herentals 5
Jyväskylä 5
North Kansas City 5
Padova 5
Poplar 5
Quito 5
Seattle 5
Verona 5
Assago 4
Boston 4
Brasília 4
Brooklyn 4
Mexico City 4
Mumbai 4
Naples 4
Phoenix 4
The Dalles 4
Turin 4
Villaricca 4
Baiso 3
Bari 3
Buenos Aires 3
Charleston 3
Lahore 3
Livorno 3
Manassas 3
Montevideo 3
Pittsburgh 3
Rio de Janeiro 3
Stockholm 3
Tallinn 3
Thái Nguyên 3
Venice 3
Zagreb 3
Aix-en-Provence 2
Basel 2
Bexley 2
Bochum 2
Brazzaville 2
Buffalo 2
Bắc Ninh 2
Carpi 2
Dhaka 2
Dresden 2
Georgetown 2
Grand Rapids 2
Guayaquil 2
Guwahati 2
Islamabad 2
Kathmandu 2
Totale 2.354
Salva come PNG Salva come JPEG
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 330
Modular sequent calculi for interpretability logics 296
Systems Security Modeling and Analysis at IMT Lucca 245
Machine translation: early criticisms revisited 245
Simpson's proof systems for process verification: a fine-tuning (short paper) 209
Toward dynamic epistemic verification of zero-knowledge protocols 191
Growing HOLMS, a HOL Light Library for Modal Systems 182
Archimede logica : l'enigma del compleanno 182
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 180
Universal algebra in UniMath 177
A Formal Proof of Modal Completeness for Provability Logic 176
Investigations of proof theory and automated reasoning for non-classical logics 176
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 172
Analysing Collective Adaptive Systems by Proving Theorems 160
La matematica delle dimostrazioni 157
Il senso astratto delle cose 85
Displayed universal algebra in UniMath: basic definitions and results 73
A modular proof of semantic completeness for normal systems beyond the modal cube, formalised in HOLMS 72
A modular framework for proof-search via formalised modal completeness in HOL light 63
Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants 47
Why read the classics (of mathematical proofs)? 45
Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light (Extended Version) 43
From applicative programming to verification-based knowledge: a Curry-Howard-Lambek reading 42
Reasoning on privacy policies 40
Vuoto 28
On protocol security via computability logic 21
Eliminating cuts from non-nested reflection calculi 21
Ultrafilter extensions for Veltman semantics 20
A proof theoretic framework for process verification 18
On decidability and bounded proofs in fragments of computability logic 16
Growing HOLMS: a verified automated prover for Grzegorczyk logic in HOL light 14
Mapping abstract reasoning: a Freinet-inspired approach to creative logic communication in secondary schools 14
Introducing displayed universal algebra in UniMath 13
Growing HOLMS: a modular framework for modal logics within HOL Light Proof Assistant 13
Growing a modular framework for modal systems: HOLMS 10
Cutting out the middle man: a game-theoretic analysis in computability logic of the Needham-Schroeder protocol 9
On the Goldblatt-Thomason theorem for interpretability logic 8
Universal Algebra in UniMath 6
Proof systems for interpretability logics 5
Totale 3.804
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.104
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 12.104
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.321 57 61 525 630 95 68 168 98 150 115 181 173
2026/2027529 368 161 0 0 0 0 0 0 0 0 0 0
Totale 3.804