停止战争！

Осрановиревойну！

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

阿道夫·维拉菲奥里塔

>主页 >珀森斯

人员信息

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2017
[c47]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/um/传真V17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/um/FadhilV17
艾哈迈德·法迪尔，阿道夫·维拉菲奥里塔:
游戏化和对话UI的适应性学习：CiboPoliBot的兴起。 UMAP（附属出版物） 2017:408-412
2016
[公元46年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isc2/CiaghiV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isc2/CiaghiV16
亚伦·西吉，阿道夫·维拉菲奥里塔:
食物共享之外：利用信息和通信技术支持减少食物浪费。国际标准分类2 2016:1-6
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mhci/FadhilMAVB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mhci/FadhilMAVB16
艾哈迈德·法迪尔，克里斯蒂娜·马特奥蒂，Giampaolo Armellin公司，阿道夫·维拉菲奥里塔，达里奥·贝蒂:
CoachMe：促进健康生活方式的平台。 MobileHCI辅助 2016:1077-1080
2015
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cleiej/GrauTCV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cleiej/GrauTCV15
伊尔斯·克劳，吉尔赫梅·特拉瓦索斯，卢卡·塞努齐，阿道夫·维拉菲奥里塔:
磁带Mbo’e：第一次实验评估。 CLEI Electron公司。J。 18(1)(2015)
2014
[公元44年]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cibse/GrauTCV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cibse/GrauTCV14
伊尔斯·克劳，吉尔赫梅·特拉瓦索斯，卢卡·塞努齐，阿道夫·维拉菲奥里塔:
磁带Mbo’e：第一次实验评估。 CIbSE公司 2014:322至335
[公元43年]
- 看法
  - 电子版@gi.de
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/gi/Al-ShammariV14型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gi/Al-ShammariV14
阿里·法齐·纳杰姆·艾尔·沙马里，阿道夫·维拉菲奥里塔:
2014年伊拉克大选：基于投票场所经验的隐私要求评估。 GI-Jahrestagung公司 2014:1359-1370
2013
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compsac/EsheteVWZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/compsac/EsheteVWZ13
比哈努·埃塞特，阿道夫·维拉菲奥里塔，Komminist Weldemariam公司，穆罕默德·祖尔克宁:
EINSPECT：恶意网页的进化引导分析和检测。 COMPSAC公司 2013:375-380
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dev/CiaghiEMV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dev/CiaghiEMV13网站
亚伦·西吉，比哈努·埃塞特，彼得罗·莫利尼，阿道夫·维拉菲奥里塔:
SAMo：试验一个社会责任网络平台。 ACM开发（3） 2013:17:1-17:2
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/scc/GrauCV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sccc/GrauCV13
伊尔斯·克劳，卢卡·塞努齐，阿道夫·维拉菲奥里塔:
磁带Mbo’e（TME）：一种面向服务的方法。 SCCC公司 2013:33-37
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ssiri/EsheteVWZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ssiri/EsheteVWZ13
比哈努·埃舍特，阿道夫·维拉菲奥里塔，Komminist Weldemariam公司，穆罕默德·祖尔克宁:
Confeagle：Web应用程序中配置漏洞的自动分析。 SERE系列 2013:188-197
2012
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/IEEEares/Al-ShammariVW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/IEEEares/Al-ShammariVW12
阿里·法齐·纳杰姆·艾尔·沙马里，阿道夫·维拉菲奥里塔，Komminist Weldemariam公司:
了解电子投票系统的发展趋势。 ARES公司 2012:186-195
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/IEEEares/Al-ShammariVW12a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/IEEEares/Al-ShammariVW12a
阿里·法齐·纳杰姆·艾尔·沙马里，阿道夫·维拉菲奥里塔，Weldemariam公司:
电子投票系统中的开放标准投票验证框架。 ARES公司 2012:437-444
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/africom/CiaghiEMV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/africom/CiaghiEMV12
亚伦·西吉，比哈努·埃塞特，彼得罗·莫利尼，阿道夫·维拉菲奥里塔:
莫桑比克的社会责任：莫安巴地区的经验报告。非洲司令部 2012:189-198
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 文件/dev/SahiluVWBZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dev/ShahiluVWBZ12
海诺克·萨希鲁，阿道夫·维拉菲奥里塔，Komminist Weldemariam公司，梅斯芬·贝拉乔，阿曼纽尔·泽格:
为发展中国家设计分布式农业信息服务。 ACM开发 2012:24:1
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/medes/ZewgeWHVSB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/medes/ZewgeWHVSB12
阿曼纽尔·泽格，Komminist Weldemariam公司，Sebsibe Hailemariam公司，阿道夫·维拉菲奥里塔，安吉洛·苏西，梅斯芬·贝拉乔:
关于使用面向目标的方法设计发展中国家的农业服务。 MEDES公司 2012:40-47
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/securecomm/EsheteVW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/securecomm/EsheteVW12
比哈努·埃塞特，阿道夫·维拉菲奥里塔，Komminist Weldemariam公司:
BINSPECT：恶意网页的整体分析和检测。安全通信 2012:149-166年
[电子3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/africom/2011年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/africom/2011
拉杜·波佩斯库·泽莱廷，卡尔·乔纳斯，伊德里斯·A·雷，Roch H.Glitho公司，阿道夫·维拉菲奥里塔:
2011年11月23日至24日，坦桑尼亚桑给巴尔，《发展中国家电子基础设施和电子服务——第三届国际信通技术会议，2011年非洲司令部》，修订论文集。计算机科学、社会信息学和电信工程研究所讲稿92,施普林格 2012，国际标准图书编号978-3-642-29092-3 [目录]
2011
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jss/WeldemariamV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jss/WeldemariamV11
Komminist Weldemariam公司，阿道夫·维拉菲奥里塔:
程序性安全分析：一种方法论方法。 J.系统。柔和。 84(7):1114-1129(2011)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jss/WeldemariamKV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jss/WeldemariamKV11
Komminist Weldemariam公司，理查德·凯默勒，阿道夫·维拉菲奥里塔:
电子投票系统的形式分析：一份经验报告。 J.系统。柔和。 84(10):1618-1637(2011)
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/IEEAres/EsheteVW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/IEEAres/EsheteVW11
比哈努·埃塞特，阿道夫·维拉菲奥里塔，Komminist Weldemariam公司:
Web应用程序中安全错误配置漏洞的早期检测。 ARES公司 2011:169-174
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/africom/CiaghiV11型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/africom/CiaghiV11
亚伦·西吉，阿道夫·维拉菲奥里塔:
众包ICTD最佳实践。非洲司令部 2011:167-176
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dimva/EsheteVW11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dimva/EsheteVW11
比哈努·埃塞特，阿道夫·维拉菲奥里塔，Komminist Weldemariam公司:
恶意网站检测：有效性和效率问题。 SysSec@DIMVA 2011:123-126
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jurix/CiaghiVV11会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jurix/CiaghiVV11
亚伦·西吉，安德烈亚·达拉·瓦勒，阿道夫·维拉菲奥里塔:
采用软件度量来分析法律的演变——意大利案例研究。朱利克斯 2011:53-62
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/re/Al-ShammariWVT11
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/re/Al-ShammariWVT11
阿里·法齐·纳杰姆·艾尔·沙马里，Komminist Weldemariam公司，阿道夫·维拉菲奥里塔，塞尔吉奥·特萨利斯:
通过开放标准进行投票验证：路线图。 REVOTE公司 2011:22-26
[电子2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/africom/2010
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/africom/2010
拉杜·波佩斯库·泽莱廷，伊德里斯·A·雷，卡尔·乔纳斯，阿道夫·维拉菲奥里塔:
2010年11月25日至26日，南非开普敦，2010年非洲司令部，第二届国际信通技术大会，发展中国家电子基础设施和电子服务，修订论文集。计算机科学、社会信息学和电信工程研究所讲稿64,施普林格 2011，国际标准图书编号978-3-642-23827-7 [目录]
2010
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/IEEAres/WeldemariamKV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/IEEAres/WeldemariamKV10
Komminist Weldemariam公司，理查德·凯默勒，阿道夫·维拉菲奥里塔:
电子投票系统的形式化描述与分析。 ARES公司 2010:164-171
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/africom/CiaghiV10型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/africom/CiaghiV10
亚伦·西吉，阿道夫·维拉菲奥里塔:
通过法律建模和业务流程再造改进公共管理。非洲司令部 2010:69-78
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 会议/危机/AsfawBEVW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/crisis/AsfawBEVW10
Biniyam Asfaw公司，达维特·贝克勒，比哈努·埃塞特，阿道夫·维拉菲奥里塔，Komminist Weldemariam公司:
用于普及医疗系统的基于主机的异常检测。 CRiSIS公司 2010:1至8
[公元24年]
- 看法
- 出口记录
  dblp键：
  - conf/ev/WeldemariamV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ev/WeldemariamV10
Komminist Weldemariam公司，阿道夫·维拉菲奥里塔:
调查：电子投票的发展和趋势。电子投票 2010:119-131
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icds/EsheteMVW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icds/EsheteMVW10
比哈努·埃塞特，安德烈亚·马蒂奥利，阿道夫·维拉菲奥里塔，Komminist Weldemariam公司:
信通技术造福人类：机遇、挑战和前进之路。 ICDS系统 2010:14-19
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icds/BekeleEVW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icds/BekeleEVW10
Dawit Bekele公司，比哈努·埃舍特，阿道夫·维拉菲奥里塔，Komminist Weldemariam公司:
普及医疗系统的上下文信息优化。 ICDS系统 2010:210-215
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icds/VillafioritaWSS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icds/VillafioritaWSS10
阿道夫·维拉菲奥里塔，Komminist Weldemariam公司，安吉洛·苏西，阿尔贝托·锡耶纳:
使用BPR和面向目标的框架对法律进行建模和分析。 ICDS系统 2010:353-358
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 非洲会议/2009
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/africom/2009
阿道夫·维拉菲奥里塔，雷吉斯·圣保罗，亚历山德罗·佐勒:
发展中国家电子基础设施和电子服务——2009年12月3日至4日在莫桑比克马普托举行的2009年非洲司令部第一届国际科学技术大会。诉讼程序。计算机科学、社会信息学和电信工程研究所讲稿38,施普林格 2010，国际标准图书编号电话：978-3-642-12700-7 [目录]

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/eg/BrylDFMV09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eg/BrylDFMV09
沃拉·布莱尔，法比亚诺·达尔皮亚斯，罗伯塔·费拉里奥，安德烈亚·马蒂奥利，阿道夫·维拉菲奥里塔:
评估程序选择：电子投票案例研究。电子。州长兼国际法官。 6(2):213-231(2009)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tifs/VillafioritaWT09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tifs/VillafioritaWT09
阿道夫·维拉菲奥里塔，Komminist Weldemariam公司，罗伯托·蒂埃拉:
使用VVPAT开发、正式验证和评估电子投票系统。 IEEE传输。Inf.法医安全。 4(4):651-661(2009)
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/africom/CiaghiVWMP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/africom/CiaghiVWMP09
亚伦·西吉，阿道夫·维拉菲奥里塔，Komminist Weldemariam公司，安德烈亚·马蒂奥利，Quoc-Sang Phan公司:
通过综合业务流程重组环境支持公共行政。非洲司令部 2009:50-59岁
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/危机/WeldemariamKV09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/crisis/WeldemariamKV09
Komminist Weldemariam公司，理查德·凯默勒，阿道夫·维拉菲奥里塔:
对电子投票系统攻击的形式化分析。 CRiSIS公司 2009:26-34
[c18]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/危机/WeldemariamVM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/crisis/WeldemariamVM09
Komminist Weldemariam公司，阿道夫·维拉菲奥里塔，安德烈亚·马蒂奥利:
电子投票系统的实验和数据分析。 CRiSIS公司 2009:105-112
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/egov/ShvaikoVZCFH09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/egov/ShvaikoVZCFH09
帕维尔·什瓦伊科，阿道夫·维拉菲奥里塔，亚历山德罗·佐勒，卢里诺·切马内，特奥托尼奥·富莫，Jussi Hinkkanen公司:
eGIF4M：莫桑比克电子政务互操作性框架。 EGOV公司 2009:328-340
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icds/CiaghiVM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icds/CiaghiVM09
亚伦·西吉，阿道夫·维拉菲奥里塔，安德烈亚·马蒂奥利:
VLPM：一种支持公共行政中业务流程再造的工具。 ICDS系统 2009:289-293
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/re/WeldemariamMV09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/re/WeldemariamMV09
Komminist Weldemariam公司，安德烈亚·马蒂奥利，阿道夫·维拉菲奥里塔:
电子投票系统的管理要求：问题和方法。 REVOTE公司 2009:29-37
2008
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/危机/WeldemariamV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/crisis/WeldemariamV08
Komminist Weldemariam公司，阿道夫·维拉菲奥里塔:
正式的过程安全建模和分析。 CRiSIS公司 2008:249-254
[第13条]
- 看法
- 出口记录
  dblp键：
  - conf/ev/WeldemariamV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ev/WeldemariamV08
Komminist Weldemariam公司，阿道夫·维拉菲奥里塔:
评估程序安全的方法：电子投票的案例研究。电子投票 2008:83年至94年
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iwsm/LongoTTV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iwsm/LongoTTV08
弗朗西丝卡·隆戈，罗伯托·蒂埃拉，保罗·托内拉，阿道夫·维拉菲奥里塔:
衡量不同类别软件演化的影响。 IWSM/Metrikon/Mensura公司 2008:344-351
[第11条]
- 看法
  - 电子版@usenix.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/us/WeldemariamV08公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/uss/WeldemariamV08
Komminist Weldemariam公司，阿道夫·维拉菲奥里塔:
（e）投票中程序安全的建模和分析：特伦蒂诺的方法和经验。电动汽车 2008
2007
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BozzanoV07
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/BuzzanoV07
马可·波扎诺，阿道夫·维拉菲奥里塔:
FSAP/NuSMV-SA安全分析平台。国际期刊软件。技术工具。Transf公司。 9(1):5-24(2007)
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pppj/TiellaVT07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pppj/TiellaVT07
罗伯托·蒂埃拉，阿道夫·维拉菲奥里塔，西尔维娅·托马西:
FSMC+是一种从状态图生成Java代码的工具。 PPPJ公司 2007:第93页至第102页
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/voteid/WeldemariamVM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/voteid/WeldemariamVM07网址
Komminist Weldemariam公司，阿道夫·维拉菲奥里塔，安德烈亚·马蒂奥利:
评估电子投票中的程序风险和威胁：挑战和方法。投票ID 2007:38-49
2003
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/BozzanoCCVV03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BozzanoCCVV03
马可·波扎诺，安东内拉·卡瓦洛，马西莫·西法尔迪，劳拉·瓦拉卡，阿道夫·维拉菲奥里塔:
改进复杂系统的安全评估：工业案例研究。失效模式与后果 2003:208-222
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/BozzanoV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/BozzanoV03
马可·波扎诺，阿道夫·维拉菲奥里塔:
通过模型检查提高系统可靠性：FSAP/NuSMV-SA安全分析平台。 SAFECOMP公司 2003:49至62

1990年至1999年

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1999
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ijis/BenerecettiGSV99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijis/BenerecettiGSV99
马西莫·贝内雷切蒂，恩里科·金奇利亚，卢西亚诺·塞拉菲尼，阿道夫·维拉菲奥里塔:
多智能体系统中信念的形式化描述。国际J.国际。系统。 14(10):1021-1040年(1999)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/CimattiPSTV99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/CimattiPSTV99
亚历山德罗·西马蒂，P.L.皮耶拉西尼，罗伯托·塞巴斯蒂安尼，保罗·特拉弗索，阿道夫·维拉菲奥里塔:
重要通信协议的正式规范和验证。形式方法世界大会 1999:1584-1604
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/safecomp/ChiappiniCPRSTV99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/safecomp/ChiappiniCPRSTV99
安吉洛·齐阿皮尼，亚历山德罗·西马蒂，卡门·波齐亚，G.罗通多，罗伯托·塞巴斯蒂安尼，保罗·特拉弗索，阿道夫·维拉菲奥里塔:
安全关键型列车管理系统的正式规范和开发。 SAFECOMP公司 1999:410-419
1998
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aimsa/SebastianiV98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aimsa/SebastianiV98
罗伯托·塞巴斯蒂安尼，阿道夫·维拉菲奥里塔:
基于SAT的正规模态逻辑决策程序：一个理论框架。 AIMSA公司 1998:377-388
[c3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aimsa/Villafiorita98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aimsa/Villafiorita98
阿道夫·维拉菲奥里塔:
抽象作为精化容差的一种形式。 AIMSA公司 1998:427-437
1997
[注2]
- 看法
  - 电子版@iospress.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/aicom/Giunchiglia VW97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/aicom/Giunchiglia大众97
福斯托·金奇利亚，阿道夫·维拉菲奥里塔，托比·沃尔什:
抽象理论。 AI通讯。 10(3-4):167-176(1997)
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/BundyGVW97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BundyGVW97
阿兰·邦迪，福斯托·金奇利亚，阿道夫·维拉菲奥里塔，托比·沃尔什:
抽象证明检查：一个由不完全性定理引发的示例。 J.自动化。原因。 19(三):319-346(1997)
1996
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ai/Giunchiglia SVW96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ai/GiunchigliaSVW96
福斯托·金奇利亚，罗伯托·塞巴斯蒂安尼，阿道夫·维拉菲奥里塔，托比·沃尔什:
抽象的通用推理机。人工智能 1996:323-335
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Giunchiglia 96版
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GiunchigliaV96
福斯托·金奇利亚，阿道夫·维拉菲奥里塔:
ABSFOL：带抽象的校对程序。 CADE公司 1996:136-140

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。