CORTESI, Agostino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 25.729
EU - Europa 13.143
AS - Asia 4.810
Continente sconosciuto - Info sul continente non disponibili 36
OC - Oceania 28
SA - Sud America 24
AF - Africa 13
Totale 43.783
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 25.112
PL - Polonia 4.565
CN - Cina 4.071
IT - Italia 2.163
UA - Ucraina 1.198
DE - Germania 1.059
IE - Irlanda 876
SE - Svezia 752
FI - Finlandia 691
GB - Regno Unito 648
CA - Canada 611
RU - Federazione Russa 350
TR - Turchia 268
AT - Austria 224
BE - Belgio 178
FR - Francia 161
SG - Singapore 141
VN - Vietnam 88
IR - Iran 66
NL - Olanda 66
CH - Svizzera 59
IN - India 39
KR - Corea 36
EU - Europa 33
DK - Danimarca 24
AU - Australia 22
BG - Bulgaria 21
UZ - Uzbekistan 19
GR - Grecia 18
ES - Italia 17
JP - Giappone 17
RO - Romania 16
CZ - Repubblica Ceca 14
HK - Hong Kong 12
IL - Israele 12
BR - Brasile 11
CL - Cile 10
HU - Ungheria 10
LV - Lettonia 10
LB - Libano 9
NO - Norvegia 7
BJ - Benin 6
MX - Messico 6
NZ - Nuova Zelanda 6
BD - Bangladesh 5
MD - Moldavia 5
AE - Emirati Arabi Uniti 4
LK - Sri Lanka 4
TW - Taiwan 4
A2 - ???statistics.table.value.countryCode.A2??? 3
EE - Estonia 3
SA - Arabia Saudita 3
TH - Thailandia 3
EC - Ecuador 2
IQ - Iraq 2
IS - Islanda 2
MA - Marocco 2
PT - Portogallo 2
TN - Tunisia 2
CY - Cipro 1
HR - Croazia 1
JO - Giordania 1
KH - Cambogia 1
KZ - Kazakistan 1
LI - Liechtenstein 1
ME - Montenegro 1
MM - Myanmar 1
MY - Malesia 1
PE - Perù 1
PK - Pakistan 1
RS - Serbia 1
SC - Seychelles 1
SD - Sudan 1
ZA - Sudafrica 1
Totale 43.783
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.419
Seattle 1.412
Wilmington 1.223
Cambridge 1.035
Dublin 874
Nanjing 499
Ottawa 445
Jinan 435
Mestre 408
Beijing 366
Shenyang 366
San Mateo 294
Dearborn 291
Izmir 264
Andover 260
Guangzhou 260
Venezia 250
Boston 239
Hebei 229
Mülheim 218
Boardman 212
Princeton 208
Vienna 208
Tianjin 192
Brussels 174
Nanchang 168
Venice 148
Zhengzhou 143
Taiyuan 139
Toronto 139
Des Moines 135
Karlsruhe 131
Hangzhou 129
San Diego 129
Changsha 128
Taizhou 126
Haikou 125
Ningbo 123
Jiaxing 116
Altamura 111
Saint Petersburg 107
Dong Ket 88
Redwood City 80
London 78
Verona 75
Milan 67
Fuzhou 65
San Paolo di Civitate 61
Wiesbaden 61
Helsinki 44
Bremen 43
Norwalk 38
Phoenix 38
Kunming 35
Hefei 33
Polska 27
Chicago 24
Philadelphia 24
Washington 22
Moscow 21
Rome 20
Sofia 19
Latiano 18
New York 18
Southend 18
Den Haag 17
Zeewolde 17
Atlanta 16
Chengdu 16
Edinburgh 16
Shanghai 16
Clearwater 14
Indiana 14
Lanzhou 14
Lausanne 14
Lenoir 14
Los Angeles 14
Puxian 14
Frankfurt am Main 13
Orange 13
Seongnam 13
Padova 12
Redmond 12
Torino 12
Leawood 11
New Bedfont 11
Prescot 11
San Francisco 11
Treviso 11
Hounslow 10
Kolkata 10
Naples 10
Paris 10
Totale 35.353
Salva come PNG Salva come JPEG
Nome #
Verification, Model Checking, and Abstract Interpretation 561
High performance encapsulation in Casanova 2 561
High performance encapsulation and networking in Casanova 2 526
Extending Abstract Interpretation to Dependency Analysis of Database Applications 448
A Hierarchical and Abstraction-Based Blockchain Model 445
A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities 441
String Abstraction for Model Checking of C Programs 440
Casanova: A simple, high-performance language for game development 432
ROLAP based data warehouse schema to XML schema conversion 412
Node localization for indoor tracking using artificial neural network 406
Blockchain transaction analysis using dominant sets 405
Building Game Scripting DSL's with the Metacasanova Metacompiler 390
An Ontology-based Inquiry Framework. 380
Combining symbolic and numerical domains for information leakage analysis 358
A Survey on Product Operators in Abstract Interpretation 353
Procedurally Provisioned Access Control for Robotic Systems 350
Women and Informatics: The Ada Web Portal 346
Type-driven cross-programming for android and LEGO Mindstorms interoperability 345
Static analysis of android apps interaction with automotive CAN 340
Advanced computing and systems for security 338
HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data 337
Vulnerability analysis of android auto infotainment apps 331
Observation-based Fine Grained Access Control of Data 329
Metacasanova: an optimized meta-compiler for Domain-Specific Languages 326
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 319
Completeness of Abstract Domains for String Analysis of JavaScript Programs 314
Informatica Umanistica: Una Disciplina di Confine 312
MySQL extension automatic porting to PDO for PHP migration and security improvement 311
Computer Information Systems and Industrial Management 302
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability 298
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients 293
Distortion-Free Authentication Watermarking 286
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems 283
Enhancing security in ROS 279
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs 278
Computer Information Systems - Analysis and Technologies 277
Type-Flow Analysis for Legacy Cobol Code 273
Preface 273
Geographic location based dynamic and opportunistic RPL for distributed networks 271
Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain 270
Preventing Additive Attacks to Relational Database Watermarking 268
DAPA: Degradation-Aware Privacy Analysis of Android Apps 266
A calculus of challenges and responses 265
Towards an European Certification of Computer Science Curricula 263
Information-flow Analysis of Hibernate Query Languages 262
A uniform representation of multi-variant data in intensive-query databases 262
Things as a service: Service model for IoT 262
BANANA: A tool for Boundary Ambients Nesting ANAlysis 260
Abstract program slicing on dependence condition graphs 259
Preface 259
Property Driven Program Slicing 255
Abstract Interpretation of Recursive Queries 255
Tukra: An Abstract Program Slicing Tool 254
Static Analysis 252
Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003 252
Abstract Interpretation Based Verification of Non-Functional Requirements 251
Type Analysis of Prolog Using Type Graphs 250
A distortion free watermark framework for relational databases 250
A Persistent Public Watermarking of Relational Databases 248
Donne e Tecnologie Informatiche 246
A New Scale for Attribute Dependency in Large Database Systems 246
SROS1: Using and Developing Secure ROS1 Systems 246
A Generic Distortion Free Watermarking Technique for Relational Databases 244
CIL to Java-bytecode translation for static analysis leveraging 243
Abstract Domains for Reordering CLP(RLin) Programs 242
Cooperative Query Answering by Abstract Interpretation 242
Verification of hibernate query language by abstract interpretation 241
Computer Information Systems and Industrial Management, 12th IFIP International Conference 239
Introduction to the special issue:SAAP-2017 (Static Analysis of Android Apps: Security and Privacy) 239
Widening and Narrowing Operators for Abstract Interpretation 235
Type Analysis of Prolog Using Type Graphs 234
Validazione di Piani di Disaster Recovery mediante Simulatore 234
Materialized View Construction Using Linearizable Nonlinear Regression 234
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 232
Information Leakage Analysis of Database Query Languages 231
Information Leakage Analysis by Abstract Interpretation 231
Comparison of Abstract Interpretations 230
A suite of abstract domains for static analysis of string values 228
Flow-Sensitive Leakage Analysis in Mobile Ambients 228
Typing Legacy COBOL Code 227
The abstract domain of Trapezoid Step Functions 226
Graph properties for normal logic programs 224
Linear approximation of continuous systems with Trapezoid Step Functions 224
Penetration testing ROS 224
KPI-Supported PDCA Model for Innovation Policy Management in Local Government 223
Database Authentication by Distortion-Free Watermarking 222
A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization 222
Introduction to special issue on intelligent computing and adaptive systems 221
Static Analysis of String Values 220
Engaging high school students in computer science via challenging applications 220
Boundary Inference for Enforcing Security Policies in Mobile Ambients 220
Ada web portal: promoting women access to informatics 218
Abstract Program Slicing of Database Query Languages 218
Automated Verification of Behavioural Properties of Prolog Programs 216
Dependence Condition Graph for Semantics-based Abstract Program Slicing 214
DIRECTIONALLY CONTINUOUS-SELECTIONS IN BANACH-SPACES 214
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 214
Complexity of Nesting Analysis in Mobile Ambients 213
Abstract Interpretation of Database Query Languages 213
Fine Grained Access Control for Relational Databases by Abstract Interpretation 213
Totale 28.483
Salva come PNG Salva come JPEG
Categoria #
all - tutte 105.475
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 105.475
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20192.902 0 0 0 0 0 238 219 131 195 341 644 1.134
2019/202011.057 908 752 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.214 444 578 101 657 739 1.601 234 472 736 47 441 164
2023/20241.048 179 171 160 107 354 77 0 0 0 0 0 0
Totale 44.702