Villafiorita Monteleone, Adolfo

Villafiorita Monteleone, Adolfo  

Centro DIGIS  

Mostra records
Risultati 1 - 20 di 86 (tempo di esecuzione: 0.018 secondi).
Titolo Data di pubblicazione Autore(i) File
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 Aaron Ciaghi; Andrea Dalla Valle; Adolfo Villafiorita
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 I. Grau; L. Cernuzzi; and A. Villafiorita
Analyzing the Security of Electronic Voting Systems: Can Formal Methods Really Help? 1-gen-2012 Komminist Weldemariam; Adolfo Villafiorita
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
Crowdsourcing ICTD Best Practices 1-gen-2011 Ciaghi, Aaron; Villafiorita Monteleone, Adolfo