IRIS
DELLA PENNA, GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.184
EU - Europa 2.530
AS - Asia 2.029
SA - Sud America 220
Continente sconosciuto - Info sul continente non disponibili 105
AF - Africa 28
OC - Oceania 6
Totale 10.102
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.044
SG - Singapore 790
IT - Italia 679
IE - Irlanda 499
RU - Federazione Russa 484
CN - Cina 477
DE - Germania 269
TR - Turchia 227
HK - Hong Kong 185
VN - Vietnam 180
BR - Brasile 176
GB - Regno Unito 154
UA - Ucraina 121
CA - Canada 98
FR - Francia 90
SE - Svezia 80
FI - Finlandia 71
IN - India 48
BD - Bangladesh 21
NL - Olanda 18
MX - Messico 17
PL - Polonia 16
IQ - Iraq 15
AR - Argentina 13
BE - Belgio 13
JP - Giappone 13
KR - Corea 12
EC - Ecuador 11
ID - Indonesia 9
ES - Italia 8
IL - Israele 7
SA - Arabia Saudita 7
ZA - Sudafrica 7
CO - Colombia 6
CZ - Repubblica Ceca 6
EU - Europa 6
VE - Venezuela 6
SC - Seychelles 5
SV - El Salvador 5
AU - Australia 4
JO - Giordania 4
LT - Lituania 4
MA - Marocco 4
MY - Malesia 4
PK - Pakistan 4
UZ - Uzbekistan 4
AE - Emirati Arabi Uniti 3
BO - Bolivia 3
CR - Costa Rica 3
CW - ???statistics.table.value.countryCode.CW??? 3
DO - Repubblica Dominicana 3
EE - Estonia 3
HN - Honduras 3
IR - Iran 3
KE - Kenya 3
NI - Nicaragua 3
RO - Romania 3
TN - Tunisia 3
AL - Albania 2
AZ - Azerbaigian 2
BG - Bulgaria 2
CH - Svizzera 2
CL - Cile 2
EG - Egitto 2
GT - Guatemala 2
JM - Giamaica 2
NP - Nepal 2
NZ - Nuova Zelanda 2
OM - Oman 2
PH - Filippine 2
PR - Porto Rico 2
UY - Uruguay 2
AT - Austria 1
BN - Brunei Darussalam 1
CI - Costa d'Avorio 1
CY - Cipro 1
DK - Danimarca 1
DZ - Algeria 1
GP - Guadalupe 1
GR - Grecia 1
KW - Kuwait 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LU - Lussemburgo 1
LV - Lettonia 1
MF - Saint Martin 1
MG - Madagascar 1
PT - Portogallo 1
PY - Paraguay 1
SN - Senegal 1
TH - Thailandia 1
TW - Taiwan 1
Totale 10.006
Salva come PNG Salva come JPEG
Città #
Dallas 1.058
Dublin 496
San Jose 490
Singapore 482
Jacksonville 456
Chandler 435
Ashburn 341
Hong Kong 184
Council Bluffs 174
Boardman 171
Santa Clara 168
Nanjing 123
New York 123
Izmir 118
L’Aquila 113
The Dalles 108
Milan 98
Moscow 77
San Mateo 72
Staranzano 66
Bremen 64
Wilmington 64
Ann Arbor 63
Lawrence 63
Princeton 63
Los Angeles 61
Rome 60
Ho Chi Minh City 57
L'aquila 53
Lauterbourg 53
Ottawa 52
Hanoi 49
Beijing 46
Nanchang 37
Munich 35
São Paulo 22
Miano 21
Hebei 19
Newark 19
Shenyang 19
Berlin 18
Chicago 18
Kunming 18
Tianjin 18
Verona 18
Chennai 17
Phoenix 17
Denver 16
Naples 16
Seattle 16
Woodbridge 16
Pescara 15
Jinan 14
Mountain View 14
Orem 14
Amsterdam 13
Brussels 13
Hefei 13
San Francisco 13
Tokyo 13
Columbus 12
Des Moines 12
Falkenstein 12
Jiaxing 12
Atlanta 11
Helsinki 11
Shanghai 11
Toronto 11
Warsaw 11
Changsha 10
Heriot 10
Washington 10
Boston 9
Fremont 9
Haiphong 9
Hangzhou 9
Montreal 9
Piscataway 9
Turin 9
Frankfurt am Main 8
London 8
Bologna 7
Houston 7
St Petersburg 7
Taizhou 7
Mexico City 6
Mumbai 6
Newcastle upon Tyne 6
Rio de Janeiro 6
Stockholm 6
Turku 6
Venezia 6
Albany 5
Brooklyn 5
Buffalo 5
Johannesburg 5
Manchester 5
Memphis 5
North Bergen 5
Norwalk 5
Totale 6.905
Salva come PNG Salva come JPEG
Nome #
Generative AI as a New Assistive Technology for Web Interaction 490
A Preliminary Evaluation of Generative AI Tools for Blind Users: Usability and Screen Reader Interaction 431
Synchronized Regular Expressions 237
MTA-KDD'19: A Dataset for Malware Traffic Detection 222
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers 221
Exploiting Transition Locality in the Disk Based Murphi Verifier 159
A Formal Framework to Represent Spatial Knowledge 159
An XML Definition Language to Support Scenario Based Requirements Engineering 159
Extending Visual Information Extraction to Biomedical Applications 152
An XML Environment for Scenario Based Requirements Engineering 151
Imbalanced Dataset Optimization with New Resampling Techniques 151
Supporting Information Extraction from Visual Documents 150
DNN-ForwardTesting: A New Trading Strategy Validation using Statistical Timeseries Analysis and Deep Neural Networks 149
OBDD compression of numerical controllers 149
Visual Extraction of Information from Web Pages 146
An Environment for the Design and Implementation of Visual Applications 145
A spatial relation-based framework to perform visual information extraction 142
An XML Based Methodology to Model and Use Scenarios in the Software Development Process 141
A Graphical Tool to Support Visual Information Extraction 141
Botnet Detection in Software Defined Networks by Deep Learning Techniques 140
A Stock Trading System for a Medium Volatile Asset using Multi Layer Perceptron 136
A Type System for Static and Dynamic Checking of C++ Pointers 136
A universal planning system for hybrid domains 136
SyBeL: a system modelling language enhancing automatic support in the software development process 136
Feature selection strategies for http botnet traffic detection 135
New Optimization Approaches in Malware Traffic Analysis 135
Xere: Towards a Natural Interoperability between XML and ER Diagrams 134
A Methodology for Scenario Development 134
Automatic Verification of a Turbogas Control System with the Murphi Verifier 132
Trading Strategy Validation Using Forwardtesting with Deep Neural Networks 129
Verifying Extended Criteria for the Interoperability of Security Devices 129
Automatic generation of optimal controllers through model checking techniques 129
A General Theory of Spatial Relations to Support a Graphical Tool for Visual Information Extraction 129
Addressing Machines as models of lambda-calculus 129
Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems 127
Supporting Visual Information Extraction from Geospatial Data 126
Using spatial relations for qualitative specification of gestures 124
A Microservices Architecture for Machine Learning Assisted Decision Support in a Real-Time Field Sensors Environment 124
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 123
Qualitative Representation of Spatio-Temporal Knowledge 123
PIATTAFORMA HARDWARE E SOFTWARE DI MONITORAGGIO E LOCALIZZAZIONE DI VITTIME DA TERREMOTO INTRAPPOLATE NELLE MACERIE A SUPPORTO DI INTERVENTI DI SOCCORSO 120
Generating graphical applications from state-transition visual specifications 120
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies 120
Automatic Synthesis of Robust Numerical Controllers 120
Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains 119
CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems 118
Interoperability mapping from XML schemas to ER diagrams 118
Bounded Probabilistic Model Checking with the Murphi Verifier 114
Model Checking XSL Transformations 113
Fast and Compact Encoding of Numerical Controllers using OBDDS 112
Two Factor Authentication for e-Government Services using Hardware-Like One Time Password Generators 111
Automatic Generation Of Optimal Controllers Through Model Checking Techniques 110
Exploiting Hub States in Automatic Verification 110
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier 110
UPMurphi: a Tool for Universal Planning on PDDL+ Problems 110
Process-Oriented Requirements Definition and Analysis of Software Components in Critical Systems 109
UPMurphi Released: PDDL+ Planning for Hybrid Systems 109
Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques 109
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 108
Exploiting Transition Locality in Automatic Verification 108
A Case Study on Automated Generation of Integration Tests 108
Digital Citizen Rights: Accessibility of E-Government Websites in Italy 107
Exploiting spatial relations for grammar-based specification of multidimensional languages 107
Integrating RAM and Disk Based Verification within the Murphi Verifier 104
Evaluating Fuzzy Controller Robustness using Model Checking 103
Security in the internet of things: botnet detection in software-defined networks by deep learning techniques 101
A Probabilistic Approach to Automatic Formal Verification 100
Disk Based Software Verification via Bounded Model Checking 96
A PDDL+ Benchmark Problem: The Batch Chemical Plant 95
Planning for Autonomous Planetary Vehicles 94
Cost-Optimal Strong Planning in Non-Deterministic Domains 92
A Lightweight BPMN Extension for Business Process-oriented Requirements Engineering 92
Accessibility of e-Government Websites in Italy: The User Experience of People with Disabilities 89
Automating Execution and Verification of BPMN+DMN Business Processes 61
null 44
Totale 10.102
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.251
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 36.251
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022271 0 0 0 21 20 6 10 32 21 18 36 107
2022/20231.371 92 71 28 122 168 129 4 82 608 6 38 23
2023/2024451 135 16 20 43 41 87 12 12 1 12 15 57
2024/20251.336 97 44 114 76 143 106 149 111 239 54 117 86
2025/20263.503 141 396 849 339 252 216 443 79 254 384 127 23
2026/20271.208 69 230 259 650 0 0 0 0 0 0 0 0
Totale 10.102