CORTESI, Agostino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 37.786
AS - Asia 17.441
EU - Europa 16.242
SA - Sud America 1.384
Continente sconosciuto - Info sul continente non disponibili 1.039
AF - Africa 284
OC - Oceania 51
Totale 74.227
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 36.791
CN - Cina 6.028
SG - Singapore 5.014
PL - Polonia 4.635
IT - Italia 3.576
VN - Vietnam 2.223
DE - Germania 1.433
UA - Ucraina 1.230
HK - Hong Kong 1.100
BR - Brasile 1.070
IE - Irlanda 897
SE - Svezia 860
GB - Regno Unito 839
FI - Finlandia 835
CA - Canada 783
IN - India 603
JP - Giappone 565
KR - Corea 518
RU - Federazione Russa 514
FR - Francia 489
TR - Turchia 313
AT - Austria 223
ID - Indonesia 184
NL - Olanda 180
BD - Bangladesh 175
IQ - Iraq 113
MX - Messico 108
AR - Argentina 102
BE - Belgio 93
ES - Italia 89
CH - Svizzera 78
PH - Filippine 78
IR - Iran 76
ZA - Sudafrica 69
PK - Pakistan 53
TH - Thailandia 53
BJ - Benin 49
UZ - Uzbekistan 49
AU - Australia 43
TW - Taiwan 43
CO - Colombia 41
EC - Ecuador 40
VE - Venezuela 38
CL - Cile 35
MY - Malesia 34
EU - Europa 33
MA - Marocco 32
CZ - Repubblica Ceca 29
RO - Romania 29
DK - Danimarca 28
SA - Arabia Saudita 27
AE - Emirati Arabi Uniti 25
BG - Bulgaria 24
GR - Grecia 23
IL - Israele 22
JM - Giamaica 21
KE - Kenya 21
JO - Giordania 20
LT - Lituania 20
DZ - Algeria 19
OM - Oman 18
TN - Tunisia 18
UY - Uruguay 18
PE - Perù 17
CR - Costa Rica 16
HU - Ungheria 16
LB - Libano 16
EG - Egitto 15
LV - Lettonia 15
NP - Nepal 15
CY - Cipro 14
PY - Paraguay 13
BA - Bosnia-Erzegovina 12
ET - Etiopia 12
PT - Portogallo 11
TT - Trinidad e Tobago 11
RS - Serbia 10
AL - Albania 9
AZ - Azerbaigian 9
HN - Honduras 9
NI - Nicaragua 8
NO - Norvegia 8
NZ - Nuova Zelanda 8
SN - Senegal 8
AO - Angola 7
BB - Barbados 7
BO - Bolivia 7
KZ - Kazakistan 7
PS - Palestinian Territory 7
DO - Repubblica Dominicana 6
HR - Croazia 6
SY - Repubblica araba siriana 6
EE - Estonia 5
LK - Sri Lanka 5
MD - Moldavia 5
NG - Nigeria 5
RE - Reunion 5
BH - Bahrain 4
BZ - Belize 4
CG - Congo 4
Totale 73.131
Salva come PNG Salva come JPEG
Città #
Woodbridge 4.992
Warsaw 4.589
Ashburn 4.221
Fairfield 3.170
Singapore 2.655
Chandler 2.155
Jacksonville 1.878
Houston 1.789
Council Bluffs 1.646
Ann Arbor 1.626
Seattle 1.452
San Jose 1.450
Wilmington 1.231
Dallas 1.154
Cambridge 1.036
Hong Kong 1.036
Dublin 885
Beijing 669
Ho Chi Minh City 568
Hanoi 533
Boardman 526
Nanjing 505
Ottawa 451
New York 450
Seoul 448
Jinan 441
Mestre 419
Hefei 418
Venice 400
Tokyo 375
Shenyang 367
Guangzhou 359
Los Angeles 342
San Mateo 294
Dearborn 293
Boston 272
Izmir 266
The Dalles 264
Andover 260
Bengaluru 253
Venezia 250
Hebei 229
Lauterbourg 224
Mülheim 219
Tianjin 210
Princeton 208
Vienna 194
Milan 193
Des Moines 189
Nanchang 171
Santa Clara 168
Toronto 164
Zhengzhou 155
Columbus 154
Jakarta 150
Verona 150
Hangzhou 147
Changsha 141
Chicago 141
Taiyuan 140
Buffalo 132
San Diego 132
Karlsruhe 131
Taizhou 126
Haikou 125
Ningbo 124
Frankfurt am Main 119
Munich 118
São Paulo 118
Jiaxing 117
Da Nang 114
Altamura 111
Saint Petersburg 107
London 99
Orem 99
Helsinki 98
Haiphong 94
Phoenix 93
Dong Ket 88
Brussels 85
Redwood City 80
Chennai 78
Memphis 73
Fuzhou 70
Rome 66
Moscow 65
Udine 65
San Paolo di Civitate 61
Treviso 61
Wiesbaden 61
Brooklyn 59
Berlin 56
Atlanta 54
Montreal 54
Shanghai 52
Bologna 50
Denver 50
Cotonou 49
Kolkata 48
Pune 47
Totale 53.164
Salva come PNG Salva come JPEG
Nome #
High performance encapsulation in Casanova 2 696
High performance encapsulation and networking in Casanova 2 677
Verification, Model Checking, and Abstract Interpretation 634
Extending Abstract Interpretation to Dependency Analysis of Database Applications 592
String Abstraction for Model Checking of C Programs 581
Casanova: A simple, high-performance language for game development 577
A Hierarchical and Abstraction-Based Blockchain Model 572
A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities 547
Building Game Scripting DSL's with the Metacasanova Metacompiler 544
Node localization for indoor tracking using artificial neural network 532
Blockchain transaction analysis using dominant sets 515
HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data 512
Metacasanova: an optimized meta-compiler for Domain-Specific Languages 511
Static analysis for discovering IoT vulnerabilities 509
Combining symbolic and numerical domains for information leakage analysis 504
Type-driven cross-programming for android and LEGO Mindstorms interoperability 495
ROLAP based data warehouse schema to XML schema conversion 493
A Survey on Product Operators in Abstract Interpretation 490
An Ontology-based Inquiry Framework. 480
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 475
Static analysis of android apps interaction with automotive CAN 473
Completeness of Abstract Domains for String Analysis of JavaScript Programs 469
Procedurally Provisioned Access Control for Robotic Systems 462
Penetration testing ROS 454
Observation-based Fine Grained Access Control of Data 453
Vulnerability analysis of android auto infotainment apps 450
Informatica Umanistica: Una Disciplina di Confine 443
Advanced computing and systems for security 443
Women and Informatics: The Ada Web Portal 432
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability 432
A calculus of challenges and responses 431
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems 427
MySQL extension automatic porting to PDO for PHP migration and security improvement 420
Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain 417
Geographic location based dynamic and opportunistic RPL for distributed networks 414
DAPA: Degradation-Aware Privacy Analysis of Android Apps 409
Type Analysis of Prolog Using Type Graphs 408
Type-Flow Analysis for Legacy Cobol Code 408
Widening and Narrowing Operators for Abstract Interpretation 407
Enhancing security in ROS 407
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs 396
Cross-Program Taint Analysis for IoT Systems 390
Computer Information Systems and Industrial Management 389
Information Flow Analysis for Detecting Non-Determinism in Blockchain 387
Distortion-Free Authentication Watermarking 381
SROS1: Using and Developing Secure ROS1 Systems 379
A suite of abstract domains for static analysis of string values 378
A Persistent Public Watermarking of Relational Databases 374
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients 373
Preventing Additive Attacks to Relational Database Watermarking 373
A uniform representation of multi-variant data in intensive-query databases 371
Computer Information Systems - Analysis and Technologies 370
A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization 370
Cooperative Query Answering by Abstract Interpretation 369
Information Leakage Analysis by Abstract Interpretation 369
CIL to Java-bytecode translation for static analysis leveraging 368
Abstract program slicing on dependence condition graphs 367
A distortion free watermark framework for relational databases 366
Towards an European Certification of Computer Science Curricula 362
Typing Legacy COBOL Code 362
Engaging high school students in computer science via challenging applications 360
Preface 360
Abstract Interpretation of Recursive Queries 358
Things as a service: Service model for IoT 357
Abstract Interpretation Based Verification of Non-Functional Requirements 356
A Generic Distortion Free Watermarking Technique for Relational Databases 352
Introduction to special issue on intelligent computing and adaptive systems 348
A New Scale for Attribute Dependency in Large Database Systems 347
Computer Information Systems and Industrial Management, 12th IFIP International Conference 346
Abstract Domains for Reordering CLP(RLin) Programs 345
Donne e Tecnologie Informatiche 345
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 344
Information Leakage Analysis of Database Query Languages 343
Property Driven Program Slicing 341
Information-flow Analysis of Hibernate Query Languages 339
Linear approximation of continuous systems with Trapezoid Step Functions 337
Abstracting strings for model checking of C programs 337
BANANA: A tool for Boundary Ambients Nesting ANAlysis 335
Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003 334
Validazione di Piani di Disaster Recovery mediante Simulatore 334
Static Analysis 333
Preface 333
Database Authentication by Distortion-Free Watermarking 331
Tukra: An Abstract Program Slicing Tool 330
Cross-Programming Language Taint Analysis for the IoT Ecosystem 330
Abstract Interpretation of Database Query Languages 326
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 326
Obfuscation-based analysis of SQL injection attacks 324
Type Analysis of Prolog Using Type Graphs 323
Static Analysis of String Values 323
Semantic-driven watermarking of relational textual databases 322
Game Programming as a Non-Threatening Introduction to Functional Languages 319
SAILS: Static Analysis of Information Leakage with Sample 316
Abstract Program Slicing of Database Query Languages 316
Comparison of Abstract Interpretations 315
Graph properties for normal logic programs 314
Verification of hibernate query language by abstract interpretation 314
Dependence Condition Graph for Semantics-based Abstract Program Slicing 313
Observation-Based Fine Grained Access Control for XML Documents 308
Fine Grained Access Control for Relational Databases by Abstract Interpretation 307
Totale 40.430
Salva come PNG Salva come JPEG
Categoria #
all - tutte 220.487
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 220.487
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20226.565 0 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/202621.001 1.428 1.384 1.712 1.333 2.641 1.592 2.350 1.234 2.492 2.106 990 1.739
2026/20271.603 765 838 0 0 0 0 0 0 0 0 0 0
Totale 74.227