IRIS Institutional Research Information System

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