DAGNINO, FRANCESCO
 Distribuzione geografica
Continente #
EU - Europa 1.561
Totale 1.561
Nazione #
IT - Italia 1.561
Totale 1.561
Città #
Genova 790
Genoa 333
Rapallo 226
Vado Ligure 201
Bordighera 11
Totale 1.561
Nome #
Flexible Coinduction 153
Towards a model of corecursion with default 126
Generalizing inference systems by coaxioms 109
Reasoning on Divergent Computations with Coaxioms 104
Extending coinductive logic programming with co-facts 103
:DRHOP, A Platform Proposal for Online Charity 102
A formalism for specification of Java API interfaces 84
Soundness Conditions for Big-Step Semantics 82
Flexible coinductive logic programming 64
Modeling Infinite Behaviour by Corules 52
A big step from finite to infinite computations 51
Doctrines, modalities and comonads 49
Corecursive featherweight Java revisited 46
Coaxioms: Flexible coinductive definitions by inference systems 39
Foundations of regular coinduction 38
Multi-Graded Featherweight Java 33
A Java-like calculus with heterogeneous coeffects 33
A Meta-theory for Big-step Semantics 32
Asynchronous Global Types in Co-logic Programming 32
An inductive abstract semantics for coFJ 30
Sound Regular Corecursion in coFJ 27
QueryAGT: Asynchronous global types in co-logic programming[Formula presented] 25
Fair Termination of Multiparty Sessions 23
A Java-like calculus with user-defined coeffects 23
A framework for big-step semantics 22
Resource-Aware Soundness for Big-Step Semantics 21
Flexible coinduction in Agda 20
Deconfined Global Types for Asynchronous Sessions 18
Coeffects for sharing and mutation 17
Flexible coinduction for infinite behaviour 17
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad 14
Quotients and Extensionality in Relational Doctrines 12
Deconfined Global Types for Asynchronous Sessions 12
A Fibrational Tale of Operational Logical Relations 11
Logical Foundations of Qantitative Equality 8
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential 4
Fair termination of multiparty sessions 4
SMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions 3
Totale 1.643
Categoria #
all - tutte 7.431
article - articoli 3.129
book - libri 0
conference - conferenze 3.849
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 14.409


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020180 0 0 0 0 14 17 31 22 20 36 32 8
2020/2021249 4 7 8 4 6 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/2025217 35 46 22 15 99 0 0 0 0 0 0 0
Totale 1.643