IRIS
ANCONA, DAVIDE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 17.404
AS - Asia 618
SA - Sud America 126
NA - Nord America 69
AF - Africa 11
Totale 18.228
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 17.385
SG - Singapore 265
CN - Cina 176
VN - Vietnam 119
BR - Brasile 80
US - Stati Uniti d'America 49
AR - Argentina 24
HK - Hong Kong 18
MX - Messico 14
EC - Ecuador 8
ID - Indonesia 8
CL - Cile 5
GB - Regno Unito 5
IQ - Iraq 5
ZA - Sudafrica 5
VE - Venezuela 4
AL - Albania 3
BD - Bangladesh 3
CO - Colombia 3
PS - Palestinian Territory 3
RU - Federazione Russa 3
AE - Emirati Arabi Uniti 2
EG - Egitto 2
IN - India 2
JO - Giordania 2
PH - Filippine 2
PK - Pakistan 2
PY - Paraguay 2
TR - Turchia 2
UZ - Uzbekistan 2
AD - Andorra 1
AZ - Azerbaigian 1
BB - Barbados 1
BS - Bahamas 1
CA - Canada 1
CG - Congo 1
CR - Costa Rica 1
FI - Finlandia 1
FR - Francia 1
HN - Honduras 1
HR - Croazia 1
LB - Libano 1
LV - Lettonia 1
MA - Marocco 1
MN - Mongolia 1
MR - Mauritania 1
NI - Nicaragua 1
NL - Olanda 1
NP - Nepal 1
OM - Oman 1
SA - Arabia Saudita 1
SE - Svezia 1
TN - Tunisia 1
TW - Taiwan 1
UA - Ucraina 1
Totale 18.228
Salva come PNG Salva come JPEG
Città #
Genova 10.605
Genoa 4.200
Vado Ligure 1.265
Rapallo 1.263
Singapore 136
Beijing 56
Bordighera 46
Ho Chi Minh City 38
Hanoi 31
Ashburn 26
Hong Kong 18
Haiphong 10
São Paulo 9
Tianjin 9
Hải Dương 7
Mexico City 7
The Dalles 5
Cape Town 3
Ninh Bình 3
Quảng Ngãi 3
Rio de Janeiro 3
Thái Bình 3
Amman 2
Barra Mansa 2
Córdoba 2
Da Nang 2
Goiânia 2
London 2
Lấp Vò 2
Orem 2
Phủ Lý 2
Porto Alegre 2
Quilmes 2
Quito 2
Quận Bình Thạnh 2
San Jose 2
Santiago 2
Al Mansurah 1
Amsterdam 1
Anagé 1
Andorra la Vella 1
Apodaca 1
Arapiraca 1
Arapongas 1
Arata 1
Atlanta 1
Baghdad 1
Bagé 1
Baku 1
Balashikha 1
Bandung 1
Belo Horizonte 1
Berrechid 1
Bizerte 1
Biên Hòa 1
Bogotá 1
Boydton 1
Brasília 1
Brazzaville 1
Bridgetown 1
Brooklyn 1
Buenos Aires 1
Buffalo 1
Cabo Frio 1
Cachoeiro de Itapemirim 1
Cairo 1
Campinas 1
Can Tho 1
Candeias 1
Canning 1
Carapicuíba 1
Cardiff 1
Cariacica 1
Caseros 1
Catriel 1
Cañuelas 1
Chamical 1
Chapadão do Sul 1
Charleston 1
Chos Malal 1
Ciudad del Este 1
Cuenca 1
Cà Mau 1
Delaware 1
Denver 1
Dhaka 1
Dubai 1
Erbil 1
Esmeraldas 1
Esperanza 1
Espírito Santo do Pinhal 1
Forquilhinha 1
Glew 1
Gresik 1
Guadalajara 1
Guangzhou 1
Guaporé 1
Guarujá 1
Guayaquil 1
Ha Long 1
Totale 17.839
Salva come PNG Salva come JPEG
Nome #
A three-valued type system for true positives detection in Java-like languages 212
A calculus for dynamic reconfiguration with low priority linking 196
A core calculus for Java exceptions 185
A Primitive Calculus for Module Systems 180
A Formal Framework with Late Binding 176
Coinductive type systems for object-oriented languages 175
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems 169
Constrained global types for dynamic checking of protocol conformance in multi-agent systems 167
A Formal Framework for Modules with State 166
Coo-BDI: Extending the BDI Model with Cooperativity 166
An abstract machine for asynchronous programs with closures and priority queues 164
Coinductive subtyping for abstract compilation of object-orientedlanguages into Horn formulas 160
A calculus for dynamic linking 159
Towards an Acceptance Testing Approach for Internet of Things Systems 159
An Acceptance Testing Approach for Internet of Things Systems 158
Comparing trace expressions and linear temporal logic for runtime verification 157
Program Generation and Components 156
Complete coinductive subtyping for abstract compilation of object-oriented languages 155
A Fresh Calculus for Name Management 154
Structural resolution for abstract compilation of object-oriented languages 154
Parametric trace expressions for runtime verification of Java-like programs 152
Flexible Type-Safe Linking of Components for Java-Like Languages 150
Towards a runtime verification approach for internet of things systems 149
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study 149
A Provenly Correct Translation of Fickle into Java 149
A core calculus for Java exceptions (extended abstract) 148
Formal Techniques for Java-Like Programs 147
Extending coinductive logic programming with co-facts 146
A formalism for specification of Java API interfaces 145
A calculus with lazy module operators 145
A formal framework for compositional compilation 144
Towards a model of corecursion with default 144
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2015) 144
MIX(FL): a kernel language of mixin modules 144
Extending Casl by Late Binding 142
Managing bad AIPs with RIVERtools 141
CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services 141
An Algebraic Approach to Mixins and Modularity 140
A formal framework for Java separate compilation. 139
Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: A case study 139
FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain 138
A parametric calculus for mobile open code 137
A Coalgebraic Foundation for Coinductive Union Types 137
A type preserving translation of Fickle into Java 137
Mixin modules and computational effects 136
Type safe incremental rebinding 136
Jam-designing a Java extension with mixins 136
Jam: A smooth extension of Java with mixins 135
Corecursive Featherweight Java 135
An algebraic framework for separate type-checking 134
Modeling Multiple Class Loaders by a Calculus for Dynamic Linking 133
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? 133
Type inference by coinductive logic programming 132
1000 Years of Coo-BDI 132
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol 131
Coinductive big-step operational semantics for type soundness of Java-like languages 130
A formal account of SSA in Java-like languages 130
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things 130
Incremental Rebinding with Name Polymorphism 129
Reconciling positional and nominal binding 129
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach 128
How to Prove Type Soundness of Java-like Languages Without Forgoing Big-step Semantics 127
True separate compilation for Java classes 126
Overriding Operators in a Mixin-Based Framework 126
Generalizing inference systems by coaxioms 126
Sound and complete subtyping between coinductive types for object-oriented languages 126
An Effective Translation of Fickle into Java 125
A calculus of module systems 124
True modules for Java-like languages. 124
Type inference for polymorphic methods in Java-like languages 124
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing 124
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services 123
Reasoning on Divergent Computations with Coaxioms 120
Semantic subtyping for imperative object-oriented languages 119
A theory of mixin modules: algebraic laws and reduction semantics 118
Static single information form for abstract compilation 118
A theory of mixin modules: Basic and derived operators 117
Behavioral Types in Programming Languages 117
Mixin modules for dynamic rebinding 117
Distributed Runtime Verification of JADE Multiagent Systems 116
A Theoretical Perspective of Coinductive Logic Programming 116
Principal typings for Java-like languages 115
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics 115
A deterministic event calculus for effective runtime verification 115
Regular corecursion in Prolog 112
Idealized coinductive type systems for imperative object-oriented programs 112
co-LP: Back to the Roots 111
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 109
A big step from finite to infinite computations 108
Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs 106
Efficient Verification of MASs with Projections 101
Verifying and validating autonomous systems: Towards an integrated approach 101
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange 100
Regular corecursion in Prolog 99
Guest Editorial of the special issue on OOPS Track at SAC 2005 99
Decentralizing MAS Monitoring with DecAMon 99
A formal framework for compositional compilation (extended abstract) 97
Overloading and inheritance 97
Even more principal typings for Java-like languages 96
Smart modules for Java-like languages 96
Totale 13.485
Salva come PNG Salva come JPEG
Categoria #
all - tutte 60.360
article - articoli 15.446
book - libri 0
conference - conferenze 39.694
curatela - curatele 1.658
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.562
Totale 120.720
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021729 0 0 0 0 0 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/20252.928 189 209 131 121 484 301 231 408 108 117 271 358
2025/20262.268 596 168 367 427 593 117 0 0 0 0 0 0
Totale 18.560