IRIS Institutional Research Information System

Villafiorita Monteleone, Adolfo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.521
EU - Europa 3.018
AS - Asia 1.891
SA - Sud America 508
AF - Africa 48
Continente sconosciuto - Info sul continente non disponibili 21
OC - Oceania 8
AN - Antartide 1
Totale 10.016
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.368
RU - Federazione Russa 777
SG - Singapore 751
DE - Germania 584
BR - Brasile 448
CN - Cina 362
UA - Ucraina 307
SE - Svezia 305
HK - Hong Kong 217
FI - Finlandia 203
GB - Regno Unito 181
IT - Italia 180
VN - Vietnam 156
NL - Olanda 150
IN - India 128
CA - Canada 104
IE - Irlanda 86
FR - Francia 60
TR - Turchia 50
MX - Messico 35
PL - Polonia 35
BE - Belgio 32
BD - Bangladesh 30
JP - Giappone 28
CZ - Repubblica Ceca 27
ZA - Sudafrica 23
LB - Libano 21
AR - Argentina 20
EU - Europa 20
IR - Iran 19
SI - Slovenia 19
ES - Italia 18
IQ - Iraq 15
EC - Ecuador 14
ID - Indonesia 13
KR - Corea 13
LT - Lituania 13
IL - Israele 12
CO - Colombia 11
PK - Pakistan 11
SA - Arabia Saudita 9
TW - Taiwan 9
AU - Australia 7
GR - Grecia 7
PH - Filippine 7
RO - Romania 7
VE - Venezuela 6
AE - Emirati Arabi Uniti 5
AZ - Azerbaigian 5
MA - Marocco 5
NP - Nepal 5
UZ - Uzbekistan 5
AT - Austria 4
CH - Svizzera 4
EG - Egitto 4
JM - Giamaica 4
NO - Norvegia 4
TH - Thailandia 4
TT - Trinidad e Tobago 4
CL - Cile 3
DZ - Algeria 3
EE - Estonia 3
HR - Croazia 3
LK - Sri Lanka 3
MY - Malesia 3
PE - Perù 3
PT - Portogallo 3
TN - Tunisia 3
AL - Albania 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
KE - Kenya 2
KG - Kirghizistan 2
KZ - Kazakistan 2
OM - Oman 2
PA - Panama 2
PS - Palestinian Territory 2
PY - Paraguay 2
SN - Senegal 2
UG - Uganda 2
AQ - Antartide 1
CR - Costa Rica 1
GE - Georgia 1
GH - Ghana 1
GY - Guiana 1
HU - Ungheria 1
LA - Repubblica Popolare Democratica del Laos 1
MD - Moldavia 1
MZ - Mozambico 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 10.016
Salva come PNG Salva come JPEG
Città #
Chandler 771
Jacksonville 612
Singapore 515
Ashburn 311
Moscow 220
Hong Kong 216
Dallas 185
Wilmington 181
Beijing 152
The Dalles 139
Boardman 132
Ann Arbor 115
Los Angeles 115
Helsinki 104
Hefei 90
Dong Ket 89
Dublin 86
Kronberg 84
Dearborn 75
Munich 75
Brooklyn 73
Woodbridge 73
New York 64
Houston 46
Pune 40
Phoenix 39
Seattle 39
Toronto 35
São Paulo 33
Warsaw 33
Brussels 32
Trento 31
Fasano 30
Ottawa 27
Shanghai 25
Denver 24
Ho Chi Minh City 24
San Mateo 24
Brno 23
Redwood City 23
Secaucus 23
Tokyo 22
Mexico City 21
Berlin 20
Chicago 20
Milan 20
Montreal 20
Miami 19
Verona 18
Yalova 18
Santa Clara 17
Leawood 16
London 16
Orem 16
Atlanta 15
Boston 15
Brasília 15
Chennai 15
Johannesburg 15
Poplar 15
Stockholm 15
Ankara 14
Falkenstein 14
Fremont 14
Turku 14
Augusta 13
Belo Horizonte 13
Amsterdam 11
Falls Church 11
Rio de Janeiro 11
Council Bluffs 10
Hanoi 10
Ljubljana 10
Campinas 9
Hanover 9
Mumbai 9
Portland 9
Frankfurt am Main 8
Manchester 8
Ardabil 7
City of London 7
Curitiba 7
Erbil 7
Hillsboro 7
Mountain View 7
Nanjing 7
San Francisco 7
Guayaquil 6
Istanbul 6
Norwalk 6
Sacramento 6
Salvador 6
Baku 5
Contagem 5
Dhaka 5
Düren 5
Florianópolis 5
Guangzhou 5
Old Bridge 5
Ribeirão Preto 5
Totale 5.699
Salva come PNG Salva come JPEG
Nome #
An Adaptive Learning with Gamification & Conversational UIs: The Rise of CiboPoliBot 255
Beyond food sharing: Supporting food waste reduction with ICTs 219
(Non-)Participation in deliberation at work: a case study of online participative decision-making 197
Hacking for Southern Africa: Collaborative Development of Hyperlocal Services for Marginalised Communities 188
Safety Critical Systems 178
ESACS: an integrated methodology for design and safety analysis of complex systems 161
Design and Safety Assessment of Critical Systems 161
Confeagle: Automated Analysis of Security Configuration Vulnerabilities in Web Applications 158
Social Accountability for Mozambique: an Experience Report from the Moamba District 152
Introducing a Maturity Model for ICT for Development Projects 145
Host-based Anomaly Detection for Pervasive Medical Systems 140
Chi porta da mangiare? Il cibo tra eccesso e scarsità 135
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem 134
LRIT4AE: Bridging South African and European Competences for Living Labs 134
BINSPECT: Holisitic Analysis and Detecion of Malicious Web Pages 133
A General Purpose Reasoner for Abstraction 132
Maputo Living Lab Summer School of ICTs: An Experience Report 131
Early Detection of Security Misconfiguration Vulnerabilities in Web Applications 130
A Synthesis of Vote Verification Methods 130
ICT for Good: Opportunities, Challenges and the Way Forward 129
EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages 129
A Methodology for Assessing Procedural Security: A Case Study in E-Voting 129
Context Information Refinement for Pervasive Medical Systems 128
FSMC+, a tool for the generation of Java code from statecharts 125
SAMo: experimenting a social accountability web platform 123
Adapting Software Metrics to Analyze the Evolution of Laws - An Italian Case Study 121
Development, Formal Verification and Evaluation of an eVoting System with VVPAT 121
Formal Specification and Verification of an e-voting System: An experience Report. 120
Formal Specification and Analysis of an e-Voting System 119
Enhancing Law Modeling and Analysis: using BPR-Based and Goal-Oriented Frameworks 119
A Formal Methodology for Procedural Security Assessment 119
Malicious Website Detection: Effectiveness and Efficiency Issues 119
Analyzing the Security of Electronic Voting Systems: Can Formal Methods Really Help? 118
Supporting Public Administration with an Integrated BPR Environment 118
Towards a Law Modeling Framework to Support Law-Making via BPR 118
Law Modeling and BPR for Public Administration Improvement 118
Designing distributed agricultural information services for developing countries 117
Iraqi Elections in 2014: a Privacy Requirement Evaluation Based on a Polling Place Experience 117
ABSFOL: A Proof Checker with Abstraction 116
Towards Designing an Architecture for Delivering Distributed Agricultural Information Services for Developing Countries 116
Formal Analysis of Attacks for e-voting System 115
Improving Public Administrations via Law Modeling 115
Formal Procedural Security Modeling and Analysis 114
A Tool Supported Methodology for BPR in Public Administrations 114
Experiences in e-Governance from an ICT4G Perspective: Case Studies and Lesson Learned 114
Procedural Security Analysis: A Methodological Approach 113
Evaluating procedural alternatives: a case study in e-voting 112
Experiments and Data Analysis of Electronic Voting System 112
Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach 112
Modeling and Analysis of Laws using BPR and Goal-oriented framework 111
Formal Specification and Development of a Safety-Critical Train Management 111
Crowdsourcing ICTD Best Practices 110
Understanding the Development Trends of Electronic Voting Systems 110
Measuring the Impact of Different Categories of Software Evolution 109
A Survey: Electronic Voting Development and Trends 109
Introduction to Software Project Management 109
Managing Requirements for e-voting Systems: Issues and Approaches Motivated by a Case Study 108
Specification of the Control Logic of an eVoting System in UML: the ProVotE experience 107
Abstraction as a Form of Elaboration Tolerance 106
Proof planning by abstraction 104
VLPM: a Tool to support BPR in Public Administration 104
Evaluating Procedural Alternatives: a case study in e-voting 103
Stimulating Development Through Transnational Living Labs: the Italo-Mozambican Vision 103
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 102
Measuring the Impact of Different Metrics on Software Quality: a Case Study in the Open Source Domain 102
Towards an Open Standard Vote Verification Framework in Electronic Voting Systems 99
Law Modeling with Ontological Support and BPMN: a Case Study 97
Theories of Abstraction 96
Spreco Alimentare e Nuove Tecnologie 96
Proving Theorems by Using Abstraction Interactively 96
Improving Safety Assessment of Complex Systems: An Industrial case study 91
Integrating Fault Tree Analysis with Event Ordering Information 90
Improving Safety Assessment of Complex Systems: An Industrial case study 89
Reasoning by Analogy via Abstraction 88
Analysing service oriented methodologies for sustainable applications 87
Formal specification of Beliefs in Multi-Agents Systems 87
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform 86
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform 84
Modeling and Analysis of Procedural Security in (e)Voting: the Trentino`s Approach and Experiences 84
Understanding Best Practices for ICTD Projects: towards a Maturity Model 82
Inductive Theorem Proving via Abstraction 77
The FSAP/NuSMV-SA Safety Analysis Platform 76
Modeling and Analysis of Procedural Security 76
SAT-based decision procedures for normal modal logics: a theoretical framework 76
Vote Verification through Open Standard: A Roadmap 76
Formal Specification and validation of a Vital Communication Protocol 72
null 60
Totale 10.146
Salva come PNG Salva come JPEG
Categoria #
all - tutte 52.065
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 52.065
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021667 0 0 0 0 0 28 163 15 20 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/20261.934 258 303 458 515 346 54 0 0 0 0 0 0
Totale 10.146