DAGNINO, FRANCESCO
 Distribuzione geografica
Continente #
EU - Europa 1.288
Totale 1.288
Nazione #
IT - Italia 1.288
Totale 1.288
Città #
Genova 790
Genoa 261
Rapallo 226
Bordighera 11
Totale 1.288
Nome #
Flexible Coinduction 143
Towards a model of corecursion with default 119
Generalizing inference systems by coaxioms 101
Reasoning on Divergent Computations with Coaxioms 98
:DRHOP, A Platform Proposal for Online Charity 94
Extending coinductive logic programming with co-facts 90
Soundness Conditions for Big-Step Semantics 77
A formalism for specification of Java API interfaces 72
Flexible coinductive logic programming 56
Modeling Infinite Behaviour by Corules 46
Corecursive featherweight Java revisited 43
A big step from finite to infinite computations 43
Doctrines, modalities and comonads 39
Coaxioms: Flexible coinductive definitions by inference systems 32
Foundations of regular coinduction 30
Asynchronous Global Types in Co-logic Programming 28
Multi-Graded Featherweight Java 24
Sound Regular Corecursion in coFJ 22
An inductive abstract semantics for coFJ 22
A Java-like calculus with heterogeneous coeffects 21
A Meta-theory for Big-step Semantics 21
Fair Termination of Multiparty Sessions 17
QueryAGT: Asynchronous global types in co-logic programming[Formula presented] 17
A framework for big-step semantics 16
A Java-like calculus with user-defined coeffects 15
Flexible coinduction in Agda 15
Deconfined Global Types for Asynchronous Sessions 12
Flexible coinduction for infinite behaviour 11
Coeffects for sharing and mutation 10
A Fibrational Tale of Operational Logical Relations 7
Deconfined Global Types for Asynchronous Sessions 6
Resource-Aware Soundness for Big-Step Semantics 6
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad 5
Quotients and Extensionality in Relational Doctrines 5
Logical Foundations of Qantitative Equality 4
Totale 1.367
Categoria #
all - tutte 5.507
article - articoli 2.336
book - libri 0
conference - conferenze 2.798
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 10.641


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201936 0 0 0 0 0 0 0 0 0 0 18 18
2019/2020209 11 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/2024243 13 21 20 47 16 15 37 23 19 32 0 0
Totale 1.367