CORTESI, Agostino
 Distribuzione geografica
Continente #
NA - Nord America 22217
EU - Europa 11006
AS - Asia 4576
Continente sconosciuto - Info sul continente non disponibili 36
SA - Sud America 18
OC - Oceania 9
AF - Africa 3
Totale 37865
Nazione #
US - Stati Uniti d'America 21618
PL - Polonia 4562
CN - Cina 4037
IT - Italia 1961
UA - Ucraina 1197
DE - Germania 758
FI - Finlandia 648
CA - Canada 594
SE - Svezia 537
GB - Regno Unito 458
RU - Federazione Russa 347
TR - Turchia 265
AT - Austria 148
FR - Francia 143
VN - Vietnam 88
IR - Iran 64
CH - Svizzera 56
NL - Olanda 55
BE - Belgio 38
KR - Corea 34
EU - Europa 33
IN - India 24
DK - Danimarca 23
UZ - Uzbekistan 18
BG - Bulgaria 16
GR - Grecia 15
RO - Romania 12
IL - Israele 10
CL - Cile 9
LB - Libano 9
AU - Australia 8
BR - Brasile 8
CZ - Repubblica Ceca 8
JP - Giappone 6
NO - Norvegia 6
BD - Bangladesh 5
HU - Ungheria 5
MX - Messico 5
MD - Moldavia 4
A2 - ???statistics.table.value.countryCode.A2??? 3
AE - Emirati Arabi Uniti 3
ES - Italia 3
LK - Sri Lanka 3
LV - Lettonia 3
HK - Hong Kong 2
IE - Irlanda 2
SA - Arabia Saudita 2
TW - Taiwan 2
EC - Ecuador 1
JO - Giordania 1
KH - Cambogia 1
MA - Marocco 1
NZ - Nuova Zelanda 1
PK - Pakistan 1
PT - Portogallo 1
SC - Seychelles 1
SD - Sudan 1
TH - Thailandia 1
Totale 37865
Città #
Woodbridge 4989
Warsaw 4525
Fairfield 3170
Jacksonville 1871
Houston 1757
Ann Arbor 1618
Seattle 1408
Ashburn 1301
Wilmington 1223
Cambridge 1035
Chandler 570
Nanjing 499
Ottawa 445
Jinan 435
Mestre 406
Shenyang 366
Beijing 363
San Mateo 294
Dearborn 291
Izmir 264
Andover 260
Guangzhou 257
Venezia 250
Boston 237
Hebei 229
Princeton 208
Tianjin 192
Nanchang 168
Zhengzhou 141
Taiyuan 139
Toronto 136
Vienna 136
Karlsruhe 131
Hangzhou 129
San Diego 129
Changsha 128
Taizhou 126
Haikou 125
Ningbo 123
Jiaxing 116
Venice 115
Altamura 111
Saint Petersburg 107
Dong Ket 88
Redwood City 80
Fuzhou 65
San Paolo di Civitate 61
Wiesbaden 61
Milan 50
Verona 48
Brussels 38
Norwalk 38
Phoenix 38
Kunming 35
Hefei 33
Polska 27
Moscow 19
Latiano 18
Southend 18
Den Haag 17
Rome 17
Zeewolde 17
Chengdu 16
Clearwater 14
Indiana 14
Lanzhou 14
Lausanne 14
Lenoir 14
Puxian 14
Sofia 14
Orange 13
Seongnam 13
Los Angeles 12
Redmond 12
Torino 12
Leawood 11
Shanghai 11
New York 10
Padova 10
Zanjan 10
Frankfurt Am Main 9
Fremont 9
London 9
Wuhan 9
Baotou 8
Bologna 8
Brooklyn 8
Kemerovo 8
La Jolla 8
Siena 8
Xiangfen 8
Chicago 7
Montréal 7
Sacramento 7
Saint Louis 7
Vicenza 7
Yicheng 7
Auburn Hills 6
Dalian 6
Manchester 6
Totale 31671
Nome #
High performance encapsulation in Casanova 2 522
Verification, Model Checking, and Abstract Interpretation 520
High performance encapsulation and networking in Casanova 2 472
A New Intrusion Prevention System for Protecting Smart Grids from ICMPv6 Vulnerabilities 420
String Abstraction for Model Checking of C Programs 407
Extending Abstract Interpretation to Dependency Analysis of Database Applications 406
A Hierarchical and Abstraction-Based Blockchain Model 406
ROLAP based data warehouse schema to XML schema conversion 387
Casanova: A simple, high-performance language for game development 386
Blockchain transaction analysis using dominant sets 386
Node localization for indoor tracking using artificial neural network 375
An Ontology-based Inquiry Framework. 352
Building Game Scripting DSL's with the Metacasanova Metacompiler 351
Advanced computing and systems for security 324
Procedurally Provisioned Access Control for Robotic Systems 324
A Survey on Product Operators in Abstract Interpretation 322
Combining symbolic and numerical domains for information leakage analysis 322
HQR-Scheme: A High Quality and resilient virtual primary key generation approach for watermarking relational data 316
Women and Informatics: The Ada Web Portal 310
Static analysis of android apps interaction with automotive CAN 305
Type-driven cross-programming for android and LEGO Mindstorms interoperability 305
Observation-based Fine Grained Access Control of Data 301
Vulnerability analysis of android auto infotainment apps 293
Computer Information Systems and Industrial Management 286
MySQL extension automatic porting to PDO for PHP migration and security improvement 282
Static analysis of Android Auto infotainment and on‐board diagnostics II apps 282
Metacasanova: an optimized meta-compiler for Domain-Specific Languages 278
Informatica Umanistica: Una Disciplina di Confine 274
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients 264
Completeness of Abstract Domains for String Analysis of JavaScript Programs 264
Computer Information Systems - Analysis and Technologies 263
Preface 255
Distortion-Free Authentication Watermarking 251
Information-flow Analysis of Hibernate Query Languages 251
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability 250
Enhancing security in ROS 249
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems 249
Towards an European Certification of Computer Science Curricula 245
Things as a service: Service model for IoT 242
Preface 241
Black Block Recorder: Immutable Black Box Logging for Robots via Blockchain 240
Type-Flow Analysis for Legacy Cobol Code 239
Donne e Tecnologie Informatiche 237
Preventing Additive Attacks to Relational Database Watermarking 237
Static Analysis 236
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs 236
Property Driven Program Slicing 235
Computer Information Systems and Industrial Management, 12th IFIP International Conference 233
DAPA: Degradation-Aware Privacy Analysis of Android Apps 232
A uniform representation of multi-variant data in intensive-query databases 231
BANANA: A tool for Boundary Ambients Nesting ANAlysis 231
Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003 227
Geographic location based dynamic and opportunistic RPL for distributed networks 225
A New Scale for Attribute Dependency in Large Database Systems 223
Abstract program slicing on dependence condition graphs 222
A calculus of challenges and responses 222
SROS1: Using and Developing Secure ROS1 Systems 221
Tukra: An Abstract Program Slicing Tool 220
Type Analysis of Prolog Using Type Graphs 219
Materialized View Construction Using Linearizable Nonlinear Regression 217
Comparison of Abstract Interpretations 214
Verification of hibernate query language by abstract interpretation 212
CIL to Java-bytecode translation for static analysis leveraging 212
Abstract Interpretation Based Verification of Non-Functional Requirements 211
Graph properties for normal logic programs 209
KPI-Supported PDCA Model for Innovation Policy Management in Local Government 209
Introduction to the special issue:SAAP-2017 (Static Analysis of Android Apps: Security and Privacy) 209
Abstract Domains for Reordering CLP(RLin) Programs 208
Abstract Interpretation of Recursive Queries 207
Validazione di Piani di Disaster Recovery mediante Simulatore 205
A distortion free watermark framework for relational databases 204
Cooperative Query Answering by Abstract Interpretation 203
Flow-Sensitive Leakage Analysis in Mobile Ambients 202
Type Analysis of Prolog Using Type Graphs 200
A Persistent Public Watermarking of Relational Databases 200
DIRECTIONALLY CONTINUOUS-SELECTIONS IN BANACH-SPACES 199
Introduction to special issue on intelligent computing and adaptive systems 199
Combinations of Abstract Domains for Logic Programming 198
The abstract domain of Trapezoid Step Functions 198
Widening and Narrowing Operators for Abstract Interpretation 197
Replaceability and negotiation in a cloud service ecosystem 197
Boundary Inference for Enforcing Security Policies in Mobile Ambients 197
Information Leakage Analysis by Abstract Interpretation 197
Linear approximation of continuous systems with Trapezoid Step Functions 196
Information Leakage Analysis of Database Query Languages 195
Engaging high school students in computer science via challenging applications 194
A Generic Distortion Free Watermarking Technique for Relational Databases 194
PROP REVISITED - PROPOSITIONAL FORMULA AS ABSTRACT DOMAIN FOR GROUNDNESS ANALYSIS 193
A Double Fragmentation Approach for Improving Virtual Primary Key-Based Watermark Synchronization 193
Complexity of Nesting Analysis in Mobile Ambients 191
Dependence Condition Graph for Semantics-based Abstract Program Slicing 190
A suite of abstract domains for static analysis of string values 189
Information Leakage Detection in Boundary Ambients 188
Static Analysis of String Values 188
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications 188
Automated Verification of Behavioural Properties of Prolog Programs 187
Abstract Program Slicing of Database Query Languages 187
Typing Legacy COBOL Code 186
Data leakage analysis of the hibernate query language on a propositional formulae domain 186
Semantic Hierarchy Refactoring by Abstract Interpretation 185
Totale 25438
Categoria #
all - tutte 50739
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 50739


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/20182222 0000 0377 654744 11714911467
2018/20193991 22497248184 336238 219131 1953416441134
2019/202011057 9087528112196 698871 7401219 794805767496
2020/20219386 591355711566 1163883 868620 5059001318906
2021/20227442 8771007558872 59288 296185 1806441533610
2022/20231321 444578101198 00 00 0000
Totale 38761