IRIS
DAGNINO, FRANCESCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.641
NA - Nord America 511
AS - Asia 488
SA - Sud America 54
AF - Africa 12
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 3.708
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 2.554
US - Stati Uniti d'America 478
SG - Singapore 169
CN - Cina 155
VN - Vietnam 76
FR - Francia 36
BD - Bangladesh 35
BR - Brasile 29
DE - Germania 13
HK - Hong Kong 13
CA - Canada 11
ID - Indonesia 10
AR - Argentina 9
JP - Giappone 7
MX - Messico 7
FI - Finlandia 6
CO - Colombia 5
EC - Ecuador 5
GB - Regno Unito 5
IN - India 5
NL - Olanda 5
HN - Honduras 4
PK - Pakistan 4
CH - Svizzera 3
CR - Costa Rica 3
MY - Malesia 3
RU - Federazione Russa 3
TR - Turchia 3
UA - Ucraina 3
ZA - Sudafrica 3
CL - Cile 2
CZ - Repubblica Ceca 2
ES - Italia 2
ET - Etiopia 2
JO - Giordania 2
NI - Nicaragua 2
PL - Polonia 2
PY - Paraguay 2
SE - Svezia 2
TT - Trinidad e Tobago 2
UZ - Uzbekistan 2
VE - Venezuela 2
AG - Antigua e Barbuda 1
AL - Albania 1
AO - Angola 1
AU - Australia 1
AZ - Azerbaigian 1
CI - Costa d'Avorio 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EG - Egitto 1
IE - Irlanda 1
IQ - Iraq 1
JM - Giamaica 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.708
Salva come PNG Salva come JPEG
Città #
Genoa 1.189
Genova 790
Vado Ligure 269
Rapallo 226
San Jose 130
Singapore 73
Ashburn 61
Beijing 31
Ho Chi Minh City 28
University Park 28
Lauterbourg 27
New York 21
Hanoi 20
Council Bluffs 12
Hong Kong 12
Bordighera 11
Santa Clara 11
Boardman 10
Los Angeles 10
Tokyo 7
Dallas 6
Frankfurt am Main 6
Rome 6
Atlanta 5
Haiphong 5
Jakarta 5
Orem 5
Palermo 5
The Dalles 5
Vicenza 5
Amsterdam 4
Mexico City 4
Milan 4
Padua 4
Phoenix 4
Turin 4
Boston 3
City of London 3
Da Nang 3
Des Moines 3
Helsinki 3
Hải Dương 3
Montreal 3
Nuremberg 3
Paris 3
San Antonio 3
San José 3
Toronto 3
Zurich 3
Addis Ababa 2
Alexandria 2
Ambato 2
Bari 2
Belford Roxo 2
Brooklyn 2
Buffalo 2
Cape Town 2
Chaguanas 2
Chicago 2
Douglasville 2
Evanston 2
Florence 2
Houston 2
Karachi 2
Kuala Selangor 2
La Plata 2
Lahore 2
Lappeenranta 2
Leipzig 2
Long Beach 2
Managua 2
Milwaukee 2
Modena 2
Naperville 2
Naples 2
Orlando 2
Palmdale 2
Prato 2
Princeton 2
Quito 2
Quảng Ngãi 2
Selvazzano Dentro 2
Shenzhen 2
Stockholm 2
Stockton 2
São Paulo 2
Tashkent 2
Tianjin 2
Vercelli 2
Vĩnh Long 2
Warsaw 2
Waunakee 2
Abidjan 1
Ackerman 1
Adelaide 1
Ahmedabad 1
Ajax 1
Aldie 1
Algiers 1
Arata 1
Totale 3.176
Salva come PNG Salva come JPEG
Nome #
Flexible Coinduction 284
A formalism for specification of Java API interfaces 185
Extending coinductive logic programming with co-facts 184
Towards a model of corecursion with default 163
:DRHOP, A Platform Proposal for Online Charity 158
Generalizing inference systems by coaxioms 152
Reasoning on Divergent Computations with Coaxioms 142
A Meta-theory for Big-step Semantics 134
A big step from finite to infinite computations 130
Doctrines, modalities and comonads 128
Corecursive featherweight Java revisited 112
A Java-like calculus with heterogeneous coeffects 111
Soundness Conditions for Big-Step Semantics 110
Flexible coinductive logic programming 101
Modeling Infinite Behaviour by Corules 94
An inductive abstract semantics for coFJ 88
Multi-Graded Featherweight Java 86
Fair Termination of Multiparty Sessions 86
Coaxioms: Flexible coinductive definitions by inference systems 83
Asynchronous Global Types in Co-logic Programming 81
QueryAGT: Asynchronous global types in co-logic programming[Formula presented] 78
A Java-like calculus with user-defined coeffects 75
Foundations of regular coinduction 75
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential 72
Resource-Aware Soundness for Big-Step Semantics 72
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad 67
Flexible coinduction in Agda 67
Sound Regular Corecursion in coFJ 66
A framework for big-step semantics 64
Deconfined Global Types for Asynchronous Sessions 62
Coeffects for sharing and mutation 62
Quotients and Extensionality in Relational Doctrines 60
Logical Foundations of Qantitative Equality 58
Flexible coinduction for infinite behaviour 53
A Fibrational Tale of Operational Logical Relations 47
Deconfined Global Types for Asynchronous Sessions 46
Fair termination of multiparty sessions 42
An Effectful Object Calculus 33
CAUCHY COMPLETIONS AND THE RULE OF UNIQUE CHOICE IN RELATIONAL DOCTRINES 32
Monadic Type-And-Effect Soundness 26
SMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions 21
QUANTITATIVE EQUALITY IN SUBSTRUCTURAL LOGIC VIA LIPSCHITZ DOCTRINES 19
Totale 3.809
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.413
article - articoli 6.083
book - libri 0
conference - conferenze 7.548
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 28.044
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.508 185 36 130 81 190 102 227 76 101 131 74 175
2026/2027135 135 0 0 0 0 0 0 0 0 0 0 0
Totale 3.809