IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020699 0 0 0 0 0 142 134 11 112 87 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/2025390 22 18 185 77 55 33 0 0 0 0 0 0
Totale 6.275