DAGNINO, FRANCESCO
 Distribuzione geografica
Continente #
EU - Europa 2.488
AS - Asia 173
SA - Sud America 35
NA - Nord America 23
AF - Africa 2
Totale 2.721
Nazione #
IT - Italia 2.479
SG - Singapore 67
CN - Cina 50
VN - Vietnam 37
BR - Brasile 20
US - Stati Uniti d'America 17
ID - Indonesia 8
AR - Argentina 7
HK - Hong Kong 4
MX - Messico 4
EC - Ecuador 3
CL - Cile 2
HN - Honduras 2
MY - Malesia 2
PK - Pakistan 2
PY - Paraguay 2
RU - Federazione Russa 2
AL - Albania 1
CO - Colombia 1
DE - Germania 1
DZ - Algeria 1
ES - Italia 1
GB - Regno Unito 1
IE - Irlanda 1
IN - India 1
LV - Lettonia 1
SE - Svezia 1
TW - Taiwan 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 2.721
Città #
Genoa 1.181
Genova 790
Vado Ligure 269
Rapallo 226
Ho Chi Minh City 16
Singapore 14
Beijing 11
Bordighera 11
Hanoi 11
Ashburn 6
Hong Kong 4
Jakarta 4
Mexico City 4
The Dalles 4
Ambato 2
Evanston 2
Haiphong 2
Hải Dương 2
Kuala Selangor 2
Lahore 2
Orem 2
Quảng Ngãi 2
Tianjin 2
Vercelli 2
Algiers 1
Arata 1
Bandung 1
Belén de Escobar 1
Berazategui 1
Buenos Aires 1
Buffalo 1
Campina Grande 1
Campinas 1
Campo Belo 1
Campo Largo 1
Chapecó 1
Ciudad del Este 1
Concordia 1
Denpasar 1
Durban 1
Governador Valadares 1
Guaporé 1
Guarulhos 1
Ijuí 1
Imperatriz 1
Irecê 1
Itamari 1
Kochi 1
La Plata 1
Macaé 1
Machala 1
Manchester 1
Nantou City 1
New York 1
Nuremberg 1
Paulínia 1
Quinta Normal 1
Riga 1
Rio das Ostras 1
Rio do Sul 1
Rostov-on-Don 1
Samarinda 1
San Bernardo 1
San Jose 1
San Pedro Sula 1
Santo André 1
Shantou 1
Shenzhen 1
Shkodër 1
Stockholm 1
São Lourenço 1
São Paulo 1
Tangshan 1
Tashkent 1
Tunuyán 1
Tây Ninh 1
Umbaúba 1
Volgograd 1
Vĩnh Long 1
Yoro 1
Totale 2.627
Nome #
Flexible Coinduction 225
Extending coinductive logic programming with co-facts 146
A formalism for specification of Java API interfaces 145
Towards a model of corecursion with default 144
:DRHOP, A Platform Proposal for Online Charity 134
Generalizing inference systems by coaxioms 126
Reasoning on Divergent Computations with Coaxioms 120
A big step from finite to infinite computations 108
Soundness Conditions for Big-Step Semantics 93
Corecursive featherweight Java revisited 89
Doctrines, modalities and comonads 89
A Meta-theory for Big-step Semantics 84
A Java-like calculus with heterogeneous coeffects 79
Flexible coinductive logic programming 79
Coaxioms: Flexible coinductive definitions by inference systems 71
Modeling Infinite Behaviour by Corules 69
Multi-Graded Featherweight Java 66
Fair Termination of Multiparty Sessions 66
An inductive abstract semantics for coFJ 62
Foundations of regular coinduction 59
Asynchronous Global Types in Co-logic Programming 58
A Java-like calculus with user-defined coeffects 54
Resource-Aware Soundness for Big-Step Semantics 53
A framework for big-step semantics 52
Deconfined Global Types for Asynchronous Sessions 49
Sound Regular Corecursion in coFJ 47
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad 46
Coeffects for sharing and mutation 45
QueryAGT: Asynchronous global types in co-logic programming[Formula presented] 45
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential 43
Quotients and Extensionality in Relational Doctrines 38
Deconfined Global Types for Asynchronous Sessions 38
Flexible coinduction in Agda 36
Flexible coinduction for infinite behaviour 34
A Fibrational Tale of Operational Logical Relations 34
Logical Foundations of Qantitative Equality 33
Fair termination of multiparty sessions 28
SMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions 17
An Effectful Object Calculus 6
Monadic Type-And-Effect Soundness 6
CAUCHY COMPLETIONS AND THE RULE OF UNIQUE CHOICE IN RELATIONAL DOCTRINES 4
QUANTITATIVE EQUALITY IN SUBSTRUCTURAL LOGIC VIA LIPSCHITZ DOCTRINES 2
Totale 2.822
Categoria #
all - tutte 11.830
article - articoli 4.978
book - libri 0
conference - conferenze 6.189
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 22.997


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021220 0 0 0 0 0 8 86 64 19 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/2026656 185 36 130 81 190 34 0 0 0 0 0 0
Totale 2.822