IRIS Institutional Research Information System

Villafiorita Monteleone, Adolfo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.516
NA - Nord America 5.291
AS - Asia 2.705
SA - Sud America 598
AF - Africa 78
Continente sconosciuto - Info sul continente non disponibili 22
OC - Oceania 9
AN - Antartide 1
Totale 14.220
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.104
RU - Federazione Russa 3.020
SG - Singapore 983
DE - Germania 660
BR - Brasile 510
VN - Vietnam 496
CN - Cina 452
SE - Svezia 331
UA - Ucraina 308
HK - Hong Kong 262
FI - Finlandia 204
GB - Regno Unito 198
IT - Italia 189
FR - Francia 160
IN - India 152
NL - Olanda 152
CA - Canada 114
IE - Irlanda 87
TR - Turchia 55
MX - Messico 50
BD - Bangladesh 40
PL - Polonia 40
JP - Giappone 37
BE - Belgio 32
ZA - Sudafrica 29
AR - Argentina 28
CZ - Repubblica Ceca 28
IQ - Iraq 27
ES - Italia 22
EC - Ecuador 21
LB - Libano 21
PK - Pakistan 21
EU - Europa 20
IR - Iran 19
SI - Slovenia 19
CO - Colombia 16
ID - Indonesia 16
IL - Israele 16
KR - Corea 13
LT - Lituania 13
PH - Filippine 13
SA - Arabia Saudita 13
MA - Marocco 10
TW - Taiwan 10
VE - Venezuela 9
AU - Australia 8
RO - Romania 8
TN - Tunisia 8
AE - Emirati Arabi Uniti 7
EG - Egitto 7
GR - Grecia 7
JM - Giamaica 7
PT - Portogallo 6
UZ - Uzbekistan 6
AZ - Azerbaigian 5
CL - Cile 5
DZ - Algeria 5
HR - Croazia 5
MY - Malesia 5
NO - Norvegia 5
NP - Nepal 5
OM - Oman 5
TT - Trinidad e Tobago 5
AT - Austria 4
CH - Svizzera 4
ET - Etiopia 4
KG - Kirghizistan 4
PA - Panama 4
PS - Palestinian Territory 4
TH - Thailandia 4
AL - Albania 3
EE - Estonia 3
GE - Georgia 3
KE - Kenya 3
LK - Sri Lanka 3
PE - Perù 3
PY - Paraguay 3
SN - Senegal 3
CR - Costa Rica 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
JO - Giordania 2
KZ - Kazakistan 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
CG - Congo 1
CI - Costa d'Avorio 1
GH - Ghana 1
GY - Guiana 1
HN - Honduras 1
HU - Ungheria 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
LY - Libia 1
Totale 14.212
Salva come PNG Salva come JPEG
Città #
Chandler 771
Jacksonville 612
Singapore 589
San Jose 523
Ashburn 378
Hong Kong 253
Moscow 220
Dallas 186
Wilmington 181
The Dalles 177
Beijing 170
Boardman 132
Ho Chi Minh City 129
Los Angeles 128
Ann Arbor 115
Helsinki 105
Hanoi 101
Hefei 91
Dong Ket 89
Dublin 87
Kronberg 84
New York 76
Brooklyn 75
Dearborn 75
Munich 75
Woodbridge 73
Lauterbourg 69
Houston 47
Phoenix 42
Pune 40
Seattle 39
São Paulo 39
Warsaw 38
Toronto 37
Brussels 32
Tokyo 31
Trento 31
Fasano 30
Denver 28
Ottawa 28
Da Nang 27
Shanghai 26
Chennai 24
Chicago 24
Orem 24
San Mateo 24
Santa Clara 24
Brno 23
Frankfurt am Main 23
Redwood City 23
Secaucus 23
Mexico City 22
Montreal 22
Berlin 21
Milan 20
Haiphong 19
Miami 19
Verona 18
Yalova 18
Ankara 17
Atlanta 17
Johannesburg 17
London 17
Poplar 17
Stockholm 17
Boston 16
Council Bluffs 16
Leawood 16
Brasília 15
Augusta 14
Belo Horizonte 14
Falkenstein 14
Fremont 14
Rio de Janeiro 14
Turku 14
Manchester 13
Amsterdam 12
Mumbai 12
Dhaka 11
Falls Church 11
Guangzhou 10
Ljubljana 10
Campinas 9
Curitiba 9
Hanover 9
Hải Dương 9
Portland 9
Can Tho 8
City of London 8
Erbil 8
Hillsboro 8
Quito 8
Ardabil 7
Cape Town 7
Mountain View 7
Nanjing 7
Salvador 7
San Francisco 7
Baghdad 6
Biên Hòa 6
Totale 6.917
Salva come PNG Salva come JPEG
Nome #
An Adaptive Learning with Gamification & Conversational UIs: The Rise of CiboPoliBot 298
Beyond food sharing: Supporting food waste reduction with ICTs 292
(Non-)Participation in deliberation at work: a case study of online participative decision-making 248
Design and Safety Assessment of Critical Systems 237
Hacking for Southern Africa: Collaborative Development of Hyperlocal Services for Marginalised Communities 235
Safety Critical Systems 231
ESACS: an integrated methodology for design and safety analysis of complex systems 217
Confeagle: Automated Analysis of Security Configuration Vulnerabilities in Web Applications 217
Social Accountability for Mozambique: an Experience Report from the Moamba District 211
Introducing a Maturity Model for ICT for Development Projects 210
A General Purpose Reasoner for Abstraction 205
Maputo Living Lab Summer School of ICTs: An Experience Report 198
SAMo: experimenting a social accountability web platform 190
Chi porta da mangiare? Il cibo tra eccesso e scarsità 190
Host-based Anomaly Detection for Pervasive Medical Systems 189
EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages 188
A Tool Supported Methodology for BPR in Public Administrations 187
A Methodology for Assessing Procedural Security: A Case Study in E-Voting 187
LRIT4AE: Bridging South African and European Competences for Living Labs 187
Supporting Public Administration with an Integrated BPR Environment 184
BINSPECT: Holisitic Analysis and Detecion of Malicious Web Pages 182
ICT for Good: Opportunities, Challenges and the Way Forward 181
Early Detection of Security Misconfiguration Vulnerabilities in Web Applications 179
ABSFOL: A Proof Checker with Abstraction 177
FSMC+, a tool for the generation of Java code from statecharts 172
Context Information Refinement for Pervasive Medical Systems 171
A Synthesis of Vote Verification Methods 171
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem 171
Development, Formal Verification and Evaluation of an eVoting System with VVPAT 169
Law Modeling with Ontological Support and BPMN: a Case Study 169
Analyzing the Security of Electronic Voting Systems: Can Formal Methods Really Help? 168
Enhancing Law Modeling and Analysis: using BPR-Based and Goal-Oriented Frameworks 168
Formal Procedural Security Modeling and Analysis 167
Iraqi Elections in 2014: a Privacy Requirement Evaluation Based on a Polling Place Experience 167
Formal Analysis of Attacks for e-voting System 166
A Formal Methodology for Procedural Security Assessment 166
Malicious Website Detection: Effectiveness and Efficiency Issues 166
Formal Specification and Verification of an e-voting System: An experience Report. 165
Law Modeling and BPR for Public Administration Improvement 165
Formal Specification and Development of a Safety-Critical Train Management 164
Formal Specification and Analysis of an e-Voting System 164
Designing distributed agricultural information services for developing countries 162
Experiments and Data Analysis of Electronic Voting System 162
Experiences in e-Governance from an ICT4G Perspective: Case Studies and Lesson Learned 162
Adapting Software Metrics to Analyze the Evolution of Laws - An Italian Case Study 161
Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach 161
A Survey: Electronic Voting Development and Trends 160
Towards a Law Modeling Framework to Support Law-Making via BPR 160
Improving Public Administrations via Law Modeling 160
Procedural Security Analysis: A Methodological Approach 160
Managing Requirements for e-voting Systems: Issues and Approaches Motivated by a Case Study 159
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 159
Towards Designing an Architecture for Delivering Distributed Agricultural Information Services for Developing Countries 159
Measuring the Impact of Different Categories of Software Evolution 158
Evaluating procedural alternatives: a case study in e-voting 158
VLPM: a Tool to support BPR in Public Administration 157
Evaluating Procedural Alternatives: a case study in e-voting 156
Stimulating Development Through Transnational Living Labs: the Italo-Mozambican Vision 154
Proof planning by abstraction 153
Crowdsourcing ICTD Best Practices 152
Modeling and Analysis of Laws using BPR and Goal-oriented framework 151
Abstraction as a Form of Elaboration Tolerance 151
Measuring the Impact of Different Metrics on Software Quality: a Case Study in the Open Source Domain 148
Towards an Open Standard Vote Verification Framework in Electronic Voting Systems 147
Specification of the Control Logic of an eVoting System in UML: the ProVotE experience 146
Understanding the Development Trends of Electronic Voting Systems 146
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform 141
Analysing service oriented methodologies for sustainable applications 141
Introduction to Software Project Management 139
Theories of Abstraction 138
Proving Theorems by Using Abstraction Interactively 136
Understanding Best Practices for ICTD Projects: towards a Maturity Model 133
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform 129
Spreco Alimentare e Nuove Tecnologie 129
Integrating Fault Tree Analysis with Event Ordering Information 126
Reasoning by Analogy via Abstraction 126
Improving Safety Assessment of Complex Systems: An Industrial case study 126
Improving Safety Assessment of Complex Systems: An Industrial case study 122
SAT-based decision procedures for normal modal logics: a theoretical framework 122
Inductive Theorem Proving via Abstraction 118
Modeling and Analysis of Procedural Security in (e)Voting: the Trentino`s Approach and Experiences 117
The FSAP/NuSMV-SA Safety Analysis Platform 116
Modeling and Analysis of Procedural Security 116
Formal Specification and validation of a Vital Communication Protocol 115
Formal specification of Beliefs in Multi-Agents Systems 115
Vote Verification through Open Standard: A Roadmap 114
null 60
Totale 14.350
Salva come PNG Salva come JPEG
Categoria #
all - tutte 58.299
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 58.299
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021441 0 0 0 0 0 0 0 0 0 231 54 156
2021/2022531 31 36 29 75 13 14 13 58 40 31 65 126
2022/20231.515 38 142 21 296 70 225 17 127 370 119 77 13
2023/2024933 101 45 121 56 70 120 41 102 17 152 11 97
2024/20252.327 22 18 185 77 55 34 72 159 869 284 358 194
2025/20266.138 258 303 458 515 346 241 1.023 2.362 364 268 0 0
Totale 14.350