IRIS Institutional Research Information System

Villafiorita Monteleone, Adolfo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.691
EU - Europa 2.800
AS - Asia 1.024
SA - Sud America 190
AF - Africa 24
Continente sconosciuto - Info sul continente non disponibili 20
OC - Oceania 8
Totale 7.757
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.598
RU - Federazione Russa 771
DE - Germania 536
SG - Singapore 364
UA - Ucraina 300
SE - Svezia 289
FI - Finlandia 194
HK - Hong Kong 194
BR - Brasile 180
IT - Italia 173
NL - Olanda 143
GB - Regno Unito 131
CN - Cina 118
IN - India 101
VN - Vietnam 92
IE - Irlanda 85
CA - Canada 74
FR - Francia 44
BE - Belgio 32
CZ - Repubblica Ceca 26
EU - Europa 20
LB - Libano 20
IR - Iran 19
SI - Slovenia 19
JP - Giappone 15
TR - Turchia 14
KR - Corea 13
MX - Messico 13
IL - Israele 10
LT - Lituania 10
ID - Indonesia 9
TW - Taiwan 9
BD - Bangladesh 8
AU - Australia 7
GR - Grecia 7
PK - Pakistan 7
RO - Romania 7
ZA - Sudafrica 5
AT - Austria 4
CH - Svizzera 4
ES - Italia 4
IQ - Iraq 4
MA - Marocco 4
NO - Norvegia 4
TH - Thailandia 4
CO - Colombia 3
DZ - Algeria 3
EC - Ecuador 3
EE - Estonia 3
EG - Egitto 3
HR - Croazia 3
LK - Sri Lanka 3
MY - Malesia 3
PE - Perù 3
PH - Filippine 3
PL - Polonia 3
PT - Portogallo 3
AE - Emirati Arabi Uniti 2
AZ - Azerbaigian 2
DK - Danimarca 2
KG - Kirghizistan 2
PA - Panama 2
SA - Arabia Saudita 2
TN - Tunisia 2
UG - Uganda 2
AL - Albania 1
AR - Argentina 1
CR - Costa Rica 1
ET - Etiopia 1
GE - Georgia 1
GH - Ghana 1
HU - Ungheria 1
JM - Giamaica 1
KE - Kenya 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
MD - Moldavia 1
MZ - Mozambico 1
NI - Nicaragua 1
NP - Nepal 1
NZ - Nuova Zelanda 1
OM - Oman 1
SN - Senegal 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
Totale 7.757
Salva come PNG Salva come JPEG
Città #
Chandler 771
Jacksonville 612
Singapore 230
Moscow 219
Hong Kong 193
Ashburn 183
Wilmington 181
The Dalles 136
Boardman 130
Ann Arbor 115
Helsinki 102
Dong Ket 89
Dublin 85
Kronberg 84
Dearborn 75
Los Angeles 73
Woodbridge 73
Brooklyn 61
Beijing 49
Pune 39
Munich 38
Seattle 37
Houston 35
Brussels 32
Toronto 32
Fasano 30
Trento 29
Ottawa 27
Shanghai 25
Phoenix 24
San Mateo 24
Brno 23
Redwood City 23
Secaucus 22
Berlin 20
Milan 20
New York 20
Verona 18
Leawood 16
Falkenstein 14
Fremont 14
Miami 14
Falls Church 11
Augusta 10
Ljubljana 10
London 10
Mexico City 10
Hanover 9
Tokyo 9
Portland 8
Turku 8
Ardabil 7
Brasília 7
Mountain View 7
Nanjing 7
Amsterdam 6
Istanbul 6
Norwalk 6
Sacramento 6
Belo Horizonte 5
Campinas 5
Council Bluffs 5
Düren 5
Frankfurt am Main 5
Mumbai 5
Old Bridge 5
Rome 5
San Francisco 5
São Paulo 5
Taipei 5
Chicago 4
Curitiba 4
Guangzhou 4
Hefei 4
Manchester 4
Rozendaal 4
Salvador 4
Santa Clara 4
Tappahannock 4
Turin 4
Ankara 3
Atlanta 3
Auburn Hills 3
Brisbane 3
Chennai 3
Colombo 3
Des Moines 3
Fairfield 3
Jakarta 3
Lahore 3
Monmouth Junction 3
Montréal 3
Morwell 3
Neuss 3
Rawalpindi 3
Sabz 3
Saint Petersburg 3
Tallinn 3
Yongsan-gu 3
Zanjan 3
Totale 4.329
Salva come PNG Salva come JPEG
Nome #
An Adaptive Learning with Gamification & Conversational UIs: The Rise of CiboPoliBot 209
Beyond food sharing: Supporting food waste reduction with ICTs 173
Hacking for Southern Africa: Collaborative Development of Hyperlocal Services for Marginalised Communities 150
(Non-)Participation in deliberation at work: a case study of online participative decision-making 150
Safety Critical Systems 148
Design and Safety Assessment of Critical Systems 129
ESACS: an integrated methodology for design and safety analysis of complex systems 125
Confeagle: Automated Analysis of Security Configuration Vulnerabilities in Web Applications 116
Social Accountability for Mozambique: an Experience Report from the Moamba District 115
Host-based Anomaly Detection for Pervasive Medical Systems 110
Introducing a Maturity Model for ICT for Development Projects 110
LRIT4AE: Bridging South African and European Competences for Living Labs 106
A General Purpose Reasoner for Abstraction 104
A Synthesis of Vote Verification Methods 103
Chi porta da mangiare? Il cibo tra eccesso e scarsità 103
Maputo Living Lab Summer School of ICTs: An Experience Report 102
EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages 101
Iraqi Elections in 2014: a Privacy Requirement Evaluation Based on a Polling Place Experience 101
Modeling and Analysis of Laws using BPR and Goal-oriented framework 100
Context Information Refinement for Pervasive Medical Systems 99
ICT for Good: Opportunities, Challenges and the Way Forward 99
Early Detection of Security Misconfiguration Vulnerabilities in Web Applications 97
Malicious Website Detection: Effectiveness and Efficiency Issues 97
Introduction to Software Project Management 97
BINSPECT: Holisitic Analysis and Detecion of Malicious Web Pages 97
Analyzing the Security of Electronic Voting Systems: Can Formal Methods Really Help? 96
Adapting Software Metrics to Analyze the Evolution of Laws - An Italian Case Study 96
Towards Designing an Architecture for Delivering Distributed Agricultural Information Services for Developing Countries 96
Designing distributed agricultural information services for developing countries 95
Enhancing Law Modeling and Analysis: using BPR-Based and Goal-Oriented Frameworks 95
Understanding the Development Trends of Electronic Voting Systems 95
A Methodology for Assessing Procedural Security: A Case Study in E-Voting 94
SAMo: experimenting a social accountability web platform 93
Procedural Security Analysis: A Methodological Approach 92
Development, Formal Verification and Evaluation of an eVoting System with VVPAT 90
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem 90
Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach 90
Formal Specification and Development of a Safety-Critical Train Management 89
FSMC+, a tool for the generation of Java code from statecharts 89
Formal Analysis of Attacks for e-voting System 89
Towards a Law Modeling Framework to Support Law-Making via BPR 89
Formal Specification and Verification of an e-voting System: An experience Report. 89
Formal Specification and Analysis of an e-Voting System 88
A Tool Supported Methodology for BPR in Public Administrations 88
Specification of the Control Logic of an eVoting System in UML: the ProVotE experience 87
Evaluating procedural alternatives: a case study in e-voting 87
Improving Public Administrations via Law Modeling 87
A Formal Methodology for Procedural Security Assessment 87
Formal Procedural Security Modeling and Analysis 86
Supporting Public Administration with an Integrated BPR Environment 86
Experiments and Data Analysis of Electronic Voting System 86
Measuring the Impact of Different Categories of Software Evolution 85
Law Modeling and BPR for Public Administration Improvement 85
ABSFOL: A Proof Checker with Abstraction 84
Experiences in e-Governance from an ICT4G Perspective: Case Studies and Lesson Learned 84
Proving Theorems by Using Abstraction Interactively 84
Evaluating Procedural Alternatives: a case study in e-voting 83
Run-Time Result Formal Verification of Safety Critical Software: an Industrial Case Study 82
Proof planning by abstraction 82
Managing Requirements for e-voting Systems: Issues and Approaches Motivated by a Case Study 81
A Survey: Electronic Voting Development and Trends 80
Measuring the Impact of Different Metrics on Software Quality: a Case Study in the Open Source Domain 80
Stimulating Development Through Transnational Living Labs: the Italo-Mozambican Vision 79
Crowdsourcing ICTD Best Practices 79
VLPM: a Tool to support BPR in Public Administration 77
Theories of Abstraction 76
Towards an Open Standard Vote Verification Framework in Electronic Voting Systems 76
Abstraction as a Form of Elaboration Tolerance 74
Modeling and Analysis of Procedural Security in (e)Voting: the Trentino`s Approach and Experiences 73
Law Modeling with Ontological Support and BPMN: a Case Study 73
Spreco Alimentare e Nuove Tecnologie 73
Reasoning by Analogy via Abstraction 73
Improving Safety Assessment of Complex Systems: An Industrial case study 71
Integrating Fault Tree Analysis with Event Ordering Information 71
Analysing service oriented methodologies for sustainable applications 68
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform 66
Improving Safety Assessment of Complex Systems: An Industrial case study 66
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform 65
Inductive Theorem Proving via Abstraction 63
Vote Verification through Open Standard: A Roadmap 62
Modeling and Analysis of Procedural Security 61
SAT-based decision procedures for normal modal logics: a theoretical framework 60
null 60
Formal specification of Beliefs in Multi-Agents Systems 57
Formal Specification and validation of a Vital Communication Protocol 56
Understanding Best Practices for ICTD Projects: towards a Maturity Model 55
The FSAP/NuSMV-SA Safety Analysis Platform 53
Totale 7.887
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.636
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 43.636
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020213 0 0 0 0 0 0 0 0 0 0 121 92
2020/20211.048 112 5 105 53 106 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.002 22 18 185 77 55 34 72 159 869 284 227 0
Totale 7.887