CORTESI, Agostino
 Distribuzione geografica
Continente #
NA - Nord America 9902
EU - Europa 4128
AS - Asia 1709
SA - Sud America 317
AF - Africa 131
OC - Oceania 49
Continente sconosciuto - Info sul continente non disponibili 6
Totale 16242
Nazione #
US - Stati Uniti d'America 9688
IT - Italia 1667
DE - Germania 859
CN - Cina 513
GB - Regno Unito 320
IN - India 314
BR - Brasile 258
PL - Polonia 190
KR - Corea 170
CA - Canada 169
FR - Francia 156
RU - Federazione Russa 121
AT - Austria 115
VN - Vietnam 108
SE - Svezia 98
CZ - Repubblica Ceca 91
JP - Giappone 87
NL - Olanda 67
ID - Indonesia 66
CH - Svizzera 65
IR - Iran 65
HK - Hong Kong 64
SA - Arabia Saudita 64
UA - Ucraina 51
ZA - Sudafrica 49
TW - Taiwan 48
AU - Australia 47
GR - Grecia 44
IL - Israele 44
RO - Romania 43
ES - Italia 40
TR - Turchia 37
MY - Malesia 32
CL - Cile 31
NO - Norvegia 28
KE - Kenya 27
MX - Messico 24
PT - Portogallo 23
SG - Singapore 22
PK - Pakistan 21
LT - Lituania 18
HU - Ungheria 17
BE - Belgio 13
AR - Argentina 11
BG - Bulgaria 11
EG - Egitto 11
FI - Finlandia 11
PA - Panama 11
TN - Tunisia 11
BY - Bielorussia 10
DK - Danimarca 10
NG - Nigeria 10
AE - Emirati Arabi Uniti 9
EE - Estonia 9
IE - Irlanda 9
SI - Slovenia 9
DZ - Algeria 7
LV - Lettonia 7
PE - Perù 7
RS - Serbia 7
TH - Thailandia 7
MA - Marocco 6
EU - Europa 5
HR - Croazia 5
PH - Filippine 5
SK - Slovacchia (Repubblica Slovacca) 5
CY - Cipro 4
LK - Sri Lanka 4
NP - Nepal 4
BA - Bosnia-Erzegovina 3
CO - Colombia 3
EC - Ecuador 3
JO - Giordania 3
SC - Seychelles 3
TT - Trinidad e Tobago 3
AL - Albania 2
AM - Armenia 2
BH - Bahrain 2
BO - Bolivia 2
CM - Camerun 2
CR - Costa Rica 2
IQ - Iraq 2
KH - Cambogia 2
KW - Kuwait 2
MD - Moldavia 2
NZ - Nuova Zelanda 2
SO - Somalia 2
SY - Repubblica araba siriana 2
UY - Uruguay 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AN - Antille olandesi 1
BD - Bangladesh 1
BN - Brunei Darussalam 1
BW - Botswana 1
BZ - Belize 1
CU - Cuba 1
DO - Repubblica Dominicana 1
GT - Guatemala 1
KZ - Kazakistan 1
LB - Libano 1
Totale 16236
Città #
Woodbridge 2574
Houston 1288
Fairfield 1012
Ann Arbor 644
Seattle 456
Ashburn 427
Wilmington 379
Santa Cruz 356
Cambridge 332
Buffalo 287
Beijing 156
Warsaw 144
Mountain View 111
San Diego 106
Vienna 94
Venezia 87
Dong Ket 82
Bengaluru 80
University Park 69
Toronto 61
Shenyang 57
Paderborn 56
Bro 54
Seoul 47
Nürnberg 46
Rome 45
Hangzhou 40
Ottawa 39
Chicago 38
Duncan 38
Guangzhou 37
Jakarta 37
Muizenberg 36
Scranton 36
Taipei 36
Leawood 34
Shanghai 34
Phoenix 32
Clearwater 29
Las Vegas 29
Los Angeles 28
Austin 27
Milan 26
Tokyo 25
Bern 24
Norwalk 24
Central District 22
Lawrence 22
Paris 20
Southampton 20
Zhengzhou 20
San Francisco 19
Freiburg 18
Lake Forest 18
Singapore 18
Moscow 17
Padova 17
Jeddah 16
Nanjing 16
Hanoi 15
Trivandrum 15
Athens 14
Frankfurt Am Main 14
Fremont 14
Andover 13
Central 13
Changsha 13
Gurgaon 13
Kuala Lumpur 13
Parsippany 13
Seongnam 13
Simi Valley 13
Torino 13
Wuhan 13
Abha 12
Bangalore 12
Dallas 12
Henderson 12
Milpitas 12
Provo 12
San Jose 12
Verona 12
Winterthur 12
Bucharest 11
Eagle 11
Kish 11
Mestre 11
Napoli 11
Polska 11
Riva 11
Albstadt 10
Chongqing 10
New York 10
Romsey 10
Atlanta 9
Bologna 9
Calgary 9
Detroit 9
Ingolstadt 9
Jinan 9
Totale 10423
Nome #
Static analysis of Android Auto infotainment and on‐board diagnostics II apps, file e4239ddd-23cc-7180-e053-3705fe0a3322 2326
Vulnerability analysis of android auto infotainment apps, file e4239ddc-c71d-7180-e053-3705fe0a3322 1464
Verification, Model Checking, and Abstract Interpretation, file e4239ddb-5328-7180-e053-3705fe0a3322 1002
Advanced computing and systems for security, file e4239ddb-f604-7180-e053-3705fe0a3322 547
Things as a service: Service model for IoT, file e4239ddd-79bb-7180-e053-3705fe0a3322 454
Static analysis of android apps interaction with automotive CAN, file e4239ddc-fdd8-7180-e053-3705fe0a3322 422
Extending Abstract Interpretation to Dependency Analysis of Database Applications, file e4239ddc-b350-7180-e053-3705fe0a3322 416
ROLAP based data warehouse schema to XML schema conversion, file e4239ddb-ddc2-7180-e053-3705fe0a3322 403
HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data, file e4239ddd-3256-7180-e053-3705fe0a3322 399
Node localization for indoor tracking using artificial neural network, file e4239ddc-b34f-7180-e053-3705fe0a3322 348
Blockchain transaction analysis using dominant sets, file e4239ddc-5db4-7180-e053-3705fe0a3322 338
Informatica Umanistica: Una Disciplina di Confine, file e4239ddb-edf1-7180-e053-3705fe0a3322 309
High performance encapsulation in Casanova 2, file e4239ddb-d776-7180-e053-3705fe0a3322 306
A Hierarchical and Abstraction-Based Blockchain Model, file e4239ddd-23cd-7180-e053-3705fe0a3322 306
Completeness of Abstract Domains for String Analysis of JavaScript Programs, file e4239ddd-669b-7180-e053-3705fe0a3322 300
A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities, file e4239ddb-6f30-7180-e053-3705fe0a3322 291
High performance encapsulation and networking in Casanova 2, file e4239ddc-bf15-7180-e053-3705fe0a3322 286
Procedurally Provisioned Access Control for Robotic Systems, file e4239ddd-09d0-7180-e053-3705fe0a3322 265
CIL to Java-bytecode translation for static analysis leveraging, file e4239ddc-c71b-7180-e053-3705fe0a3322 263
Computer Information Systems - Analysis and Technologies, file e4239ddb-48c9-7180-e053-3705fe0a3322 255
Computer Information Systems and Industrial Management, file e4239ddb-4421-7180-e053-3705fe0a3322 241
Combining symbolic and numerical domains for information leakage analysis, file e4239ddc-b34c-7180-e053-3705fe0a3322 235
Enhancing security in ROS, file e4239ddd-05d4-7180-e053-3705fe0a3322 230
Women and Informatics: The Ada Web Portal, file e4239ddb-2c08-7180-e053-3705fe0a3322 228
Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain, file e4239ddd-eeb5-7180-e053-3705fe0a3322 223
Introduction to the special issue:SAAP-2017 (Static Analysis of Android Apps: Security and Privacy), file e4239ddd-3258-7180-e053-3705fe0a3322 221
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability, file e4239ddd-922d-7180-e053-3705fe0a3322 202
Preventing Additive Attacks to Relational Database Watermarking, file e4239ddd-7028-7180-e053-3705fe0a3322 196
MySQL extension automatic porting to PDO for PHP migration and security improvement, file e4239ddd-3cee-7180-e053-3705fe0a3322 190
Preface, file e4239ddd-93a0-7180-e053-3705fe0a3322 189
Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003, file e4239ddb-5c98-7180-e053-3705fe0a3322 185
Institutional Change for Gender Equality in Research, file e4239ddd-86e2-7180-e053-3705fe0a3322 182
Twinning Automata and Regular Expressions for String Static Analysis, file e4239dde-189b-7180-e053-3705fe0a3322 182
Geographic location based dynamic and opportunistic RPL for distributed networks, file e4239ddd-6292-7180-e053-3705fe0a3322 180
Type-driven cross-programming for android and LEGO Mindstorms interoperability, file e4239ddd-669d-7180-e053-3705fe0a3322 178
String Abstraction for Model Checking of C Programs, file e4239ddd-60bc-7180-e053-3705fe0a3322 176
A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization, file e4239ddd-9426-7180-e053-3705fe0a3322 174
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems, file e4239ddd-3353-7180-e053-3705fe0a3322 173
Advanced Computing and Systems for Security - Volume Nine, file e4239ddd-8888-7180-e053-3705fe0a3322 171
Replaceability and negotiation in a cloud service ecosystem, file e4239ddd-60bf-7180-e053-3705fe0a3322 167
Advanced Computing and Systems for Security - Volume Twelve, file e4239ddd-908a-7180-e053-3705fe0a3322 157
Static analysis for dummies: experiencing LiSA, file e4239dde-51bc-7180-e053-3705fe0a3322 147
A Survey on Product Operators in Abstract Interpretation, file e4239ddb-354a-7180-e053-3705fe0a3322 137
Introduction to special issue on intelligent computing and adaptive systems, file e4239ddc-934a-7180-e053-3705fe0a3322 132
Abstracting strings for model checking of C programs, file e4239ddd-fd4f-7180-e053-3705fe0a3322 130
Preface, file e4239ddc-bb59-7180-e053-3705fe0a3322 129
Information-flow Analysis of Hibernate Query Languages, file e4239ddb-3767-7180-e053-3705fe0a3322 128
From CIL to Java-bytecode: Semantics-based Translation for Static Analysis Leveraging, file e4239ddd-6d75-7180-e053-3705fe0a3322 125
An Ontology-based Inquiry Framework., file e4239ddb-57f8-7180-e053-3705fe0a3322 116
Observation-based Fine Grained Access Control of Data, file e4239ddb-40f1-7180-e053-3705fe0a3322 94
Preface, file e4239ddc-bb57-7180-e053-3705fe0a3322 94
Donne e Tecnologie Informatiche, file e4239ddb-4c5c-7180-e053-3705fe0a3322 90
Validazione di Piani di Disaster Recovery mediante Simulatore, file e4239ddb-3318-7180-e053-3705fe0a3322 84
Sentence Embedding Models for Similarity Detection of Software Requirements, file e4239dde-1597-7180-e053-3705fe0a3322 84
Computer Information Systems and Industrial Management, 12th IFIP International Conference, file e4239ddb-34cd-7180-e053-3705fe0a3322 78
Advanced Computing and Systems for Security - Volume Ten, file e4239ddd-9089-7180-e053-3705fe0a3322 72
Towards an European Certification of Computer Science Curricula, file e4239ddb-2d49-7180-e053-3705fe0a3322 65
Property Driven Program Slicing, file e4239ddb-2b30-7180-e053-3705fe0a3322 64
Advanced Computing and Systems for Security - Volume Five, file e4239ddc-a45f-7180-e053-3705fe0a3322 59
Families_Share: digital and social innovation for work–life balance, file e4239dde-908e-7180-e053-3705fe0a3322 43
A Wearable System for Jump Detection in Inline Figure Skating, file e4239dde-9d58-7180-e053-3705fe0a3322 40
Advanced Computing and Systems for Security - Volume Six, file e4239ddc-ab20-7180-e053-3705fe0a3322 37
Cross-Programming Language Taint Analysis for the IoT Ecosystem, file e4239ddd-62c0-7180-e053-3705fe0a3322 35
Advanced Computing and Systems for Security - Volume Seven, file e4239ddc-fdda-7180-e053-3705fe0a3322 26
Static Analysis, file e4239ddb-5329-7180-e053-3705fe0a3322 19
La valutazione nei Consigli Regionali, file e4239ddd-05cf-7180-e053-3705fe0a3322 7
A suite of abstract domains for static analysis of string values, file e4239ddb-34cf-7180-e053-3705fe0a3322 2
Widening and Narrowing Operators for Abstract Interpretation, file e4239ddb-4e2c-7180-e053-3705fe0a3322 2
The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software, file e4239ddb-5539-7180-e053-3705fe0a3322 2
Casanova: A simple, high-performance language for game development, file e4239ddb-aeca-7180-e053-3705fe0a3322 2
SROS1: Using and Developing Secure ROS1 Systems, file e4239ddc-ad3f-7180-e053-3705fe0a3322 2
Specification-based Automatic Verification of Prolog Programs, file e4239ddb-2e09-7180-e053-3705fe0a3322 1
Distortion-Free Authentication Watermarking, file e4239ddb-2f18-7180-e053-3705fe0a3322 1
Fine Grained Access Control for Relational Databases by Abstract Interpretation, file e4239ddb-2f19-7180-e053-3705fe0a3322 1
Property Driven Program Slicing Refinement, file e4239ddb-3085-7180-e053-3705fe0a3322 1
Typing Legacy COBOL Code, file e4239ddb-4414-7180-e053-3705fe0a3322 1
Abstract Interpretation of Recursive Queries, file e4239ddb-448d-7180-e053-3705fe0a3322 1
Abstract Program Slicing of Database Query Languages, file e4239ddb-448e-7180-e053-3705fe0a3322 1
Abstract program slicing on dependence condition graphs, file e4239ddb-4c16-7180-e053-3705fe0a3322 1
Modeling the Bullwhip Effect in a Multi-Stage Multi-Tier Retail Network by Generalized Stochastic Petri Nets, file e4239ddb-57aa-7180-e053-3705fe0a3322 1
The abstract domain of Trapezoid Step Functions, file e4239ddb-ac80-7180-e053-3705fe0a3322 1
BANANA: A tool for Boundary Ambients Nesting ANAlysis, file e4239ddc-99ef-7180-e053-3705fe0a3322 1
Penetration testing ROS, file e4239ddd-09d2-7180-e053-3705fe0a3322 1
Cross-Program Taint Analysis for IoT Systems, file e4239ddd-6060-7180-e053-3705fe0a3322 1
HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data, file e4239ddd-f934-7180-e053-3705fe0a3322 1
Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain, file e4239dde-0314-7180-e053-3705fe0a3322 1
Totale 16840
Categoria #
all - tutte 23020
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 23020


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/2018166 0000 023 2649 22171514
2018/2019864 16253823 3039 2456 71109198235
2019/20202862 208187232676 216174 168179 244207201170
2020/20214095 190194204218 256326 444267 325483639549
2021/20227529 6003554711489 1011377 348329 3594051410375
2022/2023982 14222952982 00 00 0000
Totale 16840