Villafiorita Monteleone, Adolfo
Villafiorita Monteleone, Adolfo
(Non-)Participation in deliberation at work: a case study of online participative decision-making
2019-01-01 Schiavo, Gianluca; Villafiorita, Adolfo; Zancanaro, Massimo
A Formal Methodology for Procedural Security Assessment
2011-01-01 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
A General Purpose Reasoner for Abstraction
1995-01-01 Giunchiglia, Fausto; Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; T., Walsh
A Methodology for Assessing Procedural Security: A Case Study in E-Voting
2008-01-01 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
A Survey: Electronic Voting Development and Trends
2010-01-01 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
A Synthesis of Vote Verification Methods
2014-01-01 Al, Shammari; Ali Fawzi, Najm; Villafiorita Monteleone, Adolfo
A Tool Supported Methodology for BPR in Public Administrations
2010-01-01 Ciaghi, Aaron; Mattioli, Andrea; Villafiorita Monteleone, Adolfo
ABSFOL: A Proof Checker with Abstraction
1996-01-01 Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem
1997-01-01 A., Bundy; Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo; Toby, Walsh
Abstraction as a Form of Elaboration Tolerance
1998-01-01 Villafiorita Monteleone, Adolfo
Adapting Software Metrics to Analyze the Evolution of Laws - An Italian Case Study
2011-01-01 Ciaghi, Aaron; Andrea Dalla, Valle; Villafiorita Monteleone, Adolfo
An Adaptive Learning with Gamification & Conversational UIs: The Rise of CiboPoliBot
2017-01-01 Jumaah, A. S. F.; Villafiorita Monteleone, Adolfo
Analysing service oriented methodologies for sustainable applications
2013-01-01 Grau Yegros, Ilse Maria; L., Cernuzzi; Villafiorita Monteleone, Adolfo
Analyzing the Security of Electronic Voting Systems: Can Formal Methods Really Help?
2012-01-01 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach
2007-01-01 Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Mattioli, Andrea
Beyond food sharing: Supporting food waste reduction with ICTs
2016-01-01 Ciaghi, Aaron; Villafiorita Monteleone, Adolfo
BINSPECT: Holisitic Analysis and Detecion of Malicious Web Pages
2012-01-01 Eshete, Birhanu Mekuria; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai
Chi porta da mangiare? Il cibo tra eccesso e scarsità
2013-01-01 Costa, Paolo; Ferlan, Claudio; Villafiorita Monteleone, Adolfo
Confeagle: Automated Analysis of Security Configuration Vulnerabilities in Web Applications
2013-01-01 Eshete, Birhanu Mekuria; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Zulkerine, M.
Context Information Refinement for Pervasive Medical Systems
2010-01-01 Eshete, Birhanu Mekuria; Dawit, Bekele; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| (Non-)Participation in deliberation at work: a case study of online participative decision-making | 1-gen-2019 | Schiavo, Gianluca; Villafiorita, Adolfo; Zancanaro, Massimo | |
| A Formal Methodology for Procedural Security Assessment | 1-gen-2011 | Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo | |
| A General Purpose Reasoner for Abstraction | 1-gen-1995 | Giunchiglia, Fausto; Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; T., Walsh | |
| A Methodology for Assessing Procedural Security: A Case Study in E-Voting | 1-gen-2008 | Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo | |
| A Survey: Electronic Voting Development and Trends | 1-gen-2010 | Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo | |
| A Synthesis of Vote Verification Methods | 1-gen-2014 | Al, Shammari; Ali Fawzi, Najm; Villafiorita Monteleone, Adolfo | |
| A Tool Supported Methodology for BPR in Public Administrations | 1-gen-2010 | Ciaghi, Aaron; Mattioli, Andrea; Villafiorita Monteleone, Adolfo | |
| ABSFOL: A Proof Checker with Abstraction | 1-gen-1996 | Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo | |
| Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem | 1-gen-1997 | A., Bundy; Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo; Toby, Walsh | |
| Abstraction as a Form of Elaboration Tolerance | 1-gen-1998 | Villafiorita Monteleone, Adolfo | |
| Adapting Software Metrics to Analyze the Evolution of Laws - An Italian Case Study | 1-gen-2011 | Ciaghi, Aaron; Andrea Dalla, Valle; Villafiorita Monteleone, Adolfo | |
| An Adaptive Learning with Gamification & Conversational UIs: The Rise of CiboPoliBot | 1-gen-2017 | Jumaah, A. S. F.; Villafiorita Monteleone, Adolfo | |
| Analysing service oriented methodologies for sustainable applications | 1-gen-2013 | Grau Yegros, Ilse Maria; L., Cernuzzi; Villafiorita Monteleone, Adolfo | |
| Analyzing the Security of Electronic Voting Systems: Can Formal Methods Really Help? | 1-gen-2012 | Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo | |
| Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach | 1-gen-2007 | Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Mattioli, Andrea | |
| Beyond food sharing: Supporting food waste reduction with ICTs | 1-gen-2016 | Ciaghi, Aaron; Villafiorita Monteleone, Adolfo | |
| BINSPECT: Holisitic Analysis and Detecion of Malicious Web Pages | 1-gen-2012 | Eshete, Birhanu Mekuria; Villafiorita Monteleone, Adolfo; Weldemariam, Komminist Sisai | |
| Chi porta da mangiare? Il cibo tra eccesso e scarsità | 1-gen-2013 | Costa, Paolo; Ferlan, Claudio; Villafiorita Monteleone, Adolfo | |
| Confeagle: Automated Analysis of Security Configuration Vulnerabilities in Web Applications | 1-gen-2013 | Eshete, Birhanu Mekuria; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo; Zulkerine, M. | |
| Context Information Refinement for Pervasive Medical Systems | 1-gen-2010 | Eshete, Birhanu Mekuria; Dawit, Bekele; Weldemariam, Komminist Sisai; Villafiorita Monteleone, Adolfo |