IRIS
Perini Brogi, Cosimo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.153
EU - Europa 1.660
AS - Asia 500
Continente sconosciuto - Info sul continente non disponibili 145
SA - Sud America 100
AF - Africa 20
OC - Oceania 4
Totale 4.582
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.086
RU - Federazione Russa 914
IT - Italia 382
CN - Cina 146
DE - Germania 140
SG - Singapore 132
BR - Brasile 70
FI - Finlandia 59
HK - Hong Kong 56
FR - Francia 50
VN - Vietnam 43
CA - Canada 42
GB - Regno Unito 36
IN - India 32
BD - Bangladesh 20
JP - Giappone 15
IL - Israele 14
TR - Turchia 14
PL - Polonia 13
NL - Olanda 10
AR - Argentina 9
AT - Austria 9
ES - Italia 9
MX - Messico 8
ZA - Sudafrica 8
EC - Ecuador 7
PK - Pakistan 7
BE - Belgio 6
CR - Costa Rica 5
PT - Portogallo 5
AU - Australia 4
MA - Marocco 4
NI - Nicaragua 4
CO - Colombia 3
EE - Estonia 3
HR - Croazia 3
HU - Ungheria 3
IQ - Iraq 3
IR - Iran 3
LT - Lituania 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
GY - Guiana 2
HN - Honduras 2
ID - Indonesia 2
KE - Kenya 2
LU - Lussemburgo 2
NP - Nepal 2
PE - Perù 2
SA - Arabia Saudita 2
SC - Seychelles 2
VE - Venezuela 2
AZ - Azerbaigian 1
CL - Cile 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
GT - Guatemala 1
IE - Irlanda 1
JM - Giamaica 1
JO - Giordania 1
KG - Kirghizistan 1
LV - Lettonia 1
MY - Malesia 1
OM - Oman 1
PH - Filippine 1
PY - Paraguay 1
SV - El Salvador 1
TG - Togo 1
TH - Thailandia 1
TN - Tunisia 1
UA - Ucraina 1
Totale 4.437
Salva come PNG Salva come JPEG
Città #
Council Bluffs 822
Moscow 284
Dallas 242
Ashburn 240
San Jose 174
Munich 107
Singapore 75
Columbus 60
Helsinki 48
Beijing 47
Hong Kong 47
Hefei 41
Los Angeles 40
Santa Clara 35
Rome 27
Florence 23
Genoa 23
Chicago 21
Staranzano 21
New York 20
Lauterbourg 18
Bologna 17
Ho Chi Minh City 16
Albignasego 15
Phoenix 14
Boardman 13
Tel Aviv 13
Atlanta 12
Lucca 12
Montreal 11
São Paulo 11
Warsaw 11
Chennai 10
Denver 10
Shanghai 10
Toronto 10
Lido di Ostia 9
Milan 9
Hanoi 8
Houston 8
Naples 8
Orem 8
Seattle 8
Urbino 8
Buffalo 7
Düsseldorf 7
Istanbul 7
Johannesburg 7
Manchester 7
Tokyo 7
Treviso 7
North Charleston 6
Shenzhen 6
Turku 6
Amsterdam 5
Ankara 5
Boston 5
Herentals 5
Jyväskylä 5
North Kansas City 5
Padova 5
Poplar 5
Quito 5
Verona 5
Assago 4
Brasília 4
Brooklyn 4
Livorno 4
Managua 4
Mexico City 4
Mumbai 4
Perugia 4
The Dalles 4
Turin 4
Villaricca 4
Baiso 3
Bari 3
Brescia 3
Buenos Aires 3
Cambridge 3
Charleston 3
Kansas City 3
Lahore 3
Manassas 3
Miami 3
Montegrotto Terme 3
Montevideo 3
Ottawa 3
Padua 3
Paris 3
Pittsburgh 3
Rimini 3
Rio de Janeiro 3
Saginaw 3
San José 3
Stockholm 3
Tallinn 3
Thái Nguyên 3
Venice 3
Zagreb 3
Totale 2.902
Salva come PNG Salva come JPEG
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 344
Modular sequent calculi for interpretability logics 312
Systems Security Modeling and Analysis at IMT Lucca 265
Machine translation: early criticisms revisited 261
Simpson's proof systems for process verification: a fine-tuning (short paper) 228
Toward dynamic epistemic verification of zero-knowledge protocols 215
Universal algebra in UniMath 203
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 197
Growing HOLMS, a HOL Light Library for Modal Systems 196
Archimede logica : l'enigma del compleanno 196
A Formal Proof of Modal Completeness for Provability Logic 193
Investigations of proof theory and automated reasoning for non-classical logics 190
Analysing Collective Adaptive Systems by Proving Theorems 186
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 185
La matematica delle dimostrazioni 170
Il senso astratto delle cose 129
A modular proof of semantic completeness for normal systems beyond the modal cube, formalised in HOLMS 93
Displayed universal algebra in UniMath: basic definitions and results 91
A modular framework for proof-search via formalised modal completeness in HOL light 78
Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light (Extended Version) 68
From applicative programming to verification-based knowledge: a Curry-Howard-Lambek reading 62
Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants 61
Reasoning on privacy policies 59
Why read the classics (of mathematical proofs)? 58
On protocol security via computability logic 56
Vuoto 46
On decidability and bounded proofs in fragments of computability logic 43
Ultrafilter extensions for Veltman semantics 39
Eliminating cuts from non-nested reflection calculi 39
Growing HOLMS: a modular framework for modal logics within HOL Light Proof Assistant 38
Universal Algebra in UniMath 35
A proof theoretic framework for process verification 35
Introducing displayed universal algebra in UniMath 34
Growing HOLMS: a verified automated prover for Grzegorczyk logic in HOL light 34
Mapping abstract reasoning: a Freinet-inspired approach to creative logic communication in secondary schools 33
Cutting out the middle man: a game-theoretic analysis in computability logic of the Needham-Schroeder protocol 31
On the Goldblatt-Thomason theorem for interpretability logic 29
Growing a modular framework for modal systems: HOLMS 28
Proof systems for interpretability logics 22
Totale 4.582
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.054
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 15.054
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/20271.307 368 295 287 357 0 0 0 0 0 0 0 0
Totale 4.582