停止战争！

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

对于科学家：

默认搜索操作

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

问别人

费利克斯·克莱特克

费利克斯·克里斯托弗·克莱特克

>主页 >珀森斯

人员信息

附属： NEC欧洲实验室，德国海德堡
隶属关系（前）： 瑞士苏黎世ETH
从属关系（2004年博士）： 德国弗莱堡大学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2024
[i6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/corr/abs-2404-15723
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2404-15723
费利克斯·克莱特克:
POLIMON：在运行时检查无序流的时间属性。 CoRR公司 abs/2404.15723(2024)
2021
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/eucnc/VillaltaMCMLDPKK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eucnc/VillaltaMCMLDPKK21
里卡德·维拉塔,劳尔·穆尼奥斯,拉蒙·卡塞勒斯,里卡多·马丁内斯,维克托·洛佩斯,奥斯卡·冈萨雷斯,安东尼奥·帕斯特,乔治奥斯·卡齐卡斯（Georgios P.Katsikas）,费利克斯·克莱特克,保罗·蒙蒂,阿尔贝托·莫佐,托马斯·津纳,哈拉尔德·弗比,塞尔吉奥·冈萨雷斯-迪亚兹,哈肯·Lónsethagen,何塞-米盖尔·普利多,丹尼尔·金:
TeraFlow：用于SDN流Tera的安全自主流量管理。 EuCNC/6G峰会 2021:377-382
2020
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tocl/BasinKZ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/BasinKZ20
大卫·A·巴思,费利克斯·克莱特克,尤根·扎利内斯库:
无序流的运行时验证。 ACM事务处理。计算。日志。 21(1):5:1-5:43(2020)

2010 – 2019

请参阅常见问题解答

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

2019
[公元19年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BartocciFBCDHJK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BartocciFBCDHJK19
埃齐奥·巴托西,伊利耶斯·法尔科内,Borzoo Bonakdarpour公司,克里斯蒂安·科伦坡,诺曼·戴克,克劳斯·哈维隆德,Yogi Joshi（瑜伽大师）,费利克斯·克莱特克,里德·米列维茨,贾尔斯·雷格尔,格里戈·罗苏,朱利安·西莫尔斯,丹尼尔·托马,尤根·扎利内斯库,张毅（音）:
第一届国际运行时验证竞赛：CRV 2014的规则、基准、工具和最终结果。国际期刊软件。技术工具。Transf公司。 21(1):31-70(2019)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-11593
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-11593
大卫·A·巴思,费利克斯·克莱特克,尤根·扎利内斯库:
无序流上的运行时验证。 CoRR公司 abs/1909.11593(2019)
2018
[公元18年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/访问/ArfaouiBBBEFKNN18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/access/ArfaouiBBBEFKNN18
加达·阿尔法维,帕斯卡·比森,罗尔夫·布洛姆,拉维桑卡尔·博尔甘卡尔,哈坎英语,伊迪丝·费利克斯,费利克斯·克莱特克,Prajwol Kumar Nakarmi公司,垫子Näslund,奥汉隆码头,朱里·帕佩,贾尼·索马莱宁,迈克·瑟里奇,Jean-Philippe Wary女士,亚历山大·扎哈里耶夫:
5G网络的安全架构。 IEEE接入 6:22466-22479(2018)
[公元17年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/BasinKZ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/BasinKZ18
大卫·A·巴思,费利克斯·克莱特克,尤根·扎利内斯库:
用于监视实时属性的算法。信息学报 55(4):309-338(2018)
2017
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/盆地KZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BasinKZ17
大卫·A·巴思,费利克斯·克莱特克,尤根·扎利内斯库:
无序数据流上时间属性的运行时验证。 CAV（1） 2017:356-376
[公元34年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/rv/水池KZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rv/BasinKZ17
大卫·A·巴思,费利克斯·克莱特克,尤根·扎利内斯库:
MonPoly监控工具。 RV-CuBES汽车 2017:19-28
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/BasinKZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BasinKZ17
大卫·A·巴思,费利克斯·克莱特克,尤根·扎利内斯库:
无序数据流上时间属性的运行时验证。 CoRR公司 abs/1707.05555(2017)
2016
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fmsd/BasinCEHKM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/BasinCEHKM16
大卫·A·巴思,Germano Caronni公司,莎拉·埃雷思,马图斯·哈文,费利克斯·克莱特克,海科·曼特尔:
临时规范的可扩展离线监控。形式方法系统。设计。 49(1-2):75-108(2016)
[j15]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tifs/CuiKKB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tifs/CuiKK16
亨翠,加桑·O·卡拉姆,费利克斯·克莱特克,罗伯托·比富尔科:
关于软件定义网络的指纹识别。 IEEE传输。Inf.法医安全。 11(10):2160-2173(2016)
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcomm/GkounisKBK16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcomm/GkounisKBK16
迪米特里奥斯·格库尼斯,费利克斯·克莱特克,罗伯托·比富尔科,加桑·O·卡拉姆:
包含SDN参考监视器的情况。 SIGCOMM公司 2016:599-600
2015
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fmsd/BasinKMZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/BasinKMZ15
大卫·A·巴思,费利克斯·克莱特克,斯尔詹·马里诺维奇,尤根·扎利内斯库:
使用聚合监测时间一阶属性。形式方法系统。设计。 46(三):262-285(2015)
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ip/BasinKZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ipl/BasinKZ15
大卫·A·巴思,费利克斯·克莱特克,尤根·扎利内斯库:
贪婪地计算滑动窗口上的关联聚合。信息处理。莱特。 115(2):186-192(2015)
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jacm/BasinKMZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jacm/BasinKMZ15
大卫·A·巴思,费利克斯·克莱特克,塞缪尔·米勒,尤根·扎利内斯库:
监视度量一阶时间属性。美国临床医学杂志 62(2):15:1-15:45(2015)
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/FriedmannKL15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/FriedmannKL15
奥利弗·弗里德曼,费利克斯·克莱特克,马丁·兰格:
基于Ramsey的可视下推自动机包含检查。 ACM事务处理。计算。日志。 16(4):34:1-34:24(2015)
[公元32年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/BasinKZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/BasinKZ15
大卫·A·巴思,费利克斯·克莱特克,尤根·扎利内斯库:
分布式系统的故障感知运行时验证。 FSTTCS公司 2015:590-603
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icnp/BifulcocCKK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icnp/BifulcoCKK15
罗伯托·比富尔科,亨翠,加桑·O·卡拉姆,费利克斯·克莱特克:
指纹软件定义的网络。 ICNP公司 2015:453-459
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/netsoft/KlaedtkeKBC15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/netsoft/KlaedtkeKBC15
费利克斯·克莱特克,加桑·O·卡拉姆,罗伯托·比富尔科,亨翠:
SDN中访问流的访问控制方案。 NetSoft公司 2015:1-6
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/CuiKKB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CuiKKB第15页
亨翠,加桑·O·卡拉姆,费利克斯·克莱特克,罗伯托·比富尔科:
指纹软件定义的网络。 CoRR公司 abs/1512.06585(2015)
2014
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ip/BasinJKZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ipl/BasinJKZ14
大卫·A·巴思,卡洛斯·科特里尼·吉梅内斯,费利克斯·克莱特克,尤根·扎利内斯库:
决定TPTL的安全性和活力。信息处理。莱特。 114(12):680-688(2014)
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/古铁雷斯KL14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GutierrezKL14
朱利安·古铁雷斯,费利克斯·克莱特克,马丁·兰格:
μ-演算交替层次在连接受限的结构上崩溃。理论。计算。科学。 560:292-306(2014)
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rv/盆地CEHKM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rv/BasinCEHKM14
大卫·A·巴思,Germano Caronni公司,莎拉·埃雷思,马图斯·哈文,费利克斯·克莱特克,海科·曼特尔:
可扩展的脱机监视。 RV汽车 2014:31-47
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rv/水池KMZ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rv/BasinKMZ14
大卫·A·巴思,费利克斯·克莱特克,斯尔詹·马里诺维奇,尤根·扎利内斯库:
关于不精确时间戳的实时监控。 RV汽车 2014:193-198
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sigcomm/KlaedtkeKBC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sigcomm/KlaedtkeKBC14
费利克斯·克莱特克,加桑·O·卡拉姆,罗伯托·比富尔科,亨翠:
SDN控制器的访问控制。热SDN 2014:219-220
2013
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tissec/BasinJKZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tissec/BasinJKZ13
大卫·A·巴思,文森特·朱格,费利克斯·克莱特克,尤根·扎利内斯库:
重新审查可强制执行的安全策略。 ACM事务处理。信息系统。安全。 16(1):三(2013)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tse/BasinHKZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tse/BasinHKZ13
大卫·A·巴思,马图斯·哈文,费利克斯·克莱特克,尤根·扎林斯库:
监视分布式系统中的数据使用。 IEEE传输。软件工程。 39(10):1403-1426(2013)
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/FriedmannKL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/FriedmannKL13
奥利弗·弗里德曼,费利克斯·克莱特克,马丁·兰格:
拉姆齐明显被推倒。 ICALP（二） 2013:224-237
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rv/水池KMZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rv/BasinKMZ13
大卫·A·巴思,费利克斯·克莱特克,斯尔詹·马里诺维奇,尤根·扎利内斯库:
使用聚合监视时间一阶属性。 RV汽车 2013:40-58
2012
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/HvitvedKZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/HvitvedKZ12
汤姆·赫维特,费利克斯·克莱特克,尤根·扎利内斯库:
多方合同的基于跟踪的模型。 J.日志。代数方法课程。 81(2):72-98(2012)
[公元24年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/post/BasinJKZ12文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/post/BasinJKZ12
大卫·A·巴思,文森特·朱格,费利克斯·克莱特克,尤根·扎利内斯库:
重新审查可强制执行的安全策略。邮政 2012:309-328
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rv/水池KMZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rv/BasinKMZ12
大卫·A·巴思,费利克斯·克莱特克,斯尔詹·马里诺维奇,尤根·扎利内斯库:
监控不完整和不一致日志的合规政策。 RV汽车 2012:151-167
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1210-2455
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1210-2455
朱利安·古铁雷斯,费利克斯·克莱特克,马丁·兰格:
具有受限连接的结构上的μ-演算交替层次崩溃。甘道夫 2012:113-126
2011
【c21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/DaxK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/DaxK11
克里斯蒂安·达克斯,费利克斯·克莱特克:
嵌套词自动机的替代消去。 FoSSaCS公司 2011:168-183
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rv/水池KZ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rv/BasinKZ11
大卫·A·巴思,费利克斯·克莱特克,尤根·扎利内斯库:
用于监控实时属性的算法。 RV汽车 2011:260-275
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rv/盆地HKZ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rv/BasinHKZ11
大卫·A·巴思,马图斯·哈文,费利克斯·克莱特克,尤根·扎利内斯库:
MONPOLY：监控使用控制策略。 RV汽车 2011:360-364
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/时间/盆地HKZ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/time/BasinHKZ11
大卫·A·巴思,马图斯·哈文,费利克斯·克莱特克,尤根·扎利内斯库:
监控分布式系统中的使用控制策略。时间 2011:88-95
[i2]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/tableaux/Klaedtke11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/Klaedtke11
费利克斯·克莱特克:
监视一阶时间属性。 TABLEAUX（研讨会、教程和短文） 2011:6
2010
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/DaxKL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/DaxKL10
克里斯蒂安·达克斯,费利克斯·克莱特克,马丁·兰格:
关于常规时间逻辑与过去。信息学报 47(4):251-277(2010)
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iadc/Klaedtke10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/Klaedtke10
费利克斯·克莱特克:
Ehrenfeucht-Fraíssé自动进行真正的加法。 Inf.计算。 208(11):1283-1295(2010)
[第17条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/盆地KM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BasinKM10
大卫·A·巴思,费利克斯·克莱特克,塞缪尔·米勒:
一阶时序逻辑中的策略监控。 CAV汽车 2010:1-18
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sacmat/面盆KM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sacmat/BasinKM10
大卫·A·巴思,费利克斯·克莱特克,塞缪尔·米勒:
使用度量一阶时序逻辑监视安全策略。 SACMAT公司 2010:23-34

2000 – 2009

请参阅常见问题解答

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

2009
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/达克斯KL09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DaxKL09
克里斯蒂安·达克斯,费利克斯·克莱特克,斯特凡·洛伊:
口吃非变异正则属性的规范语言。 ATVA公司 2009:244-254
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/DaxKL09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/DaxKL09
克里斯蒂安·达克斯,费利克斯·克莱特克,马丁·兰格:
关于带过去的常规时间逻辑。 ICALP（二） 2009:175-187
2008
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/EisingerK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/EisingerK08
约钦·艾辛格,费利克斯·克莱特克:
不要把应用程序中的单词放在基于自动机的方法中进行真正的加法。形式方法系统。设计。 33(1-3):85-115(2008)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/Klaedtke08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/Klaedtke08
费利克斯·克莱特克:
Presburger算法的自动机大小的边界。 ACM事务处理。计算。日志。 9(2):11:1-11:34(2008)
[第13条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/BasinKMP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/BasinKMP08
大卫·A·巴思,费利克斯·克莱特克,塞缪尔·米勒,比吉特·普菲茨曼:
度量一阶时间属性的运行时监视。 FSTTCS公司 2008:49-60
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/DaxK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/DaxK08
克里斯蒂安·达克斯,费利克斯·克莱特克:
互补交替消除（扩展摘要）。 LPAR公司 2008:214-229
[第11条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/stasts/Klaedtke08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stacs/Klaedtke08
费利克斯·克莱特克:
Ehrenfeucht-Fraíssé自动进行实际加法。 STACS公司 2008:445-456
2007
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/DaxEK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/DaxEK07
克里斯蒂安·达克斯,约钦·艾辛格,费利克斯·克莱特克:
限制等级的发电机组机械化施工欧米茄-自动化。 ATVA公司 2007:223-236
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BeckerDEK07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BeckerDEK07网址
伯恩德·贝克尔,克里斯蒂安·达克斯,约钦·艾辛格,费利克斯·克莱特克:
LIRA：处理线性算术对整数和实数的约束。 CAV汽车 2007:307-310
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/KlaedtkeRS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/KlaedtkeRS07
费利克斯·克莱特克,斯特凡·拉思坎（Stefan Ratschan）,知坤社:
用于混合系统验证的基于语言的抽象精化。 VMCAI公司 2007:151-166
2006
【c7】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/EisingerK06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/EisingerK06
约钦·艾辛格,费利克斯·克莱特克:
将单词应用于基于自动机的实加法时，不要在意单词。 CAV汽车 2006:67-80
2005
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/AbrahamBKS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/AbrahamBKS05
埃里卡·阿布拉哈姆,伯恩德·贝克尔,费利克斯·克莱特克,马丁·斯特芬:
线性混合系统的优化有界模型检验。 VMCAI公司 2005:396-412
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-cs-0506008
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-cs-0506008
费利克斯·克莱特克:
Presburger算法的自动机大小边界。 CoRR公司 abs/cs/0506008(2005)
2004
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/博士/Klaedtke2004
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/de/Klaedtke2004
费利克斯·克里斯托弗·克莱特克:
基于自动机的弱算术决策过程。弗莱堡大学，弗莱堡im Breisgau，德国，2004，第1-168页
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Klaedtke04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Klaedtke04
费利克斯·克莱特克:
关于Presburger算法的自动机大小。低收入国家 2004:110-119
[第1页]
- 看法
- 出口记录
  dblp键：
  - conf/gi/Klaedtke04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gi/Klaedtke04
费利克斯·克莱特克:
Automatenbasierte Entscheidungsverfahren für Teilsysteme der Arithmetik公司。 Ausgezeichnete信息发布 2004:65-74
2003
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AyariBK03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AyariBK03
阿卜杜勒瓦赫布·阿亚里,大卫·A·巴思,费利克斯·克莱特克:
基于交替自动机的归纳布尔函数的决策过程。理论。计算。科学。 300(1-3):301-329(2003)
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/KlaedtkeR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/KlaedtkeR03
费利克斯·克莱特克,哈拉尔德街:
具有基数的一元二阶逻辑。 ICALP公司 2003:681-696
2001
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Klaedtke01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Klaedtke01
费利克斯·克莱特克:
WS1S扩展的决策程序。 CSL公司 2001:384-398
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dagstuhl/Klaedtke01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/Klaedtke01
费利克斯·克莱特克:
使用交替对Büchi自动机进行补充。自动机、逻辑和无限游戏 2001:61-78
2000
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AyariBK00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AyariBK00
阿卜杜勒瓦赫布·阿亚里,大卫·A·巴思,费利克斯·克莱特克:
基于交替自动机的归纳布尔函数的决策过程。 CAV汽车 2000:170-185

合著者索引

请参阅常见问题解答

服务

管理网站设置

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