DAGNINO, FRANCESCO
 Distribuzione geografica
Continente #
EU - Europa 1.392
Totale 1.392
Nazione #
IT - Italia 1.392
Totale 1.392
Città #
Genova 790
Genoa 333
Rapallo 226
Vado Ligure 32
Bordighera 11
Totale 1.392
Nome #
Flexible Coinduction 147
Towards a model of corecursion with default 121
Generalizing inference systems by coaxioms 101
Reasoning on Divergent Computations with Coaxioms 100
:DRHOP, A Platform Proposal for Online Charity 98
Extending coinductive logic programming with co-facts 96
Soundness Conditions for Big-Step Semantics 79
A formalism for specification of Java API interfaces 77
Flexible coinductive logic programming 60
A big step from finite to infinite computations 47
Modeling Infinite Behaviour by Corules 46
Doctrines, modalities and comonads 46
Corecursive featherweight Java revisited 43
Coaxioms: Flexible coinductive definitions by inference systems 36
Foundations of regular coinduction 32
A Java-like calculus with heterogeneous coeffects 29
Asynchronous Global Types in Co-logic Programming 29
Multi-Graded Featherweight Java 28
An inductive abstract semantics for coFJ 26
Sound Regular Corecursion in coFJ 24
A Meta-theory for Big-step Semantics 23
A Java-like calculus with user-defined coeffects 20
QueryAGT: Asynchronous global types in co-logic programming[Formula presented] 20
Fair Termination of Multiparty Sessions 18
A framework for big-step semantics 18
Flexible coinduction in Agda 16
Resource-Aware Soundness for Big-Step Semantics 15
Deconfined Global Types for Asynchronous Sessions 14
Coeffects for sharing and mutation 14
Flexible coinduction for infinite behaviour 11
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad 9
Deconfined Global Types for Asynchronous Sessions 9
A Fibrational Tale of Operational Logical Relations 8
Quotients and Extensionality in Relational Doctrines 6
Logical Foundations of Qantitative Equality 5
Totale 1.471
Categoria #
all - tutte 6.458
article - articoli 2.747
book - libri 0
conference - conferenze 3.296
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 12.501


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020198 0 4 5 9 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/202545 35 10 0 0 0 0 0 0 0 0 0 0
Totale 1.471