CORTESI, Agostino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 31.062
EU - Europa 15.047
AS - Asia 11.865
SA - Sud America 1.098
AF - Africa 159
OC - Oceania 44
Continente sconosciuto - Info sul continente non disponibili 39
Totale 59.314
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 30.306
CN - Cina 5.495
PL - Polonia 4.619
SG - Singapore 3.366
IT - Italia 3.086
DE - Germania 1.369
UA - Ucraina 1.218
BR - Brasile 917
HK - Hong Kong 909
IE - Irlanda 890
FI - Finlandia 791
SE - Svezia 775
GB - Regno Unito 765
CA - Canada 677
RU - Federazione Russa 502
IN - India 435
TR - Turchia 300
VN - Vietnam 300
JP - Giappone 272
FR - Francia 231
AT - Austria 218
KR - Corea 212
ID - Indonesia 158
NL - Olanda 144
BE - Belgio 88
IR - Iran 76
AR - Argentina 74
BD - Bangladesh 73
CH - Svizzera 73
ES - Italia 71
MX - Messico 57
BJ - Benin 49
UZ - Uzbekistan 42
IQ - Iraq 41
ZA - Sudafrica 38
AU - Australia 36
EU - Europa 33
DK - Danimarca 26
EC - Ecuador 26
MA - Marocco 25
PK - Pakistan 24
BG - Bulgaria 22
IL - Israele 22
RO - Romania 22
GR - Grecia 20
CZ - Repubblica Ceca 18
CL - Cile 17
CO - Colombia 17
LT - Lituania 15
TW - Taiwan 15
AE - Emirati Arabi Uniti 14
SA - Arabia Saudita 14
UY - Uruguay 14
LV - Lettonia 13
VE - Venezuela 12
BA - Bosnia-Erzegovina 11
HU - Ungheria 11
LB - Libano 11
CY - Cipro 10
JO - Giordania 10
PH - Filippine 10
MY - Malesia 9
TN - Tunisia 9
NZ - Nuova Zelanda 8
PE - Perù 8
NO - Norvegia 7
PT - Portogallo 7
BO - Bolivia 6
DZ - Algeria 6
EG - Egitto 6
PY - Paraguay 6
RS - Serbia 6
AL - Albania 5
EE - Estonia 5
LK - Sri Lanka 5
MD - Moldavia 5
NP - Nepal 5
RE - Reunion 5
TH - Thailandia 5
JM - Giamaica 4
KE - Kenya 4
KZ - Kazakistan 4
OM - Oman 4
A2 - ???statistics.table.value.countryCode.A2??? 3
AO - Angola 3
AZ - Azerbaigian 3
CU - Cuba 3
DO - Repubblica Dominicana 3
IS - Islanda 3
MM - Myanmar 3
QA - Qatar 3
SN - Senegal 3
XK - ???statistics.table.value.countryCode.XK??? 3
AM - Armenia 2
BH - Bahrain 2
CM - Camerun 2
CR - Costa Rica 2
ET - Etiopia 2
HN - Honduras 2
KG - Kirghizistan 2
Totale 59.278
Salva come PNG Salva come JPEG
Città #
Woodbridge 4.989
Warsaw 4.575
Fairfield 3.170
Ashburn 2.631
Chandler 2.155
Jacksonville 1.872
Singapore 1.782
Houston 1.777
Ann Arbor 1.622
Seattle 1.448
Wilmington 1.226
Dallas 1.125
Cambridge 1.035
Hong Kong 882
Dublin 879
Beijing 625
Nanjing 501
Boardman 492
Ottawa 447
Jinan 441
Hefei 416
Mestre 414
New York 386
Venice 376
Shenyang 367
Guangzhou 348
San Mateo 294
Council Bluffs 292
Dearborn 291
Los Angeles 269
Boston 266
Izmir 266
Andover 260
Venezia 250
Bengaluru 245
Hebei 229
Mülheim 219
Princeton 208
Tianjin 202
Vienna 193
The Dalles 187
Seoul 176
Des Moines 173
Nanchang 168
Toronto 149
Zhengzhou 148
Jakarta 146
Verona 141
Taiyuan 140
Milan 138
Hangzhou 137
Changsha 136
Karlsruhe 131
San Diego 130
Taizhou 126
Haikou 125
Ningbo 124
Jiaxing 117
Munich 116
Buffalo 115
Altamura 111
Saint Petersburg 107
São Paulo 107
Tokyo 95
Chicago 93
Dong Ket 88
London 87
Frankfurt am Main 82
Brussels 81
Redwood City 80
Helsinki 70
Santa Clara 70
Fuzhou 65
Phoenix 65
Udine 65
Ho Chi Minh City 62
Moscow 62
San Paolo di Civitate 61
Treviso 61
Wiesbaden 61
Columbus 59
Berlin 55
Hanoi 52
Cotonou 49
Brooklyn 44
Bologna 43
Bremen 43
Denver 42
Rome 42
Pune 40
Kunming 39
Norwalk 38
Turku 37
Nuremberg 35
Shanghai 34
Belo Horizonte 32
Montreal 32
Redondo Beach 32
Chennai 31
Atlanta 29
Totale 44.669
Salva come PNG Salva come JPEG
Nome #
High performance encapsulation in Casanova 2 641
Verification, Model Checking, and Abstract Interpretation 606
High performance encapsulation and networking in Casanova 2 603
Casanova: A simple, high-performance language for game development 515
String Abstraction for Model Checking of C Programs 512
A Hierarchical and Abstraction-Based Blockchain Model 510
A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities 507
Extending Abstract Interpretation to Dependency Analysis of Database Applications 505
Building Game Scripting DSL's with the Metacasanova Metacompiler 478
Blockchain transaction analysis using dominant sets 471
Node localization for indoor tracking using artificial neural network 471
ROLAP based data warehouse schema to XML schema conversion 447
Metacasanova: an optimized meta-compiler for Domain-Specific Languages 444
A Survey on Product Operators in Abstract Interpretation 434
Combining symbolic and numerical domains for information leakage analysis 429
Type-driven cross-programming for android and LEGO Mindstorms interoperability 425
An Ontology-based Inquiry Framework. 423
Procedurally Provisioned Access Control for Robotic Systems 412
Static analysis of android apps interaction with automotive CAN 409
HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data 407
Vulnerability analysis of android auto infotainment apps 400
Static analysis for discovering IoT vulnerabilities 395
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 393
Women and Informatics: The Ada Web Portal 389
Advanced computing and systems for security 388
Observation-based Fine Grained Access Control of Data 387
Completeness of Abstract Domains for String Analysis of JavaScript Programs 387
Informatica Umanistica: Una Disciplina di Confine 385
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems 384
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability 370
MySQL extension automatic porting to PDO for PHP migration and security improvement 365
Penetration testing ROS 357
A calculus of challenges and responses 357
Type-Flow Analysis for Legacy Cobol Code 351
DAPA: Degradation-Aware Privacy Analysis of Android Apps 351
Geographic location based dynamic and opportunistic RPL for distributed networks 348
Computer Information Systems and Industrial Management 347
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs 347
Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain 346
Enhancing security in ROS 344
Distortion-Free Authentication Watermarking 341
Type Analysis of Prolog Using Type Graphs 340
Cross-Program Taint Analysis for IoT Systems 337
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients 333
Preventing Additive Attacks to Relational Database Watermarking 331
Computer Information Systems - Analysis and Technologies 322
A distortion free watermark framework for relational databases 322
A suite of abstract domains for static analysis of string values 321
A uniform representation of multi-variant data in intensive-query databases 320
Abstract program slicing on dependence condition graphs 319
Abstract Interpretation Based Verification of Non-Functional Requirements 315
A Persistent Public Watermarking of Relational Databases 314
SROS1: Using and Developing Secure ROS1 Systems 314
Abstract Interpretation of Recursive Queries 313
CIL to Java-bytecode translation for static analysis leveraging 313
Cooperative Query Answering by Abstract Interpretation 312
Preface 312
Abstract Domains for Reordering CLP(RLin) Programs 310
A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization 310
A New Scale for Attribute Dependency in Large Database Systems 309
Information-flow Analysis of Hibernate Query Languages 308
Things as a service: Service model for IoT 306
Preface 305
Widening and Narrowing Operators for Abstract Interpretation 304
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 301
A Generic Distortion Free Watermarking Technique for Relational Databases 300
Towards an European Certification of Computer Science Curricula 299
Engaging high school students in computer science via challenging applications 297
Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003 294
Typing Legacy COBOL Code 294
Property Driven Program Slicing 293
BANANA: A tool for Boundary Ambients Nesting ANAlysis 293
Static Analysis 292
Tukra: An Abstract Program Slicing Tool 292
Information Leakage Analysis by Abstract Interpretation 291
Information Leakage Analysis of Database Query Languages 288
Introduction to special issue on intelligent computing and adaptive systems 288
Computer Information Systems and Industrial Management, 12th IFIP International Conference 286
Donne e Tecnologie Informatiche 285
Type Analysis of Prolog Using Type Graphs 283
Linear approximation of continuous systems with Trapezoid Step Functions 282
Validazione di Piani di Disaster Recovery mediante Simulatore 278
Verification of hibernate query language by abstract interpretation 278
Static Analysis of String Values 277
Comparison of Abstract Interpretations 273
Information Flow Analysis for Detecting Non-Determinism in Blockchain 271
Database Authentication by Distortion-Free Watermarking 271
Abstracting strings for model checking of C programs 271
Abstract Program Slicing of Database Query Languages 271
Graph properties for normal logic programs 270
Replaceability and negotiation in a cloud service ecosystem 270
Automated Verification of Behavioural Properties of Prolog Programs 268
Introduction to the special issue:SAAP-2017 (Static Analysis of Android Apps: Security and Privacy) 268
Dependence Condition Graph for Semantics-based Abstract Program Slicing 267
The abstract domain of Trapezoid Step Functions 266
Abstract Interpretation of Database Query Languages 263
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 263
Materialized View Construction Using Linearizable Nonlinear Regression 261
Obfuscation-based analysis of SQL injection attacks 260
ABSTRACT INTERPRETATION OF LOGIC PROGRAMS - AN ABSTRACT DOMAIN FOR GROUNDNESS, SHARING, FREENESS AND COMPOUNDNESS ANALYSIS 257
Totale 34.732
Salva come PNG Salva come JPEG
Categoria #
all - tutte 187.743
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 187.743
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20216.000 0 0 0 0 0 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.411 107 202 402 437 290 295 634 545 809 652 641 397
2025/20268.673 1.428 1.384 1.712 1.333 2.641 175 0 0 0 0 0 0
Totale 60.296