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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019780 0 0 0 0 0 0 0 0 0 158 332 290
2019/20203.880 181 70 162 212 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/2024703 55 116 24 95 45 112 60 89 56 51 0 0
Totale 13.173