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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020319 0 0 0 0 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/2024451 135 16 20 43 41 87 12 12 1 12 15 57
2024/2025400 97 44 114 76 69 0 0 0 0 0 0 0
Totale 4.455