CORTESI, Agostino
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 36.541
AS - Asia 17.283
EU - Europa 16.007
SA - Sud America 1.332
AF - Africa 283
OC - Oceania 51
Continente sconosciuto - Info sul continente non disponibili 39
Totale 71.536
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 35.632
CN - Cina 5.998
SG - Singapore 4.975
PL - Polonia 4.633
IT - Italia 3.460
VN - Vietnam 2.212
DE - Germania 1.428
UA - Ucraina 1.228
HK - Hong Kong 1.092
BR - Brasile 1.050
IE - Irlanda 895
FI - Finlandia 835
GB - Regno Unito 834
SE - Svezia 784
CA - Canada 749
IN - India 582
JP - Giappone 563
KR - Corea 518
RU - Federazione Russa 514
FR - Francia 484
TR - Turchia 313
AT - Austria 221
ID - Indonesia 180
NL - Olanda 174
BD - Bangladesh 141
IQ - Iraq 113
MX - Messico 102
AR - Argentina 97
BE - Belgio 91
ES - Italia 81
CH - Svizzera 78
IR - Iran 76
PH - Filippine 76
ZA - Sudafrica 69
PK - Pakistan 52
TH - Thailandia 52
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
MY - Malesia 31
CO - Colombia 29
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
KE - Kenya 21
JO - Giordania 20
LT - Lituania 20
DZ - Algeria 19
OM - Oman 18
TN - Tunisia 18
UY - Uruguay 18
HU - Ungheria 16
LB - Libano 16
LV - Lettonia 15
CY - Cipro 14
EG - Egitto 14
NP - Nepal 14
PE - Perù 14
PY - Paraguay 13
BA - Bosnia-Erzegovina 12
ET - Etiopia 12
JM - Giamaica 11
CR - Costa Rica 10
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
SY - Repubblica araba siriana 6
EE - Estonia 5
HR - Croazia 5
LK - Sri Lanka 5
MD - Moldavia 5
NG - Nigeria 5
NI - Nicaragua 5
RE - Reunion 5
BH - Bahrain 4
CG - Congo 4
CU - Cuba 4
HN - Honduras 4
LU - Lussemburgo 4
MM - Myanmar 4
Totale 71.454
Salva come PNG Salva come JPEG
Città #
Woodbridge 4.990
Warsaw 4.588
Ashburn 3.943
Fairfield 3.170
Singapore 2.647
Chandler 2.155
Jacksonville 1.874
Houston 1.782
Ann Arbor 1.626
Council Bluffs 1.466
Seattle 1.451
San Jose 1.397
Wilmington 1.228
Dallas 1.143
Cambridge 1.036
Hong Kong 1.030
Dublin 885
Beijing 666
Ho Chi Minh City 565
Hanoi 529
Boardman 525
Nanjing 505
Ottawa 449
Seoul 448
New York 444
Jinan 441
Hefei 418
Mestre 415
Venice 391
Tokyo 374
Shenyang 367
Guangzhou 359
Los Angeles 329
San Mateo 294
Dearborn 291
Boston 270
Izmir 266
The Dalles 264
Andover 260
Venezia 250
Bengaluru 249
Hebei 229
Lauterbourg 224
Mülheim 219
Tianjin 209
Princeton 208
Vienna 194
Des Moines 189
Milan 172
Nanchang 171
Toronto 160
Zhengzhou 155
Jakarta 150
Columbus 149
Santa Clara 148
Verona 148
Hangzhou 147
Changsha 141
Taiyuan 140
Karlsruhe 131
San Diego 131
Buffalo 128
Chicago 128
Taizhou 126
Haikou 125
Ningbo 124
Frankfurt am Main 119
Munich 118
Jiaxing 117
São Paulo 116
Da Nang 112
Altamura 111
Saint Petersburg 107
London 99
Helsinki 98
Orem 98
Haiphong 94
Phoenix 89
Dong Ket 88
Brussels 83
Redwood City 80
Chennai 75
Fuzhou 70
Memphis 70
Udine 65
Moscow 64
San Paolo di Civitate 61
Treviso 61
Wiesbaden 61
Berlin 56
Rome 55
Shanghai 52
Brooklyn 51
Atlanta 50
Bologna 49
Cotonou 49
Denver 49
Montreal 49
Kolkata 46
Pune 46
Totale 52.434
Salva come PNG Salva come JPEG
Nome #
High performance encapsulation in Casanova 2 689
High performance encapsulation and networking in Casanova 2 669
Verification, Model Checking, and Abstract Interpretation 632
Extending Abstract Interpretation to Dependency Analysis of Database Applications 581
String Abstraction for Model Checking of C Programs 574
Casanova: A simple, high-performance language for game development 572
A Hierarchical and Abstraction-Based Blockchain Model 564
A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities 543
Building Game Scripting DSL's with the Metacasanova Metacompiler 539
Node localization for indoor tracking using artificial neural network 524
Blockchain transaction analysis using dominant sets 509
Metacasanova: an optimized meta-compiler for Domain-Specific Languages 505
HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data 505
Combining symbolic and numerical domains for information leakage analysis 497
Static analysis for discovering IoT vulnerabilities 496
ROLAP based data warehouse schema to XML schema conversion 489
Type-driven cross-programming for android and LEGO Mindstorms interoperability 486
A Survey on Product Operators in Abstract Interpretation 485
An Ontology-based Inquiry Framework. 473
Static analysis of android apps interaction with automotive CAN 471
Completeness of Abstract Domains for String Analysis of JavaScript Programs 461
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 460
Procedurally Provisioned Access Control for Robotic Systems 456
Vulnerability analysis of android auto infotainment apps 446
Penetration testing ROS 441
Observation-based Fine Grained Access Control of Data 440
Advanced computing and systems for security 439
Informatica Umanistica: Una Disciplina di Confine 434
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability 429
Women and Informatics: The Ada Web Portal 428
A calculus of challenges and responses 424
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems 423
Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain 412
MySQL extension automatic porting to PDO for PHP migration and security improvement 409
Geographic location based dynamic and opportunistic RPL for distributed networks 408
DAPA: Degradation-Aware Privacy Analysis of Android Apps 402
Type-Flow Analysis for Legacy Cobol Code 399
Enhancing security in ROS 399
Type Analysis of Prolog Using Type Graphs 398
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs 393
Cross-Program Taint Analysis for IoT Systems 386
Computer Information Systems and Industrial Management 383
Distortion-Free Authentication Watermarking 377
A suite of abstract domains for static analysis of string values 373
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients 371
Information Flow Analysis for Detecting Non-Determinism in Blockchain 370
SROS1: Using and Developing Secure ROS1 Systems 370
Preventing Additive Attacks to Relational Database Watermarking 369
A uniform representation of multi-variant data in intensive-query databases 367
A Persistent Public Watermarking of Relational Databases 366
Cooperative Query Answering by Abstract Interpretation 365
A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization 364
Widening and Narrowing Operators for Abstract Interpretation 363
Abstract program slicing on dependence condition graphs 363
Information Leakage Analysis by Abstract Interpretation 362
Computer Information Systems - Analysis and Technologies 361
A distortion free watermark framework for relational databases 360
CIL to Java-bytecode translation for static analysis leveraging 359
Abstract Interpretation of Recursive Queries 356
Typing Legacy COBOL Code 356
Preface 356
Towards an European Certification of Computer Science Curricula 354
Engaging high school students in computer science via challenging applications 354
Abstract Interpretation Based Verification of Non-Functional Requirements 350
Things as a service: Service model for IoT 349
A Generic Distortion Free Watermarking Technique for Relational Databases 346
Introduction to special issue on intelligent computing and adaptive systems 345
A New Scale for Attribute Dependency in Large Database Systems 342
Computer Information Systems and Industrial Management, 12th IFIP International Conference 342
Abstract Domains for Reordering CLP(RLin) Programs 340
Information Leakage Analysis of Database Query Languages 339
Property Driven Program Slicing 337
Information-flow Analysis of Hibernate Query Languages 337
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 337
Abstracting strings for model checking of C programs 333
Linear approximation of continuous systems with Trapezoid Step Functions 332
Static Analysis 331
Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003 331
Preface 331
BANANA: A tool for Boundary Ambients Nesting ANAlysis 330
Donne e Tecnologie Informatiche 328
Tukra: An Abstract Program Slicing Tool 328
Validazione di Piani di Disaster Recovery mediante Simulatore 327
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software 324
Database Authentication by Distortion-Free Watermarking 321
Type Analysis of Prolog Using Type Graphs 319
Abstract Interpretation of Database Query Languages 319
Cross-Programming Language Taint Analysis for the IoT Ecosystem 319
Obfuscation-based analysis of SQL injection attacks 318
Static Analysis of String Values 317
Semantic-driven watermarking of relational textual databases 317
Abstract Program Slicing of Database Query Languages 315
Comparison of Abstract Interpretations 311
Graph properties for normal logic programs 311
Game Programming as a Non-Threatening Introduction to Functional Languages 311
Verification of hibernate query language by abstract interpretation 311
Dependence Condition Graph for Semantics-based Abstract Program Slicing 310
SAILS: Static Analysis of Information Leakage with Sample 308
Observation-Based Fine Grained Access Control for XML Documents 304
Distinctness and Sharing Domains for Static Analysis of Java Programs 301
Totale 39.780
Salva come PNG Salva come JPEG
Categoria #
all - tutte 212.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 212.475
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021906 0 0 0 0 0 0 0 0 0 0 0 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/202620.912 1.428 1.384 1.712 1.333 2.641 1.592 2.350 1.234 2.492 2.106 990 1.650
Totale 72.535