IRIS
DAGNINO, FRANCESCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.597
AS - Asia 430
NA - Nord America 220
SA - Sud America 51
AF - Africa 12
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 3.312
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 2.520
US - Stati Uniti d'America 205
SG - Singapore 168
CN - Cina 136
VN - Vietnam 76
FR - Francia 32
BR - Brasile 28
DE - Germania 13
ID - Indonesia 10
AR - Argentina 9
HK - Hong Kong 8
JP - Giappone 7
MX - Messico 7
FI - Finlandia 6
GB - Regno Unito 5
IN - India 5
CO - Colombia 4
EC - Ecuador 4
PK - Pakistan 4
BD - Bangladesh 3
CA - Canada 3
RU - Federazione Russa 3
TR - Turchia 3
UA - Ucraina 3
ZA - Sudafrica 3
CL - Cile 2
ES - Italia 2
ET - Etiopia 2
HN - Honduras 2
JO - Giordania 2
MY - Malesia 2
NL - Olanda 2
PL - Polonia 2
PY - Paraguay 2
SE - Svezia 2
UZ - Uzbekistan 2
VE - Venezuela 2
AL - Albania 1
AO - Angola 1
AU - Australia 1
AZ - Azerbaigian 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EG - Egitto 1
IE - Irlanda 1
IQ - Iraq 1
LT - Lituania 1
LV - Lettonia 1
ML - Mali 1
NG - Nigeria 1
PA - Panama 1
SA - Arabia Saudita 1
SI - Slovenia 1
TN - Tunisia 1
TW - Taiwan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 3.312
Salva come PNG Salva come JPEG
Città #
Genoa 1.184
Genova 790
Vado Ligure 269
Rapallo 226
San Jose 77
Singapore 72
Ashburn 31
Ho Chi Minh City 28
Lauterbourg 27
Hanoi 20
New York 14
Beijing 12
Council Bluffs 12
Bordighera 11
Hong Kong 8
Tokyo 7
Frankfurt am Main 6
Haiphong 5
Jakarta 5
Orem 5
The Dalles 5
Vicenza 5
Mexico City 4
Palermo 4
Rome 4
Turin 4
City of London 3
Da Nang 3
Des Moines 3
Helsinki 3
Hải Dương 3
Los Angeles 3
Montreal 3
Nuremberg 3
Padua 3
Santa Clara 3
Addis Ababa 2
Ambato 2
Amsterdam 2
Cape Town 2
Dallas 2
Evanston 2
Karachi 2
Kuala Selangor 2
La Plata 2
Lahore 2
Lappeenranta 2
Leipzig 2
Modena 2
Prato 2
Quảng Ngãi 2
Shenzhen 2
Stockholm 2
São Paulo 2
Tashkent 2
Tianjin 2
Vercelli 2
Vĩnh Long 2
Warsaw 2
Abidjan 1
Adelaide 1
Ahmedabad 1
Alexandria 1
Algiers 1
Arata 1
Arauca 1
Atlanta 1
Bamako 1
Bandung 1
Bari 1
Barreiras 1
Belford Roxo 1
Belén de Escobar 1
Berazategui 1
Brooklyn 1
Buenos Aires 1
Buffalo 1
Bình Phước 1
Cali 1
Campina Grande 1
Campinas 1
Campo Belo 1
Campo Largo 1
Caracas 1
Carangola 1
Cardiff 1
Castelvetro di Modena 1
Catania 1
Chapecó 1
Charlotte 1
Chicago 1
Ciudad del Este 1
Concordia 1
Delhi 1
Denizli 1
Denpasar 1
Denver 1
Dionísio Cerqueira 1
Dnipro 1
Durban 1
Totale 2.952
Salva come PNG Salva come JPEG
Nome #
Flexible Coinduction 269
A formalism for specification of Java API interfaces 173
Extending coinductive logic programming with co-facts 158
Towards a model of corecursion with default 155
:DRHOP, A Platform Proposal for Online Charity 149
Generalizing inference systems by coaxioms 139
Reasoning on Divergent Computations with Coaxioms 134
A big step from finite to infinite computations 119
A Meta-theory for Big-step Semantics 117
Doctrines, modalities and comonads 117
Corecursive featherweight Java revisited 106
A Java-like calculus with heterogeneous coeffects 100
Soundness Conditions for Big-Step Semantics 100
Flexible coinductive logic programming 89
Modeling Infinite Behaviour by Corules 82
Coaxioms: Flexible coinductive definitions by inference systems 81
Multi-Graded Featherweight Java 80
An inductive abstract semantics for coFJ 80
Fair Termination of Multiparty Sessions 75
Asynchronous Global Types in Co-logic Programming 74
Foundations of regular coinduction 71
A Java-like calculus with user-defined coeffects 67
Resource-Aware Soundness for Big-Step Semantics 67
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential 62
Deconfined Global Types for Asynchronous Sessions 59
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad 57
A framework for big-step semantics 57
Sound Regular Corecursion in coFJ 57
Coeffects for sharing and mutation 54
Flexible coinduction in Agda 52
Quotients and Extensionality in Relational Doctrines 51
QueryAGT: Asynchronous global types in co-logic programming[Formula presented] 49
Logical Foundations of Qantitative Equality 46
Flexible coinduction for infinite behaviour 46
Deconfined Global Types for Asynchronous Sessions 43
A Fibrational Tale of Operational Logical Relations 42
Fair termination of multiparty sessions 37
CAUCHY COMPLETIONS AND THE RULE OF UNIQUE CHOICE IN RELATIONAL DOCTRINES 26
An Effectful Object Calculus 24
Monadic Type-And-Effect Soundness 20
SMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions 20
QUANTITATIVE EQUALITY IN SUBSTRUCTURAL LOGIC VIA LIPSCHITZ DOCTRINES 9
Totale 3.413
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.776
article - articoli 5.369
book - libri 0
conference - conferenze 6.681
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 24.826
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202143 0 0 0 0 0 0 0 0 0 16 9 18
2021/2022263 11 7 19 21 5 15 6 49 21 25 4 80
2022/2023292 19 7 1 7 42 38 22 32 68 5 42 9
2023/2024302 13 21 20 47 16 15 37 23 19 32 23 36
2024/2025740 35 46 22 15 100 79 93 106 31 39 79 95
2025/20261.247 185 36 130 81 190 102 227 76 101 119 0 0
Totale 3.413