Perini Brogi, Cosimo
 Distribuzione geografica
Continente #
EU - Europa 126
NA - Nord America 42
AS - Asia 36
SA - Sud America 2
Totale 206
Nazione #
RU - Federazione Russa 57
IT - Italia 44
US - Stati Uniti d'America 40
SG - Singapore 14
CN - Cina 12
DE - Germania 12
FI - Finlandia 7
TR - Turchia 6
AT - Austria 4
CA - Canada 2
EC - Ecuador 2
AE - Emirati Arabi Uniti 1
HK - Hong Kong 1
HR - Croazia 1
IN - India 1
KG - Kirghizistan 1
LT - Lituania 1
Totale 206
Città #
Albignasego 13
Boardman 12
Singapore 11
Shanghai 8
Helsinki 7
Istanbul 6
Munich 6
Moscow 5
North Charleston 5
Padova 5
Los Angeles 3
Lucca 3
Atlanta 2
Buffalo 2
North Bergen 2
Quito 2
Verona 2
Xi'an 2
Berlin 1
Bishkek 1
Bolzano 1
Delhi 1
Dubai 1
Düsseldorf 1
Florence 1
Genoa 1
Hamburg 1
Homburg 1
Hong Kong 1
L’Aquila 1
Milan 1
New York 1
Ogden 1
Rome 1
Toronto 1
Vienna 1
Wuxi 1
Zagreb 1
Totale 116
Nome #
Mechanising Gödel–Löb Provability Logic in HOL Light 46
A Formal Proof of Modal Completeness for Provability Logic 27
Machine Translation: Early Criticisms Revisited 25
Investigations of proof theory and automated reasoning for non-classical logics 22
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper) 21
Systems Security Modeling and Analysis at IMT Lucca 19
Toward Dynamic Epistemic Verification of Zero-Knowledge Protocols 19
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 18
Archimede logica : l'enigma del compleanno 17
La matematica delle dimostrazioni 14
Analysing Collective Adaptive Systems by Proving Theorems 11
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 11
Totale 250
Categoria #
all - tutte 1.490
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 1.490


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/2025209 13 24 19 67 36 50 0 0 0 0 0 0
Totale 250