停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

巴哈勒巴德班

>主页 >珀森斯

人员信息

附属： 德国康斯坦茨大学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

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

2011
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/BadbanL11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/BadbanL11
巴哈勒巴德班,马丁·兰格:
使用SMT-Solver对时间自动机进行精确增量分析。格式 2011:177-192
2010
【c7】
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BadbanLS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BadbanLS10
巴哈勒巴德班,斯特凡·洛伊,Jan-Georg Smaus公司:
实时系统验证的自动不变量生成。 ETAPS时的机翼/国际JCAR 2010:44-58
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/BadbanD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/BadbanD10
巴哈勒巴德班,穆罕默德·托拉比·达什蒂:
通过约简的正则表达式的半线性Parikh图像。 MFCS公司 2010:653-664

2000 – 2009

请参阅常见问题解答

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

2009
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-0911-3277
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0911-3277
巴哈勒巴德班,斯特凡·洛伊,Jan-Georg Smaus公司:
实时模型的自动谓词提取。无穷 2009:36-43
【c4】
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Badban09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Badban09
巴哈勒巴德班:
决策图的术语重写技术。 TERMGRAPH@ETAPS（预计到达时间） 2009:39-54
2008
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wotug/BadbanFP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wotug/BadbanFP08
巴哈勒巴德班,万·J·福克金,雅各·范德波尔:
双向滑动窗口协议的机械验证。注册会计师 2008:179-202
2007
[j3]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/BadbanPTZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/BadbanPTZ07
巴哈勒巴德班,雅各·范德波尔,奥尔加·特维雷蒂纳,汉斯·赞特马:
推广DPLL和等式的可满足性。 Inf.计算。 205(8):1188-1211(2007)
2006
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/soqua/BadbanFPT06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/soqua/BadbanFPT06
巴哈勒巴德班,马丁·弗伦泽,简·佩莱斯卡,蒂诺·泰格:
混合系统的测试自动化。 SOQUA公司 2006:14-21
2005
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/BabanP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/BadbanP05
巴哈勒巴德班,雅各·范德波尔:
BDD中的零、继承和平等。 Ann.纯粹应用。日志。 133(1-3):101-123(2005)
[j1]
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BadbanFGPP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BadbanFGPP05
巴哈勒巴德班,万·J·福克金,简·弗里索·格鲁特,彭军（Jun Pang）,雅各布·范德波尔:
在µCRL和PVS中验证滑动窗口协议。形式方面计算。 17(三):342-388(2005)
2004
[c1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/FokkingGPBP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/FokkinkGPBP04
万·J·福克金,简·弗里索·格鲁特,彭军（Jun Pang）,巴哈勒巴德班,雅各布·范德波尔:
验证µCRL中的滑动窗口协议。 AMAST公司 2004:148-163

合著者索引

请参阅常见问题解答

服务

管理网站设置

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