IRIS
ANCONA, DAVIDE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 17.880
AS - Asia 1.989
NA - Nord America 1.629
Continente sconosciuto - Info sul continente non disponibili 345
SA - Sud America 182
AF - Africa 27
OC - Oceania 3
Totale 22.055
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 17.559
US - Stati Uniti d'America 1.526
SG - Singapore 860
CN - Cina 542
VN - Vietnam 287
FR - Francia 170
BR - Brasile 115
BD - Bangladesh 108
HK - Hong Kong 64
DE - Germania 43
CA - Canada 36
AR - Argentina 29
JP - Giappone 24
GB - Regno Unito 23
MX - Messico 22
FI - Finlandia 15
IN - India 15
IQ - Iraq 11
EC - Ecuador 10
ID - Indonesia 10
JM - Giamaica 10
ZA - Sudafrica 10
PH - Filippine 9
CH - Svizzera 8
CO - Colombia 8
CR - Costa Rica 8
VE - Venezuela 8
CL - Cile 7
ES - Italia 7
IE - Irlanda 7
NL - Olanda 7
PK - Pakistan 7
HN - Honduras 6
RU - Federazione Russa 6
SA - Arabia Saudita 6
UA - Ucraina 6
AL - Albania 5
NP - Nepal 5
TR - Turchia 5
AE - Emirati Arabi Uniti 4
AZ - Azerbaigian 4
BB - Barbados 4
PS - Palestinian Territory 4
PY - Paraguay 4
SE - Svezia 4
UZ - Uzbekistan 4
AU - Australia 3
DK - Danimarca 3
EG - Egitto 3
JO - Giordania 3
MA - Marocco 3
NI - Nicaragua 3
PL - Polonia 3
PR - Porto Rico 3
SV - El Salvador 3
TH - Thailandia 3
TN - Tunisia 3
TW - Taiwan 3
BE - Belgio 2
GE - Georgia 2
GT - Guatemala 2
HR - Croazia 2
KR - Corea 2
LV - Lettonia 2
MY - Malesia 2
PT - Portogallo 2
RS - Serbia 2
TT - Trinidad e Tobago 2
AD - Andorra 1
AG - Antigua e Barbuda 1
BO - Bolivia 1
BS - Bahamas 1
BW - Botswana 1
CG - Congo 1
CI - Costa d'Avorio 1
CW - ???statistics.table.value.countryCode.CW??? 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EE - Estonia 1
ET - Etiopia 1
IL - Israele 1
LB - Libano 1
LC - Santa Lucia 1
MN - Mongolia 1
MR - Mauritania 1
MT - Malta 1
NO - Norvegia 1
OM - Oman 1
QA - Qatar 1
SN - Senegal 1
TG - Togo 1
Totale 21.711
Salva come PNG Salva come JPEG
Città #
Genova 10.605
Genoa 4.220
Vado Ligure 1.265
Rapallo 1.263
Singapore 439
San Jose 392
Ashburn 275
Lauterbourg 134
Beijing 105
Ho Chi Minh City 74
Hanoi 71
Hong Kong 56
New York 56
Bordighera 46
Santa Clara 45
Milan 35
Frankfurt am Main 28
Los Angeles 28
Council Bluffs 22
Tokyo 21
Vandœuvre-lès-Nancy 20
Haiphong 17
Atlanta 13
Buffalo 13
Dallas 12
St Louis 12
São Paulo 12
The Dalles 12
Montreal 11
Chicago 10
Helsinki 10
Houston 10
Mexico City 10
Rome 10
Tianjin 10
Boardman 9
Phoenix 9
Princeton 9
Da Nang 8
Florence 8
Hải Dương 8
Nuremberg 8
Orem 8
Valenza 8
Washington 8
Zurich 8
Dhaka 7
Dublin 7
Kingston 7
Philadelphia 7
San José 7
Brooklyn 6
Charlotte 6
Columbus 6
Naples 6
Douglasville 5
Kansas City 5
London 5
Palermo 5
Quận Bình Thạnh 5
San Antonio 5
San Francisco 5
Toronto 5
Amsterdam 4
Baghdad 4
Baku 4
Bridgetown 4
Cape Town 4
Cardiff 4
Guangzhou 4
Johannesburg 4
Lappeenranta 4
Las Vegas 4
Louisville 4
Milwaukee 4
Modena 4
Ninh Bình 4
Quận Ba 4
Rio de Janeiro 4
Riyadh 4
The Bronx 4
Vicenza 4
Amman 3
Baltimore 3
Belo Horizonte 3
Biên Hòa 3
Cleveland 3
Córdoba 3
Denver 3
Des Moines 3
Dubai 3
Erie 3
Fayetteville 3
Garland 3
Hưng Yên 3
Indpls 3
Jersey City 3
Madrid 3
Managua 3
Manchester 3
Totale 19.682
Salva come PNG Salva come JPEG
Nome #
A three-valued type system for true positives detection in Java-like languages 239
A calculus for dynamic reconfiguration with low priority linking 220
A core calculus for Java exceptions 213
A Primitive Calculus for Module Systems 198
A Formal Framework with Late Binding 196
Coinductive type systems for object-oriented languages 194
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems 193
An abstract machine for asynchronous programs with closures and priority queues 192
Constrained global types for dynamic checking of protocol conformance in multi-agent systems 188
A formalism for specification of Java API interfaces 186
Extending coinductive logic programming with co-facts 184
Towards an Acceptance Testing Approach for Internet of Things Systems 184
Complete coinductive subtyping for abstract compilation of object-oriented languages 184
A Formal Framework for Modules with State 183
Parametric trace expressions for runtime verification of Java-like programs 182
An Acceptance Testing Approach for Internet of Things Systems 181
A calculus for dynamic linking 180
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study 179
Comparing trace expressions and linear temporal logic for runtime verification 178
Coinductive subtyping for abstract compilation of object-orientedlanguages into Horn formulas 177
Coo-BDI: Extending the BDI Model with Cooperativity 175
Structural resolution for abstract compilation of object-oriented languages 174
Towards a runtime verification approach for internet of things systems 174
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2015) 172
A Fresh Calculus for Name Management 171
A core calculus for Java exceptions (extended abstract) 171
Program Generation and Components 167
A Provenly Correct Translation of Fickle into Java 167
FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain 165
Towards a model of corecursion with default 163
A calculus with lazy module operators 163
A formal framework for compositional compilation 162
Flexible Type-Safe Linking of Components for Java-Like Languages 162
Formal Techniques for Java-Like Programs 161
A formal framework for Java separate compilation. 159
A parametric calculus for mobile open code 158
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? 158
Extending Casl by Late Binding 158
Managing bad AIPs with RIVERtools 158
1000 Years of Coo-BDI 157
Jam-designing a Java extension with mixins 156
An Algebraic Approach to Mixins and Modularity 155
A type preserving translation of Fickle into Java 155
CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services 154
Jam: A smooth extension of Java with mixins 153
A Coalgebraic Foundation for Coinductive Union Types 153
MIX(FL): a kernel language of mixin modules 153
A deterministic event calculus for effective runtime verification 153
A formal account of SSA in Java-like languages 152
Type safe incremental rebinding 152
Generalizing inference systems by coaxioms 152
Mixin modules and computational effects 151
Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: A case study 151
Reconciling positional and nominal binding 151
Modeling Multiple Class Loaders by a Calculus for Dynamic Linking 150
Corecursive Featherweight Java 150
Incremental Rebinding with Name Polymorphism 150
Semantic subtyping for imperative object-oriented languages 149
Type inference by coinductive logic programming 148
A Theoretical Perspective of Coinductive Logic Programming 148
Sound and complete subtyping between coinductive types for object-oriented languages 148
ROSMonitoring: A Runtime Verification Framework for ROS 148
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol 147
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach 146
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things 146
Coinductive big-step operational semantics for type soundness of Java-like languages 145
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing 143
Hackmytown: An educational experience on smart cities 143
True separate compilation for Java classes 142
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services 142
An algebraic framework for separate type-checking 142
Reasoning on Divergent Computations with Coaxioms 142
How to Prove Type Soundness of Java-like Languages Without Forgoing Big-step Semantics 141
A theory of mixin modules: algebraic laws and reduction semantics 140
Static single information form for abstract compilation 140
An Effective Translation of Fickle into Java 138
Type inference for polymorphic methods in Java-like languages 137
Overriding Operators in a Mixin-Based Framework 137
True modules for Java-like languages. 135
Principal typings for Java-like languages 135
A calculus of module systems 134
Regular corecursion in Prolog 133
Behavioral Types in Programming Languages 133
Mixin modules for dynamic rebinding 132
Distributed Runtime Verification of JADE Multiagent Systems 131
Idealized coinductive type systems for imperative object-oriented programs 130
A big step from finite to infinite computations 130
A theory of mixin modules: Basic and derived operators 129
Efficient Verification of MASs with Projections 128
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics 125
Polymorphic bytecode: Compositional compilation for Java-like languages 124
Verifying and validating autonomous systems: Towards an integrated approach 124
Decentralizing MAS Monitoring with DecAMon 123
co-LP: Back to the Roots 122
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange 121
A formal framework for compositional compilation (extended abstract) 120
Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs 119
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 119
Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems 119
Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017 119
Totale 15.514
Salva come PNG Salva come JPEG
Categoria #
all - tutte 70.720
article - articoli 18.180
book - libri 0
conference - conferenze 46.258
curatela - curatele 1.987
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.295
Totale 141.440
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20265.214 596 168 367 427 593 553 900 256 293 402 251 408
2026/2027549 549 0 0 0 0 0 0 0 0 0 0 0
Totale 22.055