IRIS Institutional Research Information System

Villafiorita Monteleone, Adolfo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.915
EU - Europa 5.574
AS - Asia 2.717
SA - Sud America 604
Continente sconosciuto - Info sul continente non disponibili 158
AF - Africa 89
OC - Oceania 9
AN - Antartide 1
Totale 16.067
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.668
RU - Federazione Russa 2.990
SG - Singapore 974
DE - Germania 661
BR - Brasile 509
VN - Vietnam 494
CN - Cina 458
SE - Svezia 378
UA - Ucraina 304
HK - Hong Kong 268
IT - Italia 220
GB - Regno Unito 203
FI - Finlandia 202
FR - Francia 162
NL - Olanda 153
IN - India 152
CA - Canada 136
IE - Irlanda 87
TR - Turchia 55
MX - Messico 51
BD - Bangladesh 41
PL - Polonia 40
JP - Giappone 37
BE - Belgio 33
ZA - Sudafrica 29
AR - Argentina 28
CZ - Repubblica Ceca 28
IQ - Iraq 27
ES - Italia 25
EC - Ecuador 21
LB - Libano 21
PK - Pakistan 21
ID - Indonesia 20
IL - Israele 20
EU - Europa 19
SI - Slovenia 19
CO - Colombia 18
IR - Iran 18
SA - Arabia Saudita 15
KR - Corea 13
LT - Lituania 13
PH - Filippine 13
VE - Venezuela 12
MA - Marocco 10
SC - Seychelles 10
TW - Taiwan 10
HN - Honduras 9
TN - Tunisia 9
TT - Trinidad e Tobago 9
AU - Australia 8
JM - Giamaica 8
RO - Romania 8
AE - Emirati Arabi Uniti 7
CR - Costa Rica 7
CW - ???statistics.table.value.countryCode.CW??? 7
EG - Egitto 7
GR - Grecia 7
GT - Guatemala 7
CL - Cile 6
PT - Portogallo 6
UZ - Uzbekistan 6
AZ - Azerbaigian 5
DZ - Algeria 5
EE - Estonia 5
HR - Croazia 5
MY - Malesia 5
NI - Nicaragua 5
NO - Norvegia 5
NP - Nepal 5
OM - Oman 5
PR - Porto Rico 5
TH - Thailandia 5
AT - Austria 4
CH - Svizzera 4
ET - Etiopia 4
KG - Kirghizistan 4
PA - Panama 4
PS - Palestinian Territory 4
AL - Albania 3
GE - Georgia 3
KE - Kenya 3
LK - Sri Lanka 3
PE - Perù 3
PY - Paraguay 3
SN - Senegal 3
SV - El Salvador 3
DK - Danimarca 2
DO - Repubblica Dominicana 2
JO - Giordania 2
SK - Slovacchia (Repubblica Slovacca) 2
UG - Uganda 2
UY - Uruguay 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
AO - Angola 1
AQ - Antartide 1
BH - Bahrain 1
BO - Bolivia 1
BY - Bielorussia 1
CG - Congo 1
Totale 15.921
Salva come PNG Salva come JPEG
Città #
Chandler 762
San Jose 638
Jacksonville 607
Council Bluffs 597
Singapore 586
Ashburn 402
Hong Kong 252
Moscow 218
Dallas 189
Wilmington 182
Beijing 173
The Dalles 173
Los Angeles 155
Boardman 134
Ho Chi Minh City 129
Ann Arbor 116
Helsinki 104
Hanoi 99
Hefei 90
Dong Ket 88
New York 87
Dublin 86
Kronberg 83
Brooklyn 82
Dearborn 75
Munich 75
Woodbridge 73
Phoenix 71
Lauterbourg 68
Houston 52
Seattle 43
Pune 39
São Paulo 39
Toronto 39
Santa Clara 38
Warsaw 38
Denver 36
Brussels 33
Trento 32
Chicago 31
Tokyo 31
Atlanta 30
Fasano 30
Ottawa 28
Da Nang 27
Shanghai 26
Buffalo 25
Montreal 25
Orem 25
Chennai 24
Miami 24
Milan 24
San Mateo 24
Brno 23
Frankfurt am Main 23
Redwood City 23
Berlin 22
Mexico City 22
Secaucus 22
Tampa 20
Verona 20
Haiphong 19
Garland 18
Yalova 18
Boston 17
Johannesburg 17
London 17
North Easton 17
Stockholm 17
Ankara 16
Leawood 16
Amsterdam 15
Brasília 15
Poplar 15
Augusta 14
Belo Horizonte 14
Falkenstein 14
Fremont 14
Rio de Janeiro 14
Turku 14
Manchester 13
Charlotte 12
Dhaka 12
Mumbai 12
Falls Church 11
Guangzhou 11
Lawrenceville 11
Portland 11
Honolulu 10
Ljubljana 10
San Francisco 10
Campinas 9
Columbus 9
Curitiba 9
Hải Dương 9
Norwalk 9
Queens 9
Rome 9
Sacramento 9
Can Tho 8
Totale 7.836
Salva come PNG Salva come JPEG
Nome #
Beyond food sharing: Supporting food waste reduction with ICTs 327
An Adaptive Learning with Gamification & Conversational UIs: The Rise of CiboPoliBot 321
Design and Safety Assessment of Critical Systems 277
(Non-)Participation in deliberation at work: a case study of online participative decision-making 274
Safety Critical Systems 259
Confeagle: Automated Analysis of Security Configuration Vulnerabilities in Web Applications 253
Hacking for Southern Africa: Collaborative Development of Hyperlocal Services for Marginalised Communities 253
ESACS: an integrated methodology for design and safety analysis of complex systems 244
Introducing a Maturity Model for ICT for Development Projects 238
Social Accountability for Mozambique: an Experience Report from the Moamba District 233
A General Purpose Reasoner for Abstraction 229
Host-based Anomaly Detection for Pervasive Medical Systems 228
Maputo Living Lab Summer School of ICTs: An Experience Report 221
Chi porta da mangiare? Il cibo tra eccesso e scarsità 212
SAMo: experimenting a social accountability web platform 210
A Methodology for Assessing Procedural Security: A Case Study in E-Voting 209
EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages 208
A Tool Supported Methodology for BPR in Public Administrations 207
ICT for Good: Opportunities, Challenges and the Way Forward 205
LRIT4AE: Bridging South African and European Competences for Living Labs 205
BINSPECT: Holisitic Analysis and Detecion of Malicious Web Pages 205
Supporting Public Administration with an Integrated BPR Environment 203
ABSFOL: A Proof Checker with Abstraction 202
Early Detection of Security Misconfiguration Vulnerabilities in Web Applications 199
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem 196
Development, Formal Verification and Evaluation of an eVoting System with VVPAT 195
Context Information Refinement for Pervasive Medical Systems 193
Enhancing Law Modeling and Analysis: using BPR-Based and Goal-Oriented Frameworks 193
FSMC+, a tool for the generation of Java code from statecharts 191
Law Modeling with Ontological Support and BPMN: a Case Study 191
A Synthesis of Vote Verification Methods 191
Analyzing the Security of Electronic Voting Systems: Can Formal Methods Really Help? 190
Experiments and Data Analysis of Electronic Voting System 190
Iraqi Elections in 2014: a Privacy Requirement Evaluation Based on a Polling Place Experience 187
Experiences in e-Governance from an ICT4G Perspective: Case Studies and Lesson Learned 187
Formal Procedural Security Modeling and Analysis 186
A Formal Methodology for Procedural Security Assessment 186
Formal Specification and Verification of an e-voting System: An experience Report. 186
Formal Specification and Development of a Safety-Critical Train Management 185
Law Modeling and BPR for Public Administration Improvement 185
Towards a Law Modeling Framework to Support Law-Making via BPR 184
Malicious Website Detection: Effectiveness and Efficiency Issues 184
Formal Specification and Analysis of an e-Voting System 183
Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach 183
Adapting Software Metrics to Analyze the Evolution of Laws - An Italian Case Study 182
Managing Requirements for e-voting Systems: Issues and Approaches Motivated by a Case Study 182
A Survey: Electronic Voting Development and Trends 182
Designing distributed agricultural information services for developing countries 181
Procedural Security Analysis: A Methodological Approach 181
Evaluating procedural alternatives: a case study in e-voting 180
Improving Public Administrations via Law Modeling 179
VLPM: a Tool to support BPR in Public Administration 179
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 178
Evaluating Procedural Alternatives: a case study in e-voting 177
Measuring the Impact of Different Categories of Software Evolution 176
Towards Designing an Architecture for Delivering Distributed Agricultural Information Services for Developing Countries 176
Proof planning by abstraction 173
Abstraction as a Form of Elaboration Tolerance 172
Stimulating Development Through Transnational Living Labs: the Italo-Mozambican Vision 172
Crowdsourcing ICTD Best Practices 172
Modeling and Analysis of Laws using BPR and Goal-oriented framework 169
Specification of the Control Logic of an eVoting System in UML: the ProVotE experience 168
Understanding the Development Trends of Electronic Voting Systems 168
Measuring the Impact of Different Metrics on Software Quality: a Case Study in the Open Source Domain 167
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform 166
Towards an Open Standard Vote Verification Framework in Electronic Voting Systems 166
Analysing service oriented methodologies for sustainable applications 162
Introduction to Software Project Management 160
Theories of Abstraction 159
Proving Theorems by Using Abstraction Interactively 157
Understanding Best Practices for ICTD Projects: towards a Maturity Model 155
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform 154
The FSAP/NuSMV-SA Safety Analysis Platform 150
Reasoning by Analogy via Abstraction 148
Improving Safety Assessment of Complex Systems: An Industrial case study 148
Spreco Alimentare e Nuove Tecnologie 145
Integrating Fault Tree Analysis with Event Ordering Information 144
SAT-based decision procedures for normal modal logics: a theoretical framework 141
Formal specification of Beliefs in Multi-Agents Systems 140
Improving Safety Assessment of Complex Systems: An Industrial case study 139
Modeling and Analysis of Procedural Security 138
Inductive Theorem Proving via Abstraction 134
Modeling and Analysis of Procedural Security in (e)Voting: the Trentino`s Approach and Experiences 134
Vote Verification through Open Standard: A Roadmap 133
Formal Specification and validation of a Vital Communication Protocol 132
null 60
Totale 16.067
Salva come PNG Salva come JPEG
Categoria #
all - tutte 65.969
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 65.969
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022357 0 0 0 0 13 14 13 58 40 31 63 125
2022/20231.494 37 141 21 292 70 222 16 126 363 118 75 13
2023/2024921 99 44 119 56 69 118 40 101 17 150 11 97
2024/20252.301 22 18 183 76 54 34 72 157 859 281 351 194
2025/20266.433 256 302 450 509 338 237 1.010 2.333 361 293 311 33
2026/20271.512 259 252 491 486 24 0 0 0 0 0 0 0
Totale 16.067