IRIS Institutional Research Information System

Villafiorita Monteleone, Adolfo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.629
EU - Europa 5.528
AS - Asia 2.713
SA - Sud America 599
AF - Africa 78
Continente sconosciuto - Info sul continente non disponibili 22
OC - Oceania 9
AN - Antartide 1
Totale 14.579
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.437
RU - Federazione Russa 3.020
SG - Singapore 985
DE - Germania 660
BR - Brasile 510
VN - Vietnam 496
CN - Cina 455
SE - Svezia 331
UA - Ucraina 308
HK - Hong Kong 264
FI - Finlandia 204
GB - Regno Unito 202
IT - Italia 195
FR - Francia 161
IN - India 152
NL - Olanda 152
CA - Canada 118
IE - Irlanda 87
TR - Turchia 55
MX - Messico 50
BD - Bangladesh 40
PL - Polonia 40
JP - Giappone 37
BE - Belgio 33
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
PH - Filippine 14
KR - Corea 13
LT - Lituania 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
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
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
HN - Honduras 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
HU - Ungheria 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
LY - Libia 1
Totale 14.571
Salva come PNG Salva come JPEG
Città #
Chandler 771
Jacksonville 612
Singapore 591
San Jose 569
Ashburn 379
Hong Kong 255
Council Bluffs 254
Moscow 220
Dallas 187
Wilmington 181
The Dalles 177
Beijing 171
Boardman 135
Los Angeles 130
Ho Chi Minh City 129
Ann Arbor 115
Helsinki 105
Hanoi 101
Hefei 91
Dong Ket 89
Dublin 87
Kronberg 84
New York 77
Brooklyn 76
Dearborn 75
Munich 75
Woodbridge 73
Lauterbourg 69
Houston 48
Phoenix 43
Pune 40
Seattle 39
São Paulo 39
Warsaw 38
Toronto 37
Brussels 33
Tokyo 31
Trento 31
Fasano 30
Denver 28
Ottawa 28
Da Nang 27
Shanghai 26
Santa Clara 25
Chennai 24
Chicago 24
Orem 24
San Mateo 24
Brno 23
Frankfurt am Main 23
Montreal 23
Redwood City 23
Secaucus 23
Mexico City 22
Berlin 21
Miami 20
Milan 20
Haiphong 19
Atlanta 18
Verona 18
Yalova 18
Ankara 17
Johannesburg 17
London 17
Poplar 17
Stockholm 17
Boston 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 7.222
Salva come PNG Salva come JPEG
Nome #
An Adaptive Learning with Gamification & Conversational UIs: The Rise of CiboPoliBot 305
Beyond food sharing: Supporting food waste reduction with ICTs 297
(Non-)Participation in deliberation at work: a case study of online participative decision-making 252
Design and Safety Assessment of Critical Systems 248
Hacking for Southern Africa: Collaborative Development of Hyperlocal Services for Marginalised Communities 239
Safety Critical Systems 235
ESACS: an integrated methodology for design and safety analysis of complex systems 222
Confeagle: Automated Analysis of Security Configuration Vulnerabilities in Web Applications 221
Social Accountability for Mozambique: an Experience Report from the Moamba District 214
Introducing a Maturity Model for ICT for Development Projects 213
A General Purpose Reasoner for Abstraction 207
Maputo Living Lab Summer School of ICTs: An Experience Report 201
Chi porta da mangiare? Il cibo tra eccesso e scarsità 195
Host-based Anomaly Detection for Pervasive Medical Systems 194
SAMo: experimenting a social accountability web platform 193
LRIT4AE: Bridging South African and European Competences for Living Labs 192
A Tool Supported Methodology for BPR in Public Administrations 191
EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages 191
A Methodology for Assessing Procedural Security: A Case Study in E-Voting 191
Supporting Public Administration with an Integrated BPR Environment 187
ICT for Good: Opportunities, Challenges and the Way Forward 186
BINSPECT: Holisitic Analysis and Detecion of Malicious Web Pages 185
ABSFOL: A Proof Checker with Abstraction 183
Early Detection of Security Misconfiguration Vulnerabilities in Web Applications 183
FSMC+, a tool for the generation of Java code from statecharts 178
Context Information Refinement for Pervasive Medical Systems 176
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem 174
Development, Formal Verification and Evaluation of an eVoting System with VVPAT 173
Enhancing Law Modeling and Analysis: using BPR-Based and Goal-Oriented Frameworks 173
Law Modeling with Ontological Support and BPMN: a Case Study 173
Formal Specification and Verification of an e-voting System: An experience Report. 173
A Synthesis of Vote Verification Methods 173
Analyzing the Security of Electronic Voting Systems: Can Formal Methods Really Help? 172
Formal Procedural Security Modeling and Analysis 172
Iraqi Elections in 2014: a Privacy Requirement Evaluation Based on a Polling Place Experience 171
Formal Specification and Analysis of an e-Voting System 170
Malicious Website Detection: Effectiveness and Efficiency Issues 170
Formal Specification and Development of a Safety-Critical Train Management 169
Formal Analysis of Attacks for e-voting System 169
A Formal Methodology for Procedural Security Assessment 169
Law Modeling and BPR for Public Administration Improvement 168
Experiments and Data Analysis of Electronic Voting System 167
Designing distributed agricultural information services for developing countries 166
Adapting Software Metrics to Analyze the Evolution of Laws - An Italian Case Study 166
A Survey: Electronic Voting Development and Trends 165
Towards a Law Modeling Framework to Support Law-Making via BPR 165
Experiences in e-Governance from an ICT4G Perspective: Case Studies and Lesson Learned 165
Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach 165
Managing Requirements for e-voting Systems: Issues and Approaches Motivated by a Case Study 164
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 163
Improving Public Administrations via Law Modeling 163
Measuring the Impact of Different Categories of Software Evolution 162
Evaluating procedural alternatives: a case study in e-voting 162
Procedural Security Analysis: A Methodological Approach 162
Towards Designing an Architecture for Delivering Distributed Agricultural Information Services for Developing Countries 162
Evaluating Procedural Alternatives: a case study in e-voting 161
VLPM: a Tool to support BPR in Public Administration 161
Proof planning by abstraction 158
Stimulating Development Through Transnational Living Labs: the Italo-Mozambican Vision 157
Modeling and Analysis of Laws using BPR and Goal-oriented framework 155
Abstraction as a Form of Elaboration Tolerance 155
Crowdsourcing ICTD Best Practices 155
Measuring the Impact of Different Metrics on Software Quality: a Case Study in the Open Source Domain 151
Understanding the Development Trends of Electronic Voting Systems 151
Towards an Open Standard Vote Verification Framework in Electronic Voting Systems 150
Specification of the Control Logic of an eVoting System in UML: the ProVotE experience 148
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform 146
Analysing service oriented methodologies for sustainable applications 146
Introduction to Software Project Management 145
Theories of Abstraction 143
Proving Theorems by Using Abstraction Interactively 140
Understanding Best Practices for ICTD Projects: towards a Maturity Model 136
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform 133
Spreco Alimentare e Nuove Tecnologie 132
Improving Safety Assessment of Complex Systems: An Industrial case study 131
Reasoning by Analogy via Abstraction 130
Integrating Fault Tree Analysis with Event Ordering Information 129
Improving Safety Assessment of Complex Systems: An Industrial case study 126
SAT-based decision procedures for normal modal logics: a theoretical framework 126
The FSAP/NuSMV-SA Safety Analysis Platform 124
Inductive Theorem Proving via Abstraction 121
Formal specification of Beliefs in Multi-Agents Systems 121
Modeling and Analysis of Procedural Security 119
Formal Specification and validation of a Vital Communication Protocol 119
Modeling and Analysis of Procedural Security in (e)Voting: the Trentino`s Approach and Experiences 118
Vote Verification through Open Standard: A Roadmap 117
null 60
Totale 14.709
Salva come PNG Salva come JPEG
Categoria #
all - tutte 60.766
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 60.766
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021156 0 0 0 0 0 0 0 0 0 0 0 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.497 258 303 458 515 346 241 1.023 2.362 364 295 314 18
Totale 14.709