IRIS
ANCONA, DAVIDE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 17.763
AS - Asia 1.817
NA - Nord America 663
SA - Sud America 164
AF - Africa 25
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 20.436
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 17.457
SG - Singapore 844
US - Stati Uniti d'America 624
CN - Cina 503
VN - Vietnam 281
FR - Francia 168
BR - Brasile 104
HK - Hong Kong 50
DE - Germania 43
AR - Argentina 28
JP - Giappone 23
GB - Regno Unito 19
MX - Messico 18
BD - Bangladesh 15
FI - Finlandia 15
IN - India 15
CA - Canada 13
IQ - Iraq 11
ID - Indonesia 10
ZA - Sudafrica 10
EC - Ecuador 9
PH - Filippine 9
CH - Svizzera 8
CO - Colombia 8
CL - Cile 7
IE - Irlanda 7
NL - Olanda 6
PK - Pakistan 6
RU - Federazione Russa 6
SA - Arabia Saudita 6
NP - Nepal 5
TR - Turchia 5
UA - Ucraina 5
AE - Emirati Arabi Uniti 4
AZ - Azerbaigian 4
ES - Italia 4
PY - Paraguay 4
SE - Svezia 4
UZ - Uzbekistan 4
VE - Venezuela 4
AL - Albania 3
AU - Australia 3
DK - Danimarca 3
EG - Egitto 3
JO - Giordania 3
MA - Marocco 3
PS - Palestinian Territory 3
TH - Thailandia 3
TW - Taiwan 3
GE - Georgia 2
HN - Honduras 2
HR - Croazia 2
KR - Corea 2
LV - Lettonia 2
NI - Nicaragua 2
PL - Polonia 2
PT - Portogallo 2
RS - Serbia 2
TN - Tunisia 2
AD - Andorra 1
BB - Barbados 1
BE - Belgio 1
BS - Bahamas 1
BW - Botswana 1
CG - Congo 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CW - ???statistics.table.value.countryCode.CW??? 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EE - Estonia 1
IL - Israele 1
LB - Libano 1
MN - Mongolia 1
MR - Mauritania 1
MT - Malta 1
MY - Malesia 1
NO - Norvegia 1
OM - Oman 1
QA - Qatar 1
SN - Senegal 1
TG - Togo 1
Totale 20.436
Salva come PNG Salva come JPEG
Città #
Genova 10.605
Genoa 4.207
Vado Ligure 1.265
Rapallo 1.263
Singapore 426
San Jose 245
Lauterbourg 134
Ashburn 124
Ho Chi Minh City 74
Beijing 71
Hanoi 66
Hong Kong 48
Bordighera 46
New York 34
Frankfurt am Main 28
Santa Clara 26
Tokyo 21
Vandœuvre-lès-Nancy 20
Council Bluffs 19
Milan 18
Haiphong 17
Los Angeles 13
São Paulo 12
St Louis 11
The Dalles 11
Helsinki 10
Tianjin 10
Montreal 9
Da Nang 8
Hải Dương 8
Nuremberg 8
Orem 8
Valenza 8
Zurich 8
Dublin 7
Mexico City 7
Atlanta 5
Dhaka 5
Quận Bình Thạnh 5
Amsterdam 4
Baghdad 4
Baku 4
Cape Town 4
Cardiff 4
Guangzhou 4
Johannesburg 4
Lappeenranta 4
London 4
Milwaukee 4
Ninh Bình 4
Quận Ba 4
Riyadh 4
Amman 3
Biên Hòa 3
Chicago 3
Des Moines 3
Dubai 3
Hưng Yên 3
Manchester 3
Medellín 3
Mumbai 3
Nha Trang 3
Palermo 3
Phoenix 3
Quảng Ngãi 3
Rio de Janeiro 3
Rome 3
Rovereto 3
Shanghai 3
Stockholm 3
Sydney 3
Tashkent 3
Thái Bình 3
Vicenza 3
Asunción 2
Barra Mansa 2
Basingstoke 2
Belgrade 2
Belo Horizonte 2
Brasília 2
Brooklyn 2
Buenos Aires 2
Buffalo 2
Can Tho 2
Changsha 2
Chennai 2
City of London 2
Córdoba 2
Denver 2
Fortaleza 2
Goiânia 2
Guayaquil 2
Hangzhou 2
Islamabad 2
Jakarta 2
La Plata 2
Lấp Vò 2
Madrid 2
Managua 2
New Delhi 2
Totale 19.080
Salva come PNG Salva come JPEG
Nome #
A three-valued type system for true positives detection in Java-like languages 228
A calculus for dynamic reconfiguration with low priority linking 213
A core calculus for Java exceptions 196
A Primitive Calculus for Module Systems 193
Coinductive type systems for object-oriented languages 187
A Formal Framework with Late Binding 186
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems 184
Constrained global types for dynamic checking of protocol conformance in multi-agent systems 181
An abstract machine for asynchronous programs with closures and priority queues 181
A Formal Framework for Modules with State 177
Towards an Acceptance Testing Approach for Internet of Things Systems 176
A formalism for specification of Java API interfaces 173
Comparing trace expressions and linear temporal logic for runtime verification 172
An Acceptance Testing Approach for Internet of Things Systems 172
Coo-BDI: Extending the BDI Model with Cooperativity 172
Coinductive subtyping for abstract compilation of object-orientedlanguages into Horn formulas 171
Complete coinductive subtyping for abstract compilation of object-oriented languages 171
A calculus for dynamic linking 170
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study 169
Parametric trace expressions for runtime verification of Java-like programs 166
Structural resolution for abstract compilation of object-oriented languages 166
Program Generation and Components 165
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2015) 165
A Fresh Calculus for Name Management 164
Towards a runtime verification approach for internet of things systems 164
A Provenly Correct Translation of Fickle into Java 162
A core calculus for Java exceptions (extended abstract) 161
Flexible Type-Safe Linking of Components for Java-Like Languages 159
FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain 158
Extending coinductive logic programming with co-facts 158
A formal framework for compositional compilation 157
Towards a model of corecursion with default 155
Extending Casl by Late Binding 154
Formal Techniques for Java-Like Programs 154
A calculus with lazy module operators 154
An Algebraic Approach to Mixins and Modularity 153
A formal framework for Java separate compilation. 152
Managing bad AIPs with RIVERtools 151
A parametric calculus for mobile open code 150
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? 150
A Coalgebraic Foundation for Coinductive Union Types 150
Jam-designing a Java extension with mixins 150
MIX(FL): a kernel language of mixin modules 149
1000 Years of Coo-BDI 148
A type preserving translation of Fickle into Java 148
CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services 148
Modeling Multiple Class Loaders by a Calculus for Dynamic Linking 147
Jam: A smooth extension of Java with mixins 147
Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: A case study 147
Mixin modules and computational effects 146
Type safe incremental rebinding 146
Incremental Rebinding with Name Polymorphism 145
Corecursive Featherweight Java 144
A formal account of SSA in Java-like languages 144
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol 143
A deterministic event calculus for effective runtime verification 143
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things 142
Coinductive big-step operational semantics for type soundness of Java-like languages 141
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach 141
Semantic subtyping for imperative object-oriented languages 141
An algebraic framework for separate type-checking 140
Sound and complete subtyping between coinductive types for object-oriented languages 140
Type inference by coinductive logic programming 139
Generalizing inference systems by coaxioms 139
Reconciling positional and nominal binding 138
True separate compilation for Java classes 137
How to Prove Type Soundness of Java-like Languages Without Forgoing Big-step Semantics 137
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services 136
An Effective Translation of Fickle into Java 135
Overriding Operators in a Mixin-Based Framework 135
A theory of mixin modules: algebraic laws and reduction semantics 134
Type inference for polymorphic methods in Java-like languages 134
Static single information form for abstract compilation 134
A Theoretical Perspective of Coinductive Logic Programming 134
Reasoning on Divergent Computations with Coaxioms 134
True modules for Java-like languages. 130
Regular corecursion in Prolog 130
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2009), a special track at the 24th ACM Symposium on Applied Computing 130
Behavioral Types in Programming Languages 129
A calculus of module systems 128
Principal typings for Java-like languages 127
Mixin modules for dynamic rebinding 127
Distributed Runtime Verification of JADE Multiagent Systems 126
A theory of mixin modules: Basic and derived operators 125
Idealized coinductive type systems for imperative object-oriented programs 123
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics 122
ROSMonitoring: A Runtime Verification Framework for ROS 120
A big step from finite to infinite computations 119
co-LP: Back to the Roots 118
Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs 116
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 116
Efficient Verification of MASs with Projections 115
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange 115
Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems 113
Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017 113
Verifying and validating autonomous systems: Towards an integrated approach 113
Polymorphic bytecode: Compositional compilation for Java-like languages 111
A formal framework for compositional compilation (extended abstract) 111
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education 111
Regular corecursion in Prolog 110
Totale 14.744
Salva come PNG Salva come JPEG
Categoria #
all - tutte 63.823
article - articoli 16.330
book - libri 0
conference - conferenze 41.922
curatela - curatele 1.781
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.790
Totale 127.646
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021288 0 0 0 0 0 0 0 0 0 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/20264.476 596 168 367 427 593 553 900 256 293 323 0 0
Totale 20.768