CORTESI, Agostino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 26.646
EU - Europa 13.351
AS - Asia 5.740
SA - Sud America 49
Continente sconosciuto - Info sul continente non disponibili 36
OC - Oceania 36
AF - Africa 14
Totale 45.872
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 26.027
PL - Polonia 4.567
CN - Cina 4.149
IT - Italia 2.333
UA - Ucraina 1.202
DE - Germania 1.143
IE - Irlanda 878
SE - Svezia 752
FI - Finlandia 717
GB - Regno Unito 648
CA - Canada 613
SG - Singapore 602
RU - Federazione Russa 350
TR - Turchia 268
HK - Hong Kong 254
AT - Austria 196
FR - Francia 180
VN - Vietnam 90
IN - India 88
BE - Belgio 87
ID - Indonesia 74
NL - Olanda 74
IR - Iran 66
CH - Svizzera 59
KR - Corea 37
EU - Europa 33
AU - Australia 30
BR - Brasile 28
ES - Italia 25
DK - Danimarca 24
JP - Giappone 23
BG - Bulgaria 21
GR - Grecia 19
UZ - Uzbekistan 19
BD - Bangladesh 16
RO - Romania 16
IL - Israele 12
CL - Cile 10
CZ - Repubblica Ceca 10
HU - Ungheria 10
LV - Lettonia 10
LB - Libano 9
AR - Argentina 8
NO - Norvegia 7
BJ - Benin 6
MX - Messico 6
NZ - Nuova Zelanda 6
AE - Emirati Arabi Uniti 5
MD - Moldavia 5
PT - Portogallo 5
TW - Taiwan 5
LK - Sri Lanka 4
TH - Thailandia 4
A2 - ???statistics.table.value.countryCode.A2??? 3
EE - Estonia 3
LT - Lituania 3
SA - Arabia Saudita 3
CY - Cipro 2
EC - Ecuador 2
IQ - Iraq 2
IS - Islanda 2
KZ - Kazakistan 2
MA - Marocco 2
PK - Pakistan 2
TN - Tunisia 2
EG - Egitto 1
HR - Croazia 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
RS - Serbia 1
SC - Seychelles 1
SD - Sudan 1
ZA - Sudafrica 1
Totale 45.872
Salva come PNG Salva come JPEG
Città #
Woodbridge 4.989
Warsaw 4.528
Fairfield 3.170
Chandler 2.155
Jacksonville 1.871
Houston 1.761
Ann Arbor 1.618
Ashburn 1.579
Seattle 1.439
Wilmington 1.223
Cambridge 1.035
Dublin 876
Nanjing 499
Boardman 455
Ottawa 445
Jinan 435
Mestre 408
Beijing 393
Shenyang 366
Singapore 355
San Mateo 294
Dearborn 291
New York 285
Izmir 264
Guangzhou 263
Andover 260
Venezia 250
Boston 239
Hong Kong 238
Hebei 229
Mülheim 218
Princeton 208
Tianjin 192
Vienna 184
Venice 175
Nanchang 168
Zhengzhou 143
Toronto 141
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
Milan 92
Dong Ket 88
Verona 84
Brussels 80
Redwood City 80
Jakarta 74
London 67
Fuzhou 65
Helsinki 61
San Paolo di Civitate 61
Wiesbaden 61
Berlin 55
Los Angeles 48
Bremen 43
Norwalk 38
Phoenix 38
Kunming 35
Hefei 33
Pune 31
Polska 27
Chicago 25
Rome 23
Washington 23
Moscow 21
Kolkata 20
Padova 20
Sofia 19
Treviso 19
Latiano 18
Southend 18
Den Haag 17
Zeewolde 17
Chengdu 16
Edinburgh 16
Shanghai 16
Frankfurt am Main 15
Kilburn 15
Philadelphia 15
Clearwater 14
Indiana 14
Lanzhou 14
Lausanne 14
Lenoir 14
Paris 14
Puxian 14
São Paulo 14
Dallas 13
Madrid 13
Orange 13
Seongnam 13
Totale 36.800
Salva come PNG Salva come JPEG
Nome #
High performance encapsulation in Casanova 2 579
Verification, Model Checking, and Abstract Interpretation 574
High performance encapsulation and networking in Casanova 2 531
Extending Abstract Interpretation to Dependency Analysis of Database Applications 459
String Abstraction for Model Checking of C Programs 458
A Hierarchical and Abstraction-Based Blockchain Model 451
A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities 449
Casanova: A simple, high-performance language for game development 440
Node localization for indoor tracking using artificial neural network 417
ROLAP based data warehouse schema to XML schema conversion 415
Blockchain transaction analysis using dominant sets 415
Building Game Scripting DSL's with the Metacasanova Metacompiler 396
An Ontology-based Inquiry Framework. 384
Combining symbolic and numerical domains for information leakage analysis 365
A Survey on Product Operators in Abstract Interpretation 362
Procedurally Provisioned Access Control for Robotic Systems 362
Type-driven cross-programming for android and LEGO Mindstorms interoperability 357
Women and Informatics: The Ada Web Portal 350
HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data 350
Static analysis of android apps interaction with automotive CAN 346
Advanced computing and systems for security 344
Observation-based Fine Grained Access Control of Data 339
Vulnerability analysis of android auto infotainment apps 335
Informatica Umanistica: Una Disciplina di Confine 328
Metacasanova: an optimized meta-compiler for Domain-Specific Languages 328
Completeness of Abstract Domains for String Analysis of JavaScript Programs 325
MySQL extension automatic porting to PDO for PHP migration and security improvement 320
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 319
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability 310
Computer Information Systems and Industrial Management 306
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients 299
Distortion-Free Authentication Watermarking 296
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems 293
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs 290
Geographic location based dynamic and opportunistic RPL for distributed networks 287
Enhancing security in ROS 284
Computer Information Systems - Analysis and Technologies 281
Preventing Additive Attacks to Relational Database Watermarking 281
Preface 278
Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain 276
Type-Flow Analysis for Legacy Cobol Code 275
A calculus of challenges and responses 275
Towards an European Certification of Computer Science Curricula 270
DAPA: Degradation-Aware Privacy Analysis of Android Apps 270
Information-flow Analysis of Hibernate Query Languages 269
A uniform representation of multi-variant data in intensive-query databases 269
Preface 269
Things as a service: Service model for IoT 267
BANANA: A tool for Boundary Ambients Nesting ANAlysis 266
A distortion free watermark framework for relational databases 263
Property Driven Program Slicing 262
Abstract Interpretation of Recursive Queries 262
Penetration testing ROS 262
Abstract Interpretation Based Verification of Non-Functional Requirements 261
Abstract program slicing on dependence condition graphs 261
A Persistent Public Watermarking of Relational Databases 260
Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003 258
Tukra: An Abstract Program Slicing Tool 258
Type Analysis of Prolog Using Type Graphs 257
Static Analysis 256
Donne e Tecnologie Informatiche 254
CIL to Java-bytecode translation for static analysis leveraging 253
SROS1: Using and Developing Secure ROS1 Systems 252
A New Scale for Attribute Dependency in Large Database Systems 251
Abstract Domains for Reordering CLP(RLin) Programs 249
A Generic Distortion Free Watermarking Technique for Relational Databases 248
Cooperative Query Answering by Abstract Interpretation 247
Verification of hibernate query language by abstract interpretation 247
Computer Information Systems and Industrial Management, 12th IFIP International Conference 246
Validazione di Piani di Disaster Recovery mediante Simulatore 244
Introduction to the special issue:SAAP-2017 (Static Analysis of Android Apps: Security and Privacy) 244
Type Analysis of Prolog Using Type Graphs 240
Widening and Narrowing Operators for Abstract Interpretation 240
Information Leakage Analysis of Database Query Languages 240
A suite of abstract domains for static analysis of string values 239
Information Leakage Analysis by Abstract Interpretation 238
A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization 237
Materialized View Construction Using Linearizable Nonlinear Regression 236
Comparison of Abstract Interpretations 235
Typing Legacy COBOL Code 235
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 235
Static Analysis of String Values 234
Introduction to special issue on intelligent computing and adaptive systems 233
The abstract domain of Trapezoid Step Functions 232
Flow-Sensitive Leakage Analysis in Mobile Ambients 232
Automated Verification of Behavioural Properties of Prolog Programs 231
Engaging high school students in computer science via challenging applications 229
Linear approximation of continuous systems with Trapezoid Step Functions 229
Abstract Program Slicing of Database Query Languages 229
Database Authentication by Distortion-Free Watermarking 228
KPI-Supported PDCA Model for Innovation Policy Management in Local Government 228
Graph properties for normal logic programs 227
ABSTRACT INTERPRETATION OF LOGIC PROGRAMS - AN ABSTRACT DOMAIN FOR GROUNDNESS, SHARING, FREENESS AND COMPOUNDNESS ANALYSIS 223
Complexity of Nesting Analysis in Mobile Ambients 223
Boundary Inference for Enforcing Security Policies in Mobile Ambients 223
Ada web portal: promoting women access to informatics 222
Dependence Condition Graph for Semantics-based Abstract Program Slicing 222
Abstracting strings for model checking of C programs 222
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 222
Fine Grained Access Control for Relational Databases by Abstract Interpretation 219
Totale 29.287
Salva come PNG Salva come JPEG
Categoria #
all - tutte 134.981
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 134.981
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20209.397 0 0 811 2.196 698 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/2025594 107 202 285 0 0 0 0 0 0 0 0 0
Totale 46.806