阿道夫·维拉菲奥里塔
人员信息
优化列表
2010 – 2019
2017 [公元47年] 艾哈迈德·法迪尔 , 阿道夫·维拉菲奥里塔 :
游戏化和对话UI的适应性学习:CiboPoliBot的兴起。 UMAP(附属出版物) 2017 : 408-412 2016 [公元46年] 亚伦·西吉 , 阿道夫·维拉菲奥里塔 :
除了粮食共享:利用信息通信技术支持减少粮食浪费。 国际标准分类2 2016 : 1-6 [c45] 艾哈迈德·法迪尔 , 克里斯蒂娜·马特奥蒂 , Giampaolo Armellin公司 , 阿道夫·维拉菲奥里塔 , 达里奥·贝蒂 :
CoachMe:促进健康生活方式的平台。 MobileHCI辅助 2016 : 1077-1080 2015 [公元9年] 伊尔斯·克劳 , Guilherme H.特拉瓦索斯 , 卢卡·塞努齐 , 阿道夫·维拉菲奥里塔 :
磁带Mbo’e:第一次实验评估。 CLEI Electron公司。 J。 18 ( 1 ) ( 2015 ) 2014 [公元44年] 伊尔斯·克劳 , 吉尔赫梅·特拉瓦索斯 , 卢卡·塞努齐 , 阿道夫·维拉菲奥里塔 :
磁带Mbo’e:第一次实验评估。 CIbSE公司 2014 : 322-335 [公元43年] 阿里·法齐·纳杰姆·艾尔·沙马里 , 阿道夫·维拉菲奥里塔 :
2014年伊拉克大选:基于投票场所经验的隐私要求评估。 GI-Jahrestagung公司 2014 : 1359-1370 2013 [公元42年] 比哈努·埃塞特 , 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 , 穆罕默德·祖尔克宁 :
EINSPECT:恶意网页的进化引导分析和检测。 COMPSAC公司 2013 : 375-380 [公元41年] 亚伦·西吉 , 比哈努·埃塞特 , 彼得罗·莫利尼 , 阿道夫·维拉菲奥里塔 :
SAMo:试验一个社会责任网络平台。 ACM开发(3) 2013 : 17:1-17:2 [公元40年] 伊尔斯·克劳 , 卢卡·塞努齐 , 阿道夫·维拉菲奥里塔 :
磁带Mbo’e(TME):一种面向服务的方法。 SCCC公司 2013 : 33-37 [公元39年] 比哈努·埃塞特 , 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 , 穆罕默德·祖尔克宁 :
Confeagle:Web应用程序中配置漏洞的自动分析。 SERE系列 2013 : 188-197 2012 [公元38年] 阿里·法齐·纳杰姆·艾尔·沙马里 , 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 :
了解电子投票系统的发展趋势。 ARES公司 2012 : 186-195 [公元37年] 阿里·法齐·纳杰姆·艾尔·沙马里 , 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 :
电子投票系统中的开放标准投票验证框架。 ARES公司 2012 : 437-444 [公元36年] 亚伦·西亚吉 , 比哈努·埃塞特 , 彼得罗·莫利尼 , 阿道夫·维拉菲奥里塔 :
莫桑比克的社会责任:莫安巴地区的经验报告。 非洲司令部 2012 : 189-198 [公元35年] 海诺克·萨希鲁 , 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 , 梅斯芬·贝拉乔 , 阿曼纽尔·泽格 :
为发展中国家设计分布式农业信息服务。 ACM开发 2012 : 24:1 [公元34年] 阿曼纽尔·泽格 , Komminist Weldemariam公司 , Sebsibe Hailemariam公司 , 阿道夫·维拉菲奥里塔 , 安吉洛·苏西 , 梅斯芬·贝拉乔 :
关于在发展中国家使用面向目标的方法设计农业服务。 MEDES公司 2012 : 40-47 [公元33年] 比哈努·埃塞特 , 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 :
BINSPECT:恶意网页的整体分析和检测。 安全通信 2012 : 149-166 [电子3] 拉杜·波佩斯库·泽莱廷 , 卡尔·乔纳斯 , 伊德里斯·A·雷 , Roch H.Glitho公司 , 阿道夫·维拉菲奥里塔 :
2011年11月23日至24日,坦桑尼亚桑给巴尔,《发展中国家电子基础设施和电子服务——第三届国际信通技术会议,2011年非洲司令部》,修订论文集。 计算机科学、社会信息学和电信工程研究所讲稿 92, 施普林格 2012 ,国际标准图书编号 978-3-642-29092-3 [目录] 2011 [j8] Komminist Weldemariam公司 , 阿道夫·维拉菲奥里塔 :
程序性安全分析:一种方法论方法。 J.系统。 柔和。 84 ( 7 ) : 1114-1129 ( 2011 ) [j7] Komminist Weldemariam公司 , 理查德·凯默勒 , 阿道夫·维拉菲奥里塔 :
电子投票系统的形式分析:一份经验报告。 J.系统。 柔和。 84 ( 10 ) : 1618-1637 ( 2011 ) [公元32年] 比哈努·埃塞特 , 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 :
Web应用程序中安全错误配置漏洞的早期检测。 ARES公司 2011 : 169-174 [公元31年] 亚伦·西吉 , 阿道夫·维拉菲奥里塔 :
众包ICTD最佳实践。 非洲司令部 2011 : 167-176 [公元30年] 比哈努·埃塞特 , 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 :
恶意网站检测:有效性和效率问题。 SysSec@DIMVA 2011 : 123-126 [公元29年] 亚伦·西吉 , 安德里亚·达拉·瓦莱 , 阿道夫·维拉菲奥里塔 :
采用软件度量来分析法律的演变——意大利案例研究。 朱利克斯 2011 : 53-62 [公元28年] 阿里·法齐·纳杰姆·艾尔·沙马里 , Komminist Weldemariam公司 , 阿道夫·维拉菲奥里塔 , 塞尔吉奥·特萨利斯 :
通过开放标准进行投票验证:路线图。 REVOTE公司 2011 : 22-26 [电子2] 拉杜·波佩斯库·泽莱廷 , 伊德里斯·A·雷 , 卡尔·乔纳斯 , 阿道夫·维拉菲奥里塔 :
2010年11月25日至26日,南非开普敦,2010年非洲司令部,第二届国际信通技术大会,发展中国家电子基础设施和电子服务,修订论文集。 计算机科学、社会信息学和电信工程研究所讲稿 64, 施普林格 2011 ,国际标准图书编号 978-3-642-23827-7 [目录] 2010 [公元27年] Komminist Weldemariam公司 , 理查德·凯默勒 , 阿道夫·维拉菲奥里塔 :
电子投票系统的形式化描述与分析。 ARES公司 2010 : 164-171 [公元26年] 亚伦·西吉 , 阿道夫·维拉菲奥里塔 :
通过法律建模和业务流程再造改进公共管理。 非洲司令部 2010 : 69-78 [公元25年] Biniyam Asfaw公司 , 达维特·贝克勒 , 比哈努·埃塞特 , 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 :
普及医疗系统的基于主机的异常检测。 CRiSIS公司 2010 : 1-8 [公元24年] Komminist Weldemariam公司 , 阿道夫·维拉菲奥里塔 :
调查:电子投票的发展和趋势。 电子投票 2010 : 119-131 【c23】 比哈努·埃塞特 , 安德烈亚·马蒂奥利 , 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 :
信通技术造福人类:机遇、挑战和前进之路。 ICDS系统 2010 : 14-19 [公元22年] 达维特·贝克勒 , 比哈努·埃塞特 , 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 :
普及医疗系统的上下文信息优化。 ICDS系统 2010 : 210-215 【c21】 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 , 安吉洛·苏西 , 阿尔贝托·锡耶纳 :
使用BPR和面向目标的框架对法律进行建模和分析。 ICDS系统 2010 : 353-358 [电子1] 阿道夫·维拉菲奥里塔 , 雷吉斯·圣保罗 , 亚历山德罗·佐勒 :
发展中国家的电子基础设施和电子服务——2009年12月3日至4日在莫桑比克马普托举行的非洲司令部2009年第一届国际ICST会议。 诉讼程序。 计算机科学、社会信息学和电信工程研究所讲稿 38, 施普林格 2010 ,国际标准图书编号 978-3-642-12700-7 [目录]
2000 – 2009
2009 [j6] 沃拉·布莱尔 , 法比亚诺·达尔皮亚斯 , 罗伯塔·费拉里奥 , 安德烈亚·马蒂奥利 , 阿道夫·维拉菲奥里塔 :
评估程序选择:电子投票案例研究。 电子。 州长兼国际法官。 6 ( 2 ) : 213-231 ( 2009 ) [j5] 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 , 罗伯托·蒂埃拉 :
使用VVPAT开发、正式验证和评估电子投票系统。 IEEE传输。 Inf.法医安全。 4 ( 4 ) : 651-661 ( 2009 ) [公元20年] 亚伦·西吉 , 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 , 安德烈亚·马蒂奥利 , Quoc-Sang Phan公司 :
通过综合业务流程重组环境支持公共行政。 非洲司令部 2009 : 50-59 [第19条] Komminist Weldemariam公司 , 理查德·凯默勒 , 阿道夫·维拉菲奥里塔 :
对电子投票系统攻击的形式化分析。 CRiSIS公司 2009 : 26-34 [第18条] Komminist Weldemariam公司 , 阿道夫·维拉菲奥里塔 , 安德烈亚·马蒂奥利 :
电子投票系统的实验和数据分析。 CRiSIS公司 2009 : 105-112 [第17条] 帕维尔·什瓦伊科 , 阿道夫·维拉菲奥里塔 , 亚历山德罗·佐勒 , 卢里诺·切马内 , 特奥托尼奥·富莫 , Jussi Hinkkanen公司 :
eGIF4M:莫桑比克电子政务互操作性框架。 EGOV公司 2009 : 328-340 [第16条] 亚伦·西吉 , 阿道夫·维拉菲奥里塔 , 安德烈亚·马蒂奥利 :
VLPM:公共行政中支持BPR的工具。 ICDS系统 2009 : 289-293 [第15条] Komminist Weldemariam公司 , 安德烈亚·马蒂奥利 , 阿道夫·维拉菲奥里塔 :
电子投票系统的管理要求:问题和方法。 REVOTE公司 2009 : 29-37 2008 [第14条] Komminist Weldemariam公司 , 阿道夫·维拉菲奥里塔 :
正式的过程安全建模和分析。 CRiSIS公司 2008 : 249-254 [第13条] Komminist Weldemariam公司 , 阿道夫·维拉菲奥里塔 :
评估程序安全的方法:电子投票的案例研究。 电子投票 2008 : 83-94 [第12条] 弗朗西丝卡·隆戈 , 罗伯托·蒂埃拉 , 保罗·托内拉 , 阿道夫·维拉菲奥里塔 :
衡量不同类别软件演化的影响。 IWSM/Metrikon/Mensura公司 2008 : 344-351 [第11条] Komminist Weldemariam公司 , 阿道夫·维拉菲奥里塔 :
(e)投票中程序安全的建模和分析:特伦蒂诺的方法和经验。 电动汽车 2008 2007 【j4】 马可·波扎诺 , 阿道夫·维拉菲奥里塔 :
FSAP/NuSMV-SA安全分析平台。 国际期刊软件。 工具技术。 Transf公司。 9 ( 1 ) : 5-24 ( 2007 ) [第10条] 罗伯托·蒂埃拉 , 阿道夫·维拉菲奥里塔 , 西尔维娅·托马西 :
FSMC+是一种从状态图生成Java代码的工具。 PPPJ公司 2007 : 93-102 【c9】 Komminist Weldemariam公司 , 阿道夫·维拉菲奥里塔 , 安德烈亚·马蒂奥利 :
评估电子投票中的程序风险和威胁:挑战和方法。 投票ID 2007 : 38-49 2003 【c8】 马可·波扎诺 , 安东尼拉·卡瓦洛 , 马西莫·西法尔迪 , 劳拉·瓦拉卡 , 阿道夫·维拉菲奥里塔 :
改进复杂系统的安全评估:工业案例研究。 失效模式与后果 2003 : 208-222 【c7】 马可·波扎诺 , 阿道夫·维拉菲奥里塔 :
通过模型检查提高系统可靠性:FSAP/NuSMV-SA安全分析平台。 SAFECOMP公司 2003 : 49-62
1990 – 1999
1999 [j3] 马西莫·贝内雷切蒂 , 恩里科·金奇利亚 , 卢西亚诺·塞拉菲尼 , 阿道夫·维拉菲奥里塔 :
多智能体系统中信念的形式化描述。 《国际情报杂志》。 系统。 14 ( 10 ) : 1021-1040 ( 1999 ) 【c6】 亚历山德罗·西马蒂 , P.L.皮耶拉西尼 , 罗伯托·塞巴斯蒂亚尼 , 保罗·特拉弗索 , 阿道夫·维拉菲奥里塔 :
重要通信协议的正式规范和验证。 形式方法世界大会 1999 : 1584-1604 [c5] 安吉洛·齐阿皮尼 , 亚历山德罗·西马蒂 , 卡门·波齐亚 , G.罗通多 , 罗伯托·塞巴斯蒂亚尼 , 保罗·特拉弗索 , 阿道夫·维拉菲奥里塔 :
安全关键型列车管理系统的正式规范和开发。 SAFECOMP公司 1999 : 410-419 1998 【c4】 罗伯托·塞巴斯蒂亚尼 , 阿道夫·维拉菲奥里塔 :
基于SAT的正规模态逻辑决策程序:一个理论框架。 AIMSA公司 1998 : 377-388 【c3】 阿道夫·维拉菲奥里塔 :
抽象作为一种精化宽容的形式。 AIMSA公司 1998 : 427-437 1997 [注2] 福斯托·金奇利亚 , 阿道夫·维拉菲奥里塔 , 托比·沃尔什 :
抽象理论。 AI社区。 10 ( 3-4 ) : 167-176 ( 1997 ) [j1] 阿兰·邦迪 , 福斯托·金奇利亚 , 阿道夫·维拉菲奥里塔 , 托比·沃尔什 :
抽象证明检查:一个受不完全性定理启发的例子。 J.汽车。 原因。 19 ( 三 ) : 319-346 ( 1997 ) 1996 【c2】 福斯托·金奇利亚 , 罗伯托·塞巴斯蒂亚尼 , 阿道夫·维拉菲奥里塔 , 托比·沃尔什 :
抽象的通用推理机。 人工智能 1996 : 323-335 【c1】 福斯托·金奇利亚 , 阿道夫·维拉菲奥里塔 :
ABSFOL:带抽象的校对程序。 CADE公司 1996 : 136-140