IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021936 0 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.327 22 18 185 77 55 34 72 159 869 284 358 194
2025/2026440 258 182 0 0 0 0 0 0 0 0 0 0
Totale 8.652