默认搜索操作

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

问别人

克里斯蒂安·达克斯

>主页 >珀森斯

人员信息

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

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

2011
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/DaxK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/DaxK11
克里斯蒂安·达克斯,费利克斯·克莱特克:
嵌套词自动机的替代消去。 FoSSaCS公司 2011:168-183
2010
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/DaxKL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/DaxKL10
克里斯蒂安·达克斯,费利克斯·克莱特克,马丁·兰格:
关于带有过去的正则时态逻辑。信息学报 47(4):251-277(2010)

2000 – 2009

请参阅常见问题解答

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

2009
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DaxKL09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DaxKL09
克里斯蒂安·达克斯,费利克斯·克莱特克,斯特凡·洛伊:
口吃非变异正则属性的规范语言。 ATVA公司 2009:244-254
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/DaxKL09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/DaxKL09
克里斯蒂安·达克斯,费利克斯·克莱特克,马丁·兰格:
关于带过去的常规时间逻辑。 ICALP（二） 2009:175-187
2008
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/DaxK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/DaxK08
克里斯蒂安·达克斯,费利克斯·克莱特克:
通过补充消除替代（扩展摘要）。 LPAR公司 2008:214-229
2007
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DaxEK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DaxEK07
克里斯蒂安·达克斯,约钦·艾辛格,费利克斯·克莱特克:
限制类别的发电机组施工机械化欧米茄-自动化。 ATVA公司 2007:223-236
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BeckerDEK07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BeckerDEK07
伯恩德·贝克尔,克里斯蒂安·达克斯,约钦·艾辛格,费利克斯·克莱特克:
LIRA：处理线性算术对整数和实数的约束。 CAV汽车 2007:307-310
2006
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/DaxHL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/DaxHL06
克里斯蒂安·达克斯,马丁·霍夫曼,马丁·兰格:
线性时间微积分的证明系统。 FSTTCS公司 2006:273-284
2004
【c1】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/DaxL05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/DaxL05
克里斯蒂安·达克斯,马丁·兰格:
游戏结束：LTL可满足性和模型检查的Foci方法。 GDV@CAV 2004:33-49

管理网站设置

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