CORTESI, Agostino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 27.498
EU - Europa 14.304
AS - Asia 7.783
SA - Sud America 805
AF - Africa 48
Continente sconosciuto - Info sul continente non disponibili 39
OC - Oceania 39
Totale 50.516
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 26.841
PL - Polonia 4.581
CN - Cina 4.308
IT - Italia 2.798
SG - Singapore 1.794
DE - Germania 1.236
UA - Ucraina 1.213
IE - Irlanda 887
FI - Finlandia 775
SE - Svezia 756
BR - Brasile 712
HK - Hong Kong 685
GB - Regno Unito 672
CA - Canada 629
RU - Federazione Russa 476
TR - Turchia 284
AT - Austria 209
FR - Francia 207
ID - Indonesia 148
NL - Olanda 129
IN - India 115
VN - Vietnam 94
BE - Belgio 87
CH - Svizzera 71
IR - Iran 69
KR - Corea 41
BD - Bangladesh 37
AR - Argentina 34
UZ - Uzbekistan 34
AU - Australia 33
EU - Europa 33
JP - Giappone 33
ES - Italia 27
DK - Danimarca 24
BG - Bulgaria 22
IQ - Iraq 22
RO - Romania 21
GR - Grecia 20
CZ - Repubblica Ceca 17
MX - Messico 17
IL - Israele 14
PK - Pakistan 14
EC - Ecuador 13
LV - Lettonia 13
CL - Cile 12
ZA - Sudafrica 12
AE - Emirati Arabi Uniti 11
HU - Ungheria 11
TW - Taiwan 11
PH - Filippine 10
VE - Venezuela 10
LB - Libano 9
CO - Colombia 8
CY - Cipro 8
MA - Marocco 7
NO - Norvegia 7
SA - Arabia Saudita 7
UY - Uruguay 7
BA - Bosnia-Erzegovina 6
BJ - Benin 6
NZ - Nuova Zelanda 6
PT - Portogallo 6
RS - Serbia 6
EE - Estonia 5
LK - Sri Lanka 5
LT - Lituania 5
MD - Moldavia 5
PE - Perù 5
TH - Thailandia 5
TN - Tunisia 5
JO - Giordania 4
RE - Reunion 4
A2 - ???statistics.table.value.countryCode.A2??? 3
AL - Albania 3
AZ - Azerbaigian 3
CU - Cuba 3
DZ - Algeria 3
EG - Egitto 3
JM - Giamaica 3
NP - Nepal 3
XK - ???statistics.table.value.countryCode.XK??? 3
BH - Bahrain 2
BO - Bolivia 2
HN - Honduras 2
IS - Islanda 2
KZ - Kazakistan 2
MT - Malta 2
MY - Malesia 2
OM - Oman 2
PY - Paraguay 2
AO - Angola 1
BN - Brunei Darussalam 1
BY - Bielorussia 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
HR - Croazia 1
KE - Kenya 1
KG - Kirghizistan 1
KH - Cambogia 1
KW - Kuwait 1
Totale 50.503
Salva come PNG Salva come JPEG
Città #
Woodbridge 4.989
Warsaw 4.539
Fairfield 3.170
Chandler 2.155
Jacksonville 1.871
Houston 1.761
Ashburn 1.620
Ann Arbor 1.618
Seattle 1.441
Wilmington 1.223
Cambridge 1.035
Singapore 885
Dublin 878
Hong Kong 662
Nanjing 499
Boardman 457
Ottawa 446
Jinan 435
Beijing 418
Mestre 410
Shenyang 366
Venice 349
New York 301
San Mateo 294
Dearborn 291
Council Bluffs 289
Guangzhou 273
Izmir 266
Andover 260
Venezia 250
Boston 245
Hebei 229
Mülheim 218
Princeton 208
Tianjin 192
Vienna 189
The Dalles 173
Nanchang 168
Jakarta 145
Zhengzhou 144
Toronto 143
Taiyuan 139
Des Moines 135
Karlsruhe 131
San Diego 130
Hangzhou 129
Changsha 128
Taizhou 126
Verona 126
Haikou 125
Ningbo 123
Milan 118
Jiaxing 116
Altamura 111
Saint Petersburg 107
Dong Ket 88
Hefei 88
Brussels 80
Redwood City 80
London 75
Los Angeles 73
São Paulo 71
Helsinki 70
Fuzhou 65
Munich 64
San Paolo di Civitate 61
Wiesbaden 61
Berlin 55
Moscow 55
Bremen 43
Chicago 43
Phoenix 41
Bologna 40
Norwalk 38
Pune 38
Kunming 36
Rome 35
Belo Horizonte 28
Nuremberg 27
Polska 27
Turku 27
Padova 26
Treviso 26
Kolkata 23
Washington 23
Recife 22
Dallas 21
San Francisco 21
Paris 20
Rio de Janeiro 20
Brooklyn 19
Sofia 19
Tokyo 19
Chengdu 18
Latiano 18
Southend 18
Brasília 17
Den Haag 17
Frankfurt am Main 17
Shanghai 17
Totale 39.039
Salva come PNG Salva come JPEG
Nome #
High performance encapsulation in Casanova 2 603
Verification, Model Checking, and Abstract Interpretation 584
High performance encapsulation and networking in Casanova 2 555
String Abstraction for Model Checking of C Programs 476
A Hierarchical and Abstraction-Based Blockchain Model 476
A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities 469
Extending Abstract Interpretation to Dependency Analysis of Database Applications 467
Casanova: A simple, high-performance language for game development 464
Blockchain transaction analysis using dominant sets 445
Node localization for indoor tracking using artificial neural network 436
ROLAP based data warehouse schema to XML schema conversion 426
Building Game Scripting DSL's with the Metacasanova Metacompiler 420
An Ontology-based Inquiry Framework. 399
A Survey on Product Operators in Abstract Interpretation 387
Combining symbolic and numerical domains for information leakage analysis 387
Procedurally Provisioned Access Control for Robotic Systems 383
Type-driven cross-programming for android and LEGO Mindstorms interoperability 379
Metacasanova: an optimized meta-compiler for Domain-Specific Languages 374
Advanced computing and systems for security 367
Women and Informatics: The Ada Web Portal 365
HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data 364
Static analysis of android apps interaction with automotive CAN 361
Informatica Umanistica: Una Disciplina di Confine 356
Vulnerability analysis of android auto infotainment apps 356
Observation-based Fine Grained Access Control of Data 352
Completeness of Abstract Domains for String Analysis of JavaScript Programs 341
MySQL extension automatic porting to PDO for PHP migration and security improvement 338
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems 337
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 335
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability 329
Computer Information Systems and Industrial Management 321
Penetration testing ROS 318
Distortion-Free Authentication Watermarking 313
Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain 311
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs 309
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients 308
Type Analysis of Prolog Using Type Graphs 305
Enhancing security in ROS 303
A calculus of challenges and responses 303
Preventing Additive Attacks to Relational Database Watermarking 302
Geographic location based dynamic and opportunistic RPL for distributed networks 299
Computer Information Systems - Analysis and Technologies 293
DAPA: Degradation-Aware Privacy Analysis of Android Apps 292
Type-Flow Analysis for Legacy Cobol Code 290
Preface 290
A uniform representation of multi-variant data in intensive-query databases 289
A distortion free watermark framework for relational databases 289
Preface 286
Information-flow Analysis of Hibernate Query Languages 284
Towards an European Certification of Computer Science Curricula 281
Abstract Interpretation Based Verification of Non-Functional Requirements 279
Abstract Domains for Reordering CLP(RLin) Programs 277
Property Driven Program Slicing 277
A Persistent Public Watermarking of Relational Databases 277
SROS1: Using and Developing Secure ROS1 Systems 277
CIL to Java-bytecode translation for static analysis leveraging 277
Things as a service: Service model for IoT 277
BANANA: A tool for Boundary Ambients Nesting ANAlysis 277
Abstract program slicing on dependence condition graphs 276
Cross-Program Taint Analysis for IoT Systems 275
Static analysis for discovering IoT vulnerabilities 274
Abstract Interpretation of Recursive Queries 273
Tukra: An Abstract Program Slicing Tool 273
A New Scale for Attribute Dependency in Large Database Systems 269
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 269
Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003 268
A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization 268
Donne e Tecnologie Informatiche 267
Static Analysis 266
A Generic Distortion Free Watermarking Technique for Relational Databases 265
A suite of abstract domains for static analysis of string values 264
Verification of hibernate query language by abstract interpretation 259
Computer Information Systems and Industrial Management, 12th IFIP International Conference 258
Cooperative Query Answering by Abstract Interpretation 257
Typing Legacy COBOL Code 257
Type Analysis of Prolog Using Type Graphs 256
Validazione di Piani di Disaster Recovery mediante Simulatore 256
Widening and Narrowing Operators for Abstract Interpretation 256
Introduction to the special issue:SAAP-2017 (Static Analysis of Android Apps: Security and Privacy) 255
Information Leakage Analysis by Abstract Interpretation 255
Replaceability and negotiation in a cloud service ecosystem 254
Information Leakage Analysis of Database Query Languages 251
Static Analysis of String Values 250
Linear approximation of continuous systems with Trapezoid Step Functions 250
Introduction to special issue on intelligent computing and adaptive systems 250
Engaging high school students in computer science via challenging applications 248
Comparison of Abstract Interpretations 246
The abstract domain of Trapezoid Step Functions 245
Materialized View Construction Using Linearizable Nonlinear Regression 244
Abstracting strings for model checking of C programs 243
Abstract Program Slicing of Database Query Languages 242
Graph properties for normal logic programs 241
Automated Verification of Behavioural Properties of Prolog Programs 241
Flow-Sensitive Leakage Analysis in Mobile Ambients 240
Database Authentication by Distortion-Free Watermarking 237
SDLI: Static Detection of Leaks Across Intents 237
KPI-Supported PDCA Model for Innovation Policy Management in Local Government 234
ABSTRACT INTERPRETATION OF LOGIC PROGRAMS - AN ABSTRACT DOMAIN FOR GROUNDNESS, SHARING, FREENESS AND COMPOUNDNESS ANALYSIS 233
Complexity of Nesting Analysis in Mobile Ambients 233
WiFi-related energy consumption analysis of mobile devices in a walkable area by abstract interpretation 233
Totale 31.203
Salva come PNG Salva come JPEG
Categoria #
all - tutte 162.061
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 162.061
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020496 0 0 0 0 0 0 0 0 0 0 0 496
2020/20219.386 591 355 711 566 1.163 883 868 620 505 900 1.318 906
2021/20227.442 877 1.007 558 872 592 88 296 185 180 644 1.533 610
2022/20236.092 444 578 101 657 739 1.601 195 433 719 37 429 159
2023/20242.680 170 159 142 97 323 504 203 126 249 76 304 327
2024/20255.267 107 202 402 437 290 295 634 545 809 652 641 253
Totale 51.479