IRIS
ANCONA, DAVIDE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 14.165
Totale 14.165
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 14.165
Totale 14.165
Salva come PNG Salva come JPEG
Città #
Genova 10.605
Rapallo 1.263
Genoa 1.242
Vado Ligure 1.009
Bordighera 46
Totale 14.165
Salva come PNG Salva come JPEG
Nome #
A three-valued type system for true positives detection in Java-like languages 175
A calculus for dynamic reconfiguration with low priority linking 158
A Primitive Calculus for Module Systems 149
A core calculus for Java exceptions 147
Coo-BDI: Extending the BDI Model with Cooperativity 147
Formal Techniques for Java-Like Programs 137
A Formal Framework with Late Binding 136
Coinductive type systems for object-oriented languages 135
Constrained global types for dynamic checking of protocol conformance in multi-agent systems 135
Flexible Type-Safe Linking of Components for Java-Like Languages 127
MIX(FL): a kernel language of mixin modules 127
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems 127
Towards a model of corecursion with default 126
A Provenly Correct Translation of Fickle into Java 126
Program Generation and Components 125
Modeling Multiple Class Loaders by a Calculus for Dynamic Linking 125
Coinductive subtyping for abstract compilation of object-orientedlanguages into Horn formulas 125
Corecursive Featherweight Java 125
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2015) 124
CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services 124
A calculus for dynamic linking 123
Complete coinductive subtyping for abstract compilation of object-oriented languages 123
Towards an Acceptance Testing Approach for Internet of Things Systems 121
A Fresh Calculus for Name Management 120
An Algebraic Approach to Mixins and Modularity 120
Reconciling positional and nominal binding 120
Jam: A smooth extension of Java with mixins 118
Coinductive big-step operational semantics for type soundness of Java-like languages 118
Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: A case study 118
Overriding Operators in a Mixin-Based Framework 117
A Formal Framework for Modules with State 117
Incremental Rebinding with Name Polymorphism 117
Comparing trace expressions and linear temporal logic for runtime verification 117
An abstract machine for asynchronous programs with closures and priority queues 117
Type inference by coinductive logic programming 116
An algebraic framework for separate type-checking 116
Jam-designing a Java extension with mixins 116
A type preserving translation of Fickle into Java 116
Type safe incremental rebinding 114
Towards a runtime verification approach for internet of things systems 114
Type inference for polymorphic methods in Java-like languages 113
FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain 113
A calculus with lazy module operators 113
An Acceptance Testing Approach for Internet of Things Systems 112
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach 111
A formal framework for compositional compilation 110
A parametric calculus for mobile open code 110
How to Prove Type Soundness of Java-like Languages Without Forgoing Big-step Semantics 110
A core calculus for Java exceptions (extended abstract) 110
True modules for Java-like languages. 109
True separate compilation for Java classes 109
Extending Casl by Late Binding 109
Generalizing inference systems by coaxioms 109
Managing bad AIPs with RIVERtools 108
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study 108
Static single information form for abstract compilation 107
Structural resolution for abstract compilation of object-oriented languages 106
A Coalgebraic Foundation for Coinductive Union Types 105
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol 105
A theory of mixin modules: Basic and derived operators 104
A Theoretical Perspective of Coinductive Logic Programming 104
Reasoning on Divergent Computations with Coaxioms 104
An Effective Translation of Fickle into Java 103
A theory of mixin modules: algebraic laws and reduction semantics 103
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? 103
Extending coinductive logic programming with co-facts 103
Principal typings for Java-like languages 102
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics 101
Behavioral Types in Programming Languages 101
Sound and complete subtyping between coinductive types for object-oriented languages 101
Mixin modules for dynamic rebinding 101
Preface to the Special Issue on Object-Oriented Programming Languages and Systems (OOPS 2008), A Special Track at the 23rd ACM Symposium on Applied Computing 100
Mixin modules and computational effects 100
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services 100
A formal framework for Java separate compilation. 98
co-LP: Back to the Roots 97
Regular corecursion in Prolog 96
Idealized coinductive type systems for imperative object-oriented programs 96
Semantic subtyping for imperative object-oriented languages 95
Parametric trace expressions for runtime verification of Java-like programs 94
1000 Years of Coo-BDI 93
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing 93
A calculus of module systems 91
Distributed Runtime Verification of JADE Multiagent Systems 91
A formal account of SSA in Java-like languages 91
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things 90
Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs 88
Regular corecursion in Prolog 88
Smart modules for Java-like languages 86
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange 85
Verifying and validating autonomous systems: Towards an integrated approach 85
A formalism for specification of Java API interfaces 84
Even more principal typings for Java-like languages 83
Guest Editorial of the special issue on OOPS Track at SAC 2005 82
An Algebra of Mixin Modules 82
Overloading and inheritance 82
CooWS: Adaptive BDI Agents meet Service-Oriented Programming 81
Ontology-based documentation extraction for semi-automatic migration of Java code 81
Polymorphic bytecode: Compositional compilation for Java-like languages 80
RML: Theory and practice of a domain specific language for runtime verification 79
Totale 10.956
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.497
article - articoli 11.184
book - libri 0
conference - conferenze 28.700
curatela - curatele 1.067
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.546
Totale 86.994
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203.255 0 0 0 0 304 344 652 275 371 685 456 168
2020/20211.166 90 89 115 70 73 79 123 95 144 109 79 100
2021/20221.930 37 124 163 199 64 113 133 457 102 161 66 311
2022/20231.597 158 83 14 141 232 286 47 108 278 16 195 39
2023/2024894 55 116 24 95 45 112 60 89 56 51 52 139
2024/20251.129 189 209 131 121 479 0 0 0 0 0 0 0
Totale 14.493