IRIS
DELLA PENNA, GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.191
EU - Europa 1.694
AS - Asia 1.127
SA - Sud America 55
AF - Africa 6
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 5
Totale 5.084
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.132
IE - Irlanda 495
CN - Cina 356
IT - Italia 356
SG - Singapore 347
DE - Germania 227
TR - Turchia 223
RU - Federazione Russa 185
HK - Hong Kong 145
UA - Ucraina 115
GB - Regno Unito 111
SE - Svezia 74
FI - Finlandia 63
CA - Canada 55
BR - Brasile 50
FR - Francia 33
IN - India 20
BE - Belgio 13
VN - Vietnam 8
KR - Corea 7
CZ - Repubblica Ceca 6
EU - Europa 6
AE - Emirati Arabi Uniti 3
AU - Australia 3
IR - Iran 3
MX - Messico 3
NL - Olanda 3
EC - Ecuador 2
EE - Estonia 2
ID - Indonesia 2
IQ - Iraq 2
NZ - Nuova Zelanda 2
PL - Polonia 2
TN - Tunisia 2
UZ - Uzbekistan 2
AL - Albania 1
AR - Argentina 1
AZ - Azerbaigian 1
BD - Bangladesh 1
BG - Bulgaria 1
BO - Bolivia 1
CH - Svizzera 1
CO - Colombia 1
DZ - Algeria 1
ES - Italia 1
GR - Grecia 1
HN - Honduras 1
JO - Giordania 1
KE - Kenya 1
KW - Kuwait 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LT - Lituania 1
LU - Lussemburgo 1
LV - Lettonia 1
MA - Marocco 1
RO - Romania 1
SA - Arabia Saudita 1
TW - Taiwan 1
ZA - Sudafrica 1
Totale 5.084
Salva come PNG Salva come JPEG
Città #
Dublin 492
Jacksonville 453
Chandler 435
Singapore 255
Boardman 168
Hong Kong 145
Santa Clara 143
Nanjing 123
Izmir 117
L’Aquila 107
San Mateo 72
Bremen 64
Wilmington 64
Ann Arbor 63
Lawrence 63
Princeton 63
L'aquila 53
New York 52
Moscow 51
Ottawa 50
Milan 45
Ashburn 43
Nanchang 37
Rome 32
Hebei 19
Shenyang 19
Berlin 18
Kunming 18
Tianjin 18
Munich 17
Verona 17
Woodbridge 16
Jinan 14
Mountain View 14
Brussels 13
Seattle 13
Des Moines 12
Jiaxing 12
Los Angeles 12
Beijing 11
Helsinki 11
Changsha 10
Heriot 10
Fremont 9
Pescara 9
Dallas 8
Hangzhou 8
Shanghai 8
St Petersburg 7
Taizhou 7
Hanoi 6
São Paulo 6
The Dalles 6
Venezia 6
Norwalk 5
Roseto Degli Abruzzi 5
Adelfia 4
Altino 4
Brno 4
Cambridge 4
Düsseldorf 4
Gatchina 4
Houston 4
Lanciano 4
Ningbo 4
Pune 4
West Jordan 4
Zhengzhou 4
Auburn Hills 3
Cedar Knolls 3
Changchun 3
Haikou 3
Osasco 3
Turin 3
Andover 2
Campinas 2
Civitanova Marche 2
Columbus 2
Council Bluffs 2
Dong Ket 2
Eunpyeong-gu 2
Frankfurt am Main 2
Guangzhou 2
Kitzingen 2
Lanzhou 2
Marseille 2
Mexico City 2
Mumbai 2
Napoli 2
Nuremberg 2
Perm 2
Prague 2
Quito 2
Rio de Janeiro 2
San Diego 2
San Francisco 2
Tappahannock 2
Teramo 2
Termoli 2
Trieste 2
Totale 3.672
Salva come PNG Salva come JPEG
Nome #
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers 171
MTA-KDD'19: A Dataset for Malware Traffic Detection 133
A Formal Framework to Represent Spatial Knowledge 110
Extending Visual Information Extraction to Biomedical Applications 104
Exploiting Transition Locality in the Disk Based Murphi Verifier 103
Botnet Detection in Software Defined Networks by Deep Learning Techniques 95
Visual Extraction of Information from Web Pages 93
A Type System for Static and Dynamic Checking of C++ Pointers 91
SyBeL: a system modelling language enhancing automatic support in the software development process 91
Supporting Information Extraction from Visual Documents 91
An XML Environment for Scenario Based Requirements Engineering 90
An XML Based Methodology to Model and Use Scenarios in the Software Development Process 88
OBDD compression of numerical controllers 88
Verifying Extended Criteria for the Interoperability of Security Devices 87
A spatial relation-based framework to perform visual information extraction 86
A Methodology for Scenario Development 85
An Environment for the Design and Implementation of Visual Applications 84
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies 84
Xere: Towards a Natural Interoperability between XML and ER Diagrams 83
Bounded Probabilistic Model Checking with the Murphi Verifier 82
A General Theory of Spatial Relations to Support a Graphical Tool for Visual Information Extraction 82
Automatic Verification of a Turbogas Control System with the Murphi Verifier 81
An XML Definition Language to Support Scenario Based Requirements Engineering 80
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 78
Imbalanced Dataset Optimization with New Resampling Techniques 78
Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains 77
Automatic generation of optimal controllers through model checking techniques 77
Interoperability mapping from XML schemas to ER diagrams 77
Feature selection strategies for http botnet traffic detection 77
Generating graphical applications from state-transition visual specifications 76
A Case Study on Automated Generation of Integration Tests 75
Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems 74
Synchronized Regular Expressions 74
Exploiting Transition Locality in Automatic Verification 73
Automatic Synthesis of Robust Numerical Controllers 73
Model Checking XSL Transformations 72
A universal planning system for hybrid domains 72
A Graphical Tool to Support Visual Information Extraction 72
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 71
Supporting Visual Information Extraction from Geospatial Data 71
Evaluating Fuzzy Controller Robustness using Model Checking 71
Qualitative Representation of Spatio-Temporal Knowledge 71
UPMurphi Released: PDDL+ Planning for Hybrid Systems 69
UPMurphi: a Tool for Universal Planning on PDDL+ Problems 69
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier 68
CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems 67
Integrating RAM and Disk Based Verification within the Murphi Verifier 67
Automatic Generation Of Optimal Controllers Through Model Checking Techniques 67
A PDDL+ Benchmark Problem: The Batch Chemical Plant 67
Exploiting Hub States in Automatic Verification 66
A Microservices Architecture for Machine Learning Assisted Decision Support in a Real-Time Field Sensors Environment 65
Addressing Machines as models of lambda-calculus 64
Fast and Compact Encoding of Numerical Controllers using OBDDS 63
New Optimization Approaches in Malware Traffic Analysis 62
Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques 61
Planning for Autonomous Planetary Vehicles 60
Two Factor Authentication for e-Government Services using Hardware-Like One Time Password Generators 60
Using spatial relations for qualitative specification of gestures 59
Cost-Optimal Strong Planning in Non-Deterministic Domains 58
Disk Based Software Verification via Bounded Model Checking 56
Trading Strategy Validation Using Forwardtesting with Deep Neural Networks 51
DNN-ForwardTesting: A New Trading Strategy Validation using Statistical Timeseries Analysis and Deep Neural Networks 49
Security in the internet of things: botnet detection in software-defined networks by deep learning techniques 49
A Probabilistic Approach to Automatic Formal Verification 48
A Stock Trading System for a Medium Volatile Asset using Multi Layer Perceptron 45
null 44
A Lightweight BPMN Extension for Business Process-oriented Requirements Engineering 40
Exploiting spatial relations for grammar-based specification of multidimensional languages 32
Accessibility of e-Government Websites in Italy: The User Experience of People with Disabilities 26
Process-Oriented Requirements Definition and Analysis of Software Components in Critical Systems 26
PIATTAFORMA HARDWARE E SOFTWARE DI MONITORAGGIO E LOCALIZZAZIONE DI VITTIME DA TERREMOTO INTRAPPOLATE NELLE MACERIE A SUPPORTO DI INTERVENTI DI SOCCORSO 19
Totale 5.168
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.948
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 21.948
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020106 0 0 0 0 0 0 0 0 0 9 12 85
2020/2021466 18 61 4 59 59 7 65 2 66 11 106 8
2021/2022340 12 33 24 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.113 97 44 114 76 143 106 149 111 239 34 0 0
Totale 5.168