IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022495 0 36 29 73 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/2027420 259 161 0 0 0 0 0 0 0 0 0 0
Totale 14.975