默认搜索操作

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

问别人

詹尼·赞佩德里

>主页 >珀森斯

人员信息

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

会议和研讨会文件

请参阅常见问题解答

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

2022
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rssrail/AmendolaBBCSFG22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rssrail/AmendolaBBCSFG22
阿图罗·阿蒙多拉,洛伦佐·巴鲁夫,马可·波扎诺,亚历山德罗·西马蒂,萨尔瓦多·德西蒙,尤金尼奥·费德利,阿特姆·加巴索夫,多梅尼科·埃内斯托·加鲁巴,马西米利亚诺·吉拉迪,戴安娜·塞拉,罗伯托·蒂埃拉,詹尼·赞佩德里:
列车运行自动控制系统的形式化设计与验证。 RSS邮件 2022:169-178
2016
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/aaai/BittnerBCZ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/BittnerBCZ16
本杰明·比特纳,马可·波扎诺,亚历山德罗·西马蒂,詹尼·赞佩德里:
故障传播模型的自动验证和拧紧。 AAAI公司 2016:907-913
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BittnerBCCGGMMZ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BittnerBCCGGMMZ16
本杰明·比特纳,马可·波扎诺,罗伯托·卡瓦达,亚历山德罗·西马蒂,马可·加里奥,阿尔贝托·格里乔,克里斯蒂安·马塔雷,安德烈亚·米凯利,詹尼·赞佩德里:
xSAP安全分析平台。 TACAS公司 2016:533-539

非正式出版物和其他出版物

请参阅常见问题解答

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

2015
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/BittnerBCCGGMMZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BittnerBCCGGMMZ15
本杰明·比特纳,马可·波扎诺,罗伯托·卡瓦达,亚历山德罗·西马蒂,马可·加里奥,阿尔贝托·格里乔,克里斯蒂安·马塔雷,安德烈亚·米凯利,詹尼·赞佩德里:
xSAP安全分析平台。 CoRR公司 abs/1504.07513(2015)

管理网站设置

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