CORTESI, Agostino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 26.688
EU - Europa 13.620
AS - Asia 6.468
SA - Sud America 103
OC - Oceania 38
Continente sconosciuto - Info sul continente non disponibili 37
AF - Africa 19
Totale 46.973
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 26.066
PL - Polonia 4.571
CN - Cina 4.216
IT - Italia 2.528
UA - Ucraina 1.205
DE - Germania 1.158
SG - Singapore 1.156
IE - Irlanda 879
SE - Svezia 752
FI - Finlandia 727
GB - Regno Unito 652
CA - Canada 614
RU - Federazione Russa 353
TR - Turchia 269
HK - Hong Kong 256
AT - Austria 197
FR - Francia 181
ID - Indonesia 146
VN - Vietnam 90
IN - India 88
BE - Belgio 87
NL - Olanda 83
BR - Brasile 74
CH - Svizzera 70
IR - Iran 66
KR - Corea 41
EU - Europa 33
AU - Australia 32
ES - Italia 25
DK - Danimarca 24
JP - Giappone 24
BD - Bangladesh 21
BG - Bulgaria 21
RO - Romania 20
GR - Grecia 19
UZ - Uzbekistan 19
CZ - Repubblica Ceca 12
IL - Israele 12
CL - Cile 11
AR - Argentina 10
HU - Ungheria 10
LV - Lettonia 10
LB - Libano 9
CY - Cipro 8
MX - Messico 7
NO - Norvegia 7
AE - Emirati Arabi Uniti 6
BJ - Benin 6
NZ - Nuova Zelanda 6
SA - Arabia Saudita 6
EC - Ecuador 5
IQ - Iraq 5
MD - Moldavia 5
PH - Filippine 5
PT - Portogallo 5
TH - Thailandia 5
TW - Taiwan 5
LK - Sri Lanka 4
PK - Pakistan 4
A2 - ???statistics.table.value.countryCode.A2??? 3
EE - Estonia 3
LT - Lituania 3
TN - Tunisia 3
BA - Bosnia-Erzegovina 2
IS - Islanda 2
KZ - Kazakistan 2
MA - Marocco 2
MT - Malta 2
RE - Reunion 2
RS - Serbia 2
ZA - Sudafrica 2
AL - Albania 1
AO - Angola 1
BH - Bahrain 1
BO - Bolivia 1
CO - Colombia 1
EG - Egitto 1
HR - Croazia 1
JM - Giamaica 1
JO - Giordania 1
KH - Cambogia 1
LI - Liechtenstein 1
LU - Lussemburgo 1
ME - Montenegro 1
MM - Myanmar 1
MY - Malesia 1
PE - Perù 1
SC - Seychelles 1
SD - Sudan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 46.973
Salva come PNG Salva come JPEG
Città #
Woodbridge 4.989
Warsaw 4.529
Fairfield 3.170
Chandler 2.155
Jacksonville 1.871
Houston 1.761
Ann Arbor 1.618
Ashburn 1.590
Seattle 1.439
Wilmington 1.223
Cambridge 1.035
Dublin 877
Singapore 804
Nanjing 499
Boardman 455
Ottawa 445
Jinan 435
Mestre 408
Beijing 397
Shenyang 366
San Mateo 294
Dearborn 291
New York 285
Venice 282
Izmir 264
Guangzhou 263
Andover 260
Venezia 250
Hong Kong 240
Boston 239
Hebei 229
Mülheim 218
Princeton 208
Tianjin 192
Vienna 185
Nanchang 168
Jakarta 145
Zhengzhou 144
Toronto 142
Taiyuan 139
Des Moines 135
Karlsruhe 131
San Diego 130
Hangzhou 129
Changsha 128
Taizhou 126
Haikou 125
Ningbo 123
Jiaxing 116
Altamura 111
Saint Petersburg 107
Verona 97
Milan 94
Dong Ket 88
Brussels 80
Redwood City 80
Helsinki 69
London 68
Fuzhou 65
San Paolo di Civitate 61
Wiesbaden 61
Berlin 55
Los Angeles 48
Bremen 43
Norwalk 38
Phoenix 38
Kunming 36
Hefei 33
Pune 31
Polska 27
Rome 27
Chicago 25
Padova 24
Washington 23
Bologna 21
Moscow 21
Kolkata 20
Sofia 19
Treviso 19
Latiano 18
Munich 18
Southend 18
Chengdu 17
Den Haag 17
Shanghai 17
Zeewolde 17
Edinburgh 16
Frankfurt am Main 16
São Paulo 16
Kilburn 15
Philadelphia 15
Zurich 15
Clearwater 14
Indiana 14
Lanzhou 14
Lausanne 14
Lenoir 14
Paris 14
Puxian 14
Recife 14
Totale 37.503
Salva come PNG Salva come JPEG
Nome #
High performance encapsulation in Casanova 2 584
Verification, Model Checking, and Abstract Interpretation 577
High performance encapsulation and networking in Casanova 2 535
String Abstraction for Model Checking of C Programs 463
Extending Abstract Interpretation to Dependency Analysis of Database Applications 462
A Hierarchical and Abstraction-Based Blockchain Model 457
A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities 454
Casanova: A simple, high-performance language for game development 446
Blockchain transaction analysis using dominant sets 427
Node localization for indoor tracking using artificial neural network 421
ROLAP based data warehouse schema to XML schema conversion 417
Building Game Scripting DSL's with the Metacasanova Metacompiler 402
An Ontology-based Inquiry Framework. 387
Combining symbolic and numerical domains for information leakage analysis 371
Procedurally Provisioned Access Control for Robotic Systems 367
A Survey on Product Operators in Abstract Interpretation 366
Type-driven cross-programming for android and LEGO Mindstorms interoperability 362
Metacasanova: an optimized meta-compiler for Domain-Specific Languages 359
HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data 356
Advanced computing and systems for security 355
Women and Informatics: The Ada Web Portal 352
Static analysis of android apps interaction with automotive CAN 350
Observation-based Fine Grained Access Control of Data 343
Vulnerability analysis of android auto infotainment apps 340
Informatica Umanistica: Una Disciplina di Confine 332
Completeness of Abstract Domains for String Analysis of JavaScript Programs 331
MySQL extension automatic porting to PDO for PHP migration and security improvement 324
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems 323
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 323
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability 315
Computer Information Systems and Industrial Management 307
Distortion-Free Authentication Watermarking 301
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients 300
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs 293
Geographic location based dynamic and opportunistic RPL for distributed networks 291
Preventing Additive Attacks to Relational Database Watermarking 290
Enhancing security in ROS 289
Type Analysis of Prolog Using Type Graphs 286
Penetration testing ROS 286
Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain 286
A calculus of challenges and responses 284
Computer Information Systems - Analysis and Technologies 283
Preface 282
Type-Flow Analysis for Legacy Cobol Code 279
DAPA: Degradation-Aware Privacy Analysis of Android Apps 276
A uniform representation of multi-variant data in intensive-query databases 273
Preface 273
Towards an European Certification of Computer Science Curricula 271
Information-flow Analysis of Hibernate Query Languages 271
Things as a service: Service model for IoT 271
BANANA: A tool for Boundary Ambients Nesting ANAlysis 269
A distortion free watermark framework for relational databases 268
Abstract Interpretation of Recursive Queries 265
Abstract Interpretation Based Verification of Non-Functional Requirements 264
Property Driven Program Slicing 264
A Persistent Public Watermarking of Relational Databases 264
Abstract program slicing on dependence condition graphs 264
SROS1: Using and Developing Secure ROS1 Systems 263
Tukra: An Abstract Program Slicing Tool 261
Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003 260
Static Analysis 258
Abstract Domains for Reordering CLP(RLin) Programs 258
CIL to Java-bytecode translation for static analysis leveraging 258
Donne e Tecnologie Informatiche 256
A New Scale for Attribute Dependency in Large Database Systems 255
Cooperative Query Answering by Abstract Interpretation 250
A Generic Distortion Free Watermarking Technique for Relational Databases 250
A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization 249
Computer Information Systems and Industrial Management, 12th IFIP International Conference 248
Validazione di Piani di Disaster Recovery mediante Simulatore 247
A suite of abstract domains for static analysis of string values 247
Verification of hibernate query language by abstract interpretation 247
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 245
Introduction to the special issue:SAAP-2017 (Static Analysis of Android Apps: Security and Privacy) 245
Information Leakage Analysis of Database Query Languages 244
Widening and Narrowing Operators for Abstract Interpretation 243
Information Leakage Analysis by Abstract Interpretation 243
Replaceability and negotiation in a cloud service ecosystem 241
Type Analysis of Prolog Using Type Graphs 240
Typing Legacy COBOL Code 239
Static Analysis of String Values 238
Comparison of Abstract Interpretations 237
Materialized View Construction Using Linearizable Nonlinear Regression 237
Introduction to special issue on intelligent computing and adaptive systems 237
Automated Verification of Behavioural Properties of Prolog Programs 233
Engaging high school students in computer science via challenging applications 233
The abstract domain of Trapezoid Step Functions 233
Linear approximation of continuous systems with Trapezoid Step Functions 232
Flow-Sensitive Leakage Analysis in Mobile Ambients 232
Abstracting strings for model checking of C programs 231
Abstract Program Slicing of Database Query Languages 231
Database Authentication by Distortion-Free Watermarking 230
Graph properties for normal logic programs 228
KPI-Supported PDCA Model for Innovation Policy Management in Local Government 228
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 226
Complexity of Nesting Analysis in Mobile Ambients 225
Boundary Inference for Enforcing Security Policies in Mobile Ambients 225
ABSTRACT INTERPRETATION OF LOGIC PROGRAMS - AN ABSTRACT DOMAIN FOR GROUNDNESS, SHARING, FREENESS AND COMPOUNDNESS ANALYSIS 224
Dependence Condition Graph for Semantics-based Abstract Program Slicing 224
Cross-Program Taint Analysis for IoT Systems 224
Totale 29.806
Salva come PNG Salva come JPEG
Categoria #
all - tutte 144.938
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 144.938
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20205.692 0 0 0 0 0 871 740 1.219 794 805 767 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/20251.700 107 202 402 437 290 262 0 0 0 0 0 0
Totale 47.912