DELLA PENNA, GIUSEPPE
 Distribuzione geografica
Continente #
NA - Nord America 1.916
EU - Europa 1.392
AS - Asia 593
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 4
SA - Sud America 4
AF - Africa 3
Totale 3.918
Nazione #
US - Stati Uniti d'America 1.860
IE - Irlanda 494
CN - Cina 335
IT - Italia 297
TR - Turchia 222
DE - Germania 186
UA - Ucraina 113
GB - Regno Unito 111
SE - Svezia 74
FI - Finlandia 55
CA - Canada 54
FR - Francia 31
IN - India 16
BE - Belgio 13
RU - Federazione Russa 10
VN - Vietnam 8
EU - Europa 6
BR - Brasile 4
KR - Corea 4
IR - Iran 3
AE - Emirati Arabi Uniti 2
AU - Australia 2
MX - Messico 2
NZ - Nuova Zelanda 2
TN - Tunisia 2
AL - Albania 1
BG - Bulgaria 1
CZ - Repubblica Ceca 1
EE - Estonia 1
GR - Grecia 1
ID - Indonesia 1
IQ - Iraq 1
LU - Lussemburgo 1
MA - Marocco 1
NL - Olanda 1
RO - Romania 1
SA - Arabia Saudita 1
Totale 3.918
Città #
Dublin 491
Jacksonville 453
Chandler 435
Nanjing 123
Izmir 116
L’Aquila 94
Boardman 83
San Mateo 72
Bremen 64
Wilmington 64
Ann Arbor 63
Lawrence 63
Princeton 63
L'aquila 53
New York 52
Ottawa 50
Ashburn 42
Nanchang 37
Milan 35
Hebei 19
Shenyang 19
Kunming 18
Tianjin 18
Verona 17
Woodbridge 16
Rome 15
Jinan 14
Mountain View 14
Brussels 13
Seattle 13
Des Moines 12
Jiaxing 12
Beijing 11
Changsha 10
Heriot 10
Fremont 9
Los Angeles 9
Hangzhou 8
Taizhou 7
Hanoi 6
St Petersburg 6
Venezia 6
Norwalk 5
Pescara 5
Roseto Degli Abruzzi 5
Adelfia 4
Altino 4
Cambridge 4
Düsseldorf 4
Houston 4
Lanciano 4
Ningbo 4
Pune 4
West Jordan 4
Auburn Hills 3
Cedar Knolls 3
Changchun 3
Haikou 3
Helsinki 3
Shanghai 3
Zhengzhou 3
Andover 2
Civitanova Marche 2
Dong Ket 2
Eunpyeong-gu 2
Guangzhou 2
Lanzhou 2
Marseille 2
Mexico City 2
Napoli 2
San Diego 2
San Francisco 2
São Paulo 2
Tappahannock 2
Teramo 2
Termoli 2
Trieste 2
Turin 2
Washington 2
Zahedan 2
Atlanta 1
Auckland 1
Avellino 1
Aydin 1
Bari 1
Beauharnois 1
Casoria 1
Castelverde 1
Chemnitz 1
Chester 1
Christchurch 1
Dearborn 1
Florianópolis 1
Frankfurt am Main 1
Fuzhou 1
Gaziemir 1
Giulianova 1
Grafing 1
Hyderabad 1
Jinhua 1
Totale 2.865
Nome #
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers 156
A Formal Framework to Represent Spatial Knowledge 94
Exploiting Transition Locality in the Disk Based Murphi Verifier 90
Extending Visual Information Extraction to Biomedical Applications 90
Botnet Detection in Software Defined Networks by Deep Learning Techniques 80
An XML Environment for Scenario Based Requirements Engineering 77
Visual Extraction of Information from Web Pages 76
Verifying Extended Criteria for the Interoperability of Security Devices 76
Supporting Information Extraction from Visual Documents 74
An Environment for the Design and Implementation of Visual Applications 72
An XML Based Methodology to Model and Use Scenarios in the Software Development Process 71
Xere: Towards a Natural Interoperability between XML and ER Diagrams 71
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies 71
MTA-KDD'19: A Dataset for Malware Traffic Detection 71
Automatic Verification of a Turbogas Control System with the Murphi Verifier 70
A Methodology for Scenario Development 70
SyBeL: a system modelling language enhancing automatic support in the software development process 70
A spatial relation-based framework to perform visual information extraction 70
OBDD compression of numerical controllers 69
Bounded Probabilistic Model Checking with the Murphi Verifier 68
Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains 66
Automatic generation of optimal controllers through model checking techniques 65
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 64
A Type System for Static and Dynamic Checking of C++ Pointers 63
A General Theory of Spatial Relations to Support a Graphical Tool for Visual Information Extraction 63
Interoperability mapping from XML schemas to ER diagrams 62
An XML Definition Language to Support Scenario Based Requirements Engineering 62
Model Checking XSL Transformations 61
A universal planning system for hybrid domains 61
Generating graphical applications from state-transition visual specifications 61
UPMurphi Released: PDDL+ Planning for Hybrid Systems 61
A Case Study on Automated Generation of Integration Tests 60
Synchronized Regular Expressions 60
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 59
Evaluating Fuzzy Controller Robustness using Model Checking 59
UPMurphi: a Tool for Universal Planning on PDDL+ Problems 59
Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems 58
Supporting Visual Information Extraction from Geospatial Data 57
Exploiting Transition Locality in Automatic Verification 56
A PDDL+ Benchmark Problem: The Batch Chemical Plant 56
Automatic Generation Of Optimal Controllers Through Model Checking Techniques 55
Automatic Synthesis of Robust Numerical Controllers 55
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier 54
Integrating RAM and Disk Based Verification within the Murphi Verifier 53
Exploiting Hub States in Automatic Verification 53
Feature selection strategies for http botnet traffic detection 53
A Graphical Tool to Support Visual Information Extraction 52
Fast and Compact Encoding of Numerical Controllers using OBDDS 52
Qualitative Representation of Spatio-Temporal Knowledge 51
Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques 50
CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems 48
Planning for Autonomous Planetary Vehicles 48
Two Factor Authentication for e-Government Services using Hardware-Like One Time Password Generators 46
Imbalanced Dataset Optimization with New Resampling Techniques 46
Addressing Machines as models of lambda-calculus 46
Cost-Optimal Strong Planning in Non-Deterministic Domains 45
null 44
Disk Based Software Verification via Bounded Model Checking 44
Using spatial relations for qualitative specification of gestures 44
A Microservices Architecture for Machine Learning Assisted Decision Support in a Real-Time Field Sensors Environment 44
New Optimization Approaches in Malware Traffic Analysis 44
Security in the internet of things: botnet detection in software-defined networks by deep learning techniques 37
A Probabilistic Approach to Automatic Formal Verification 36
DNN-ForwardTesting: A New Trading Strategy Validation using Statistical Timeseries Analysis and Deep Neural Networks 23
A Lightweight BPMN Extension for Business Process-oriented Requirements Engineering 23
Trading Strategy Validation Using Forwardtesting with Deep Neural Networks 18
A Stock Trading System for a Medium Volatile Asset using Multi Layer Perceptron 14
Accessibility of e-Government Websites in Italy: The User Experience of People with Disabilities 8
Exploiting spatial relations for grammar-based specification of multidimensional languages 8
Process-Oriented Requirements Definition and Analysis of Software Components in Critical Systems 4
Totale 3.997
Categoria #
all - tutte 13.476
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 13.476


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019160 0 0 0 0 0 0 0 0 0 0 4 156
2019/2020497 102 0 73 3 0 65 86 2 60 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/2024393 135 16 20 43 41 87 12 12 1 12 14 0
Totale 3.997