CORTESI, Agostino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 33.993
AS - Asia 17.098
EU - Europa 15.758
SA - Sud America 1.331
AF - Africa 282
OC - Oceania 51
Continente sconosciuto - Info sul continente non disponibili 39
Totale 68.552
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 33.155
CN - Cina 5.953
SG - Singapore 4.917
PL - Polonia 4.633
IT - Italia 3.243
VN - Vietnam 2.204
DE - Germania 1.424
UA - Ucraina 1.228
HK - Hong Kong 1.081
BR - Brasile 1.049
IE - Irlanda 895
FI - Finlandia 835
GB - Regno Unito 827
SE - Svezia 779
CA - Canada 704
IN - India 567
JP - Giappone 559
RU - Federazione Russa 514
KR - Corea 513
FR - Francia 480
TR - Turchia 313
AT - Austria 221
ID - Indonesia 179
NL - Olanda 169
BD - Bangladesh 113
IQ - Iraq 113
MX - Messico 98
AR - Argentina 97
BE - Belgio 90
ES - Italia 81
CH - Svizzera 76
IR - Iran 76
PH - Filippine 75
ZA - Sudafrica 69
PK - Pakistan 51
TH - Thailandia 51
BJ - Benin 49
UZ - Uzbekistan 49
AU - Australia 43
TW - Taiwan 43
EC - Ecuador 36
EU - Europa 33
VE - Venezuela 33
CL - Cile 32
MA - Marocco 32
CO - Colombia 29
CZ - Repubblica Ceca 29
DK - Danimarca 28
RO - Romania 28
SA - Arabia Saudita 27
AE - Emirati Arabi Uniti 25
MY - Malesia 25
BG - Bulgaria 23
GR - Grecia 23
IL - Israele 22
KE - Kenya 21
JO - Giordania 20
DZ - Algeria 19
LT - Lituania 18
OM - Oman 18
TN - Tunisia 18
UY - Uruguay 18
HU - Ungheria 16
LB - Libano 16
LV - Lettonia 15
CY - Cipro 14
PE - Perù 14
EG - Egitto 13
NP - Nepal 13
PY - Paraguay 13
BA - Bosnia-Erzegovina 12
ET - Etiopia 12
PT - Portogallo 10
AL - Albania 9
AZ - Azerbaigian 9
RS - Serbia 9
NO - Norvegia 8
NZ - Nuova Zelanda 8
SN - Senegal 8
AO - Angola 7
BO - Bolivia 7
KZ - Kazakistan 7
PS - Palestinian Territory 7
DO - Repubblica Dominicana 6
JM - Giamaica 6
SY - Repubblica araba siriana 6
EE - Estonia 5
HR - Croazia 5
LK - Sri Lanka 5
MD - Moldavia 5
NG - Nigeria 5
RE - Reunion 5
BH - Bahrain 4
CG - Congo 4
CR - Costa Rica 4
CU - Cuba 4
LU - Lussemburgo 4
MM - Myanmar 4
MN - Mongolia 4
QA - Qatar 4
Totale 68.480
Salva come PNG Salva come JPEG
Città #
Woodbridge 4.989
Warsaw 4.587
Ashburn 3.626
Fairfield 3.170
Singapore 2.624
Chandler 2.155
Jacksonville 1.872
Houston 1.778
Ann Arbor 1.625
Seattle 1.449
Wilmington 1.227
San Jose 1.155
Dallas 1.130
Cambridge 1.035
Hong Kong 1.020
Dublin 884
Beijing 655
Ho Chi Minh City 565
Hanoi 527
Nanjing 505
Boardman 499
Ottawa 448
Seoul 444
Jinan 441
Council Bluffs 419
Hefei 417
Mestre 415
New York 410
Venice 387
Tokyo 370
Shenyang 367
Guangzhou 359
Los Angeles 308
San Mateo 294
Dearborn 291
Boston 269
Izmir 266
The Dalles 262
Andover 260
Venezia 250
Bengaluru 249
Hebei 229
Lauterbourg 224
Mülheim 219
Princeton 208
Tianjin 208
Vienna 194
Des Moines 187
Nanchang 171
Milan 160
Zhengzhou 155
Toronto 154
Jakarta 150
Hangzhou 147
Verona 144
Changsha 140
Taiyuan 140
Karlsruhe 131
San Diego 130
Taizhou 126
Haikou 125
Ningbo 124
Buffalo 119
Frankfurt am Main 119
Munich 118
Jiaxing 117
São Paulo 116
Chicago 114
Altamura 111
Da Nang 110
Santa Clara 110
Saint Petersburg 107
Helsinki 98
Haiphong 94
London 93
Orem 93
Dong Ket 88
Brussels 83
Phoenix 81
Redwood City 80
Chennai 75
Fuzhou 70
Udine 65
Moscow 64
San Paolo di Civitate 61
Treviso 61
Wiesbaden 61
Columbus 59
Berlin 56
Shanghai 50
Cotonou 49
Rome 49
Bologna 47
Pune 46
Brooklyn 45
Denver 44
Johannesburg 44
Bremen 43
Montreal 42
Amsterdam 40
Totale 50.391
Salva come PNG Salva come JPEG
Nome #
High performance encapsulation in Casanova 2 681
High performance encapsulation and networking in Casanova 2 653
Verification, Model Checking, and Abstract Interpretation 630
Extending Abstract Interpretation to Dependency Analysis of Database Applications 567
Casanova: A simple, high-performance language for game development 563
String Abstraction for Model Checking of C Programs 560
A Hierarchical and Abstraction-Based Blockchain Model 556
A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities 532
Building Game Scripting DSL's with the Metacasanova Metacompiler 525
Node localization for indoor tracking using artificial neural network 512
Blockchain transaction analysis using dominant sets 495
HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data 489
Combining symbolic and numerical domains for information leakage analysis 486
Metacasanova: an optimized meta-compiler for Domain-Specific Languages 485
ROLAP based data warehouse schema to XML schema conversion 480
A Survey on Product Operators in Abstract Interpretation 477
Static analysis for discovering IoT vulnerabilities 473
Type-driven cross-programming for android and LEGO Mindstorms interoperability 472
An Ontology-based Inquiry Framework. 459
Static analysis of android apps interaction with automotive CAN 456
Procedurally Provisioned Access Control for Robotic Systems 450
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 446
Vulnerability analysis of android auto infotainment apps 441
Completeness of Abstract Domains for String Analysis of JavaScript Programs 439
Observation-based Fine Grained Access Control of Data 431
Advanced computing and systems for security 422
Informatica Umanistica: Una Disciplina di Confine 419
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems 417
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability 414
Women and Informatics: The Ada Web Portal 412
A calculus of challenges and responses 411
Penetration testing ROS 409
MySQL extension automatic porting to PDO for PHP migration and security improvement 397
Geographic location based dynamic and opportunistic RPL for distributed networks 397
Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain 396
Type Analysis of Prolog Using Type Graphs 388
DAPA: Degradation-Aware Privacy Analysis of Android Apps 388
Type-Flow Analysis for Legacy Cobol Code 385
Enhancing security in ROS 382
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs 378
Cross-Program Taint Analysis for IoT Systems 374
Distortion-Free Authentication Watermarking 368
Computer Information Systems and Industrial Management 366
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients 365
A suite of abstract domains for static analysis of string values 363
A Persistent Public Watermarking of Relational Databases 360
Preventing Additive Attacks to Relational Database Watermarking 360
Abstract program slicing on dependence condition graphs 359
SROS1: Using and Developing Secure ROS1 Systems 359
Cooperative Query Answering by Abstract Interpretation 356
A uniform representation of multi-variant data in intensive-query databases 356
Widening and Narrowing Operators for Abstract Interpretation 353
Abstract Interpretation of Recursive Queries 353
A distortion free watermark framework for relational databases 352
Computer Information Systems - Analysis and Technologies 350
Typing Legacy COBOL Code 350
A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization 350
Information Leakage Analysis by Abstract Interpretation 347
CIL to Java-bytecode translation for static analysis leveraging 342
Preface 342
Things as a service: Service model for IoT 341
Engaging high school students in computer science via challenging applications 340
Abstract Interpretation Based Verification of Non-Functional Requirements 339
Towards an European Certification of Computer Science Curricula 339
A New Scale for Attribute Dependency in Large Database Systems 337
Abstract Domains for Reordering CLP(RLin) Programs 335
Information Flow Analysis for Detecting Non-Determinism in Blockchain 330
Information Leakage Analysis of Database Query Languages 330
Information-flow Analysis of Hibernate Query Languages 330
A Generic Distortion Free Watermarking Technique for Relational Databases 330
Introduction to special issue on intelligent computing and adaptive systems 329
Property Driven Program Slicing 327
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 327
Computer Information Systems and Industrial Management, 12th IFIP International Conference 324
Preface 324
Linear approximation of continuous systems with Trapezoid Step Functions 323
Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003 320
Static Analysis 319
Abstracting strings for model checking of C programs 317
BANANA: A tool for Boundary Ambients Nesting ANAlysis 317
Tukra: An Abstract Program Slicing Tool 316
Validazione di Piani di Disaster Recovery mediante Simulatore 314
Donne e Tecnologie Informatiche 314
Static Analysis of String Values 310
Database Authentication by Distortion-Free Watermarking 309
Obfuscation-based analysis of SQL injection attacks 308
Abstract Interpretation of Database Query Languages 308
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 308
Type Analysis of Prolog Using Type Graphs 307
Abstract Program Slicing of Database Query Languages 307
Verification of hibernate query language by abstract interpretation 305
Comparison of Abstract Interpretations 302
Cross-Programming Language Taint Analysis for the IoT Ecosystem 302
Game Programming as a Non-Threatening Introduction to Functional Languages 301
Dependence Condition Graph for Semantics-based Abstract Program Slicing 300
Semantic-driven watermarking of relational textual databases 300
Graph properties for normal logic programs 294
SAILS: Static Analysis of Information Leakage with Sample 294
Observation-based Fine Grained Access Control for Relational Databases 292
ACM-IFIP IEEIII - Informatics Education Europe 291
Totale 38.558
Salva come PNG Salva come JPEG
Categoria #
all - tutte 202.007
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 202.007
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20213.124 0 0 0 0 0 0 0 0 0 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/202617.921 1.428 1.384 1.712 1.333 2.641 1.592 2.350 1.234 2.492 1.755 0 0
Totale 69.544