默认搜索操作

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

问别人

Jochen Hoenicke公司

>主页 >珀森斯

人员信息

附属： 以色列特拉维夫Certora
隶属关系（以前）： 德国弗莱堡大学

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2023
[公元41年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HenkelHS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HenkelHS23
伊丽莎白·汉克尔,Jochen Hoenicke公司,坦尼娅·辛德勒:
选择颜色：SMT中量化公式的树插值。 CADE公司 2023:248-265
[公元40年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HeizmannBDFHKNSPSP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HeizmannBDFHKNSSP23
马蒂亚斯·海兹曼,马克斯·巴思,丹尼尔·迪奇,伦纳德·费希特纳,Jochen Hoenicke公司,多米尼克·克伦普,Mehdi Naouar公司,坦尼娅·辛德勒,弗兰克·舒赛尔,安德烈亚斯·波德尔斯基:
终极Automizer和CommuHash范式-（竞争贡献）。 TACAS（2） 2023:577-581
[i11]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2305-11667
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2305-11667
伊丽莎白·汉克尔,Jochen Hoenicke公司,坦尼娅·辛德勒:
选择您的颜色：SMT中量化公式的树插值。 CoRR公司 abs/2305.11667(2023)
2022
[公元39年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/smt/Hoenicke22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smt/HoenickeS22
Jochen Hoenicke公司,坦尼娅·辛德勒:
SMT的简单证明格式。表面贴装技术 2022:54-70
2021
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/PadonHMPSS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/PadonHMPSS21
奇怪的帕顿,Jochen Hoenicke公司,肯尼思·麦克米兰,安德烈亚斯·波德尔斯基,穆利·萨吉夫,莎伦·肖姆:
证明无限状态系统时间特性的时间预言。形式方法系统。设计。 57(2):246-269(2021)
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/netys/DietschHHNP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/netys/DietschHHNP21
丹尼尔·迪奇,马蒂亚斯·海兹曼,Jochen Hoenicke公司,亚历山大·纳茨,安德烈亚斯·波德尔斯基:
在基于逻辑的中间验证语言中分离映射变量。网络 2021:169-186
[公元37年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/smt/HenkelHS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smt/HenkelHS21
伊丽莎白·汉克尔,Jochen Hoenicke公司,坦尼娅·辛德勒:
等式理论中量化公式的保证明树序列插值。表面贴装技术 2021:3-16
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Hoenicke21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/HoenickeS21
Jochen Hoenicke公司,坦尼娅·辛德勒:
使用电子匹配增量搜索量化公式的冲突和单元实例。 VMCAI公司 2021:534-555
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2106-00966
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2106-00966
奇怪的帕顿,Jochen Hoenicke公司,肯尼思·麦克米兰,安德烈亚斯·波德尔斯基,穆利·萨吉夫,莎伦·肖姆:
证明无限状态系统时间特性的时间预言。 CoRR公司 abs/2106.00966(2021)

2010 – 2019

请参阅常见问题解答

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

2019
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/re/LangenfeldDWHP19文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/re/LangenfeldDWHP19
文森特·兰恩菲尔德,丹尼尔·迪奇,伯恩德·韦斯特法尔,Jochen Hoenicke公司,阿玛琳达邮报:
实时需求的可扩展分析。重新 2019:234-244
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/Hoenicke19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/HoenickeS19
Jochen Hoenicke公司,坦尼娅·辛德勒:
基于弱等价的常数数组的求解和插值。 VMCAI公司 2019:297-317
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1907-03998
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1907-03998
丹尼尔·迪奇,马蒂亚斯·海兹曼,Jochen Hoenicke公司,亚历山大·纳茨,安德烈亚斯·波德尔斯基:
Ultimate TreeAutomizer（CHC-COMP工具描述）。 HCVS公司/PERR@ETAPS（预计到达时间） 2019:42-47
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1901-01915
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1901-01915
丹尼尔·迪奇,马蒂亚斯·海兹曼,Jochen Hoenicke公司,亚历山大·纳茨,安德烈亚斯·波德尔斯基:
不同用途的不同地图。中间验证语言的程序转换。 CoRR公司 abs/1901.01915(2019)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1904-11381
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1904-11381
Jochen Hoenicke公司,坦尼娅·辛德勒:
插值和数组属性片段。 CoRR公司 abs/1904.11381(2019)
2018
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/PadonHLPSS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/PadonHLPSS18
奇怪的帕顿,Jochen Hoenicke公司,朱利亚诺·洛萨,安德烈亚斯·波德尔斯基,穆利·萨吉夫,莎伦·肖姆:
在一阶逻辑中，将活跃性降低到安全性。程序。ACM计划。语言。 2(POPL公司):26:1-26:33(2018)
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Hoenicke18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HoenickeS18
Jochen Hoenicke公司,坦尼娅·辛德勒:
阵列理论的有效插值。国际JCAR 2018:549-565
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/PadonHMPSS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/PadonHMPSS18
奇怪的帕顿,Jochen Hoenicke公司,肯尼思·麦克米兰,安德烈亚斯·波德尔斯基,穆利·萨吉夫,莎伦·肖姆:
证明无限状态系统时间特性的时间预言。 FMCAD公司 2018:1-11
[公元30年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HeizmannCDGHLNM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HeizmannCDGHLNM18
马蒂亚斯·海兹曼,陈玉芳,丹尼尔·迪奇,马吕斯·格雷特斯,Jochen Hoenicke公司,李勇,亚历山大·纳茨,贝蒂姆·穆萨,克里斯蒂安·席林,坦尼娅·辛德勒,安德烈亚斯·波德尔斯基:
终极Automizer和寻找完美插值-（竞争贡献）。 TACAS（2） 2018:447-451
[公元29年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DietschGHHNPSS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DietschGHHNPSS18
丹尼尔·迪奇,马吕斯·格雷特斯,马蒂亚斯·海兹曼,Jochen Hoenicke公司,亚历山大·纳茨,安德烈亚斯·波德尔斯基,克里斯蒂安·席林,坦尼娅·辛德勒:
具有动态块编码的终极Taipan-（竞争贡献）。 TACAS（2） 2018:452-456
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/HoenickeNP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/HoenickeNP18
Jochen Hoenicke公司,亚历山大·纳茨,安德烈亚斯·波德尔斯基:
一种基于树的数据流校对方法。 VSTTE公司 2018:1-16
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/DietschHHNP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/DietschHHNP18
丹尼尔·迪奇,马蒂亚斯·海兹曼,Jochen Hoenicke公司,亚历山大·纳茨,安德烈亚斯·波德尔斯基:
映射相等域。 VSTTE公司 2018:291-308
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1804-07173
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1804-07173
Jochen Hoenicke公司,坦尼娅·辛德勒:
阵列理论的有效插值。 CoRR公司 abs/1804.07173(2018)
2017
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/霍尼克MP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HoenickeMP17
Jochen Hoenicke公司,鲁帕克·马朱姆达尔,安德烈亚斯·波德尔斯基:
多层次的线程模块化：组成验证中的一颗明珠。 POPL公司 2017:473-485
[公元25年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/smt/Hoenicke17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smt/HoenickeS17网址
Jochen Hoenicke公司,坦尼娅·辛德勒:
阵列理论的有效插值。表面贴装技术 2017:76-88
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/ChristHN17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ChristHN17
尤根基督,Jochen Hoenicke公司,亚历山大·纳茨:
保护证明树插值。 CoRR公司 abs/1705.05309(2017)
2016
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/罐子/圣诞节16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ChristH16
尤根基督,Jochen Hoenicke公司:
保护树插值的证明树。 J.汽车。原因。 57(1):67-95(2016)
2015
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Hoenicke15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/HoenickeP15
Jochen Hoenicke公司,安德烈亚斯·波德尔斯基:
无限控制的公平性。正确的系统设计 2015:33-43
[c23]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChristH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChristH15
尤根基督,Jochen Hoenicke公司:
切割混合物。 CAV（2） 2015:37-52
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/ChristH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/ChristH15
尤根基督,Jochen Hoenicke公司:
弱等效阵列。 FroCos公司 2015:119-134
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lata/FarzanHHKP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lata/FarzanHHKP15
阿扎德·法尔赞,马蒂亚斯·海兹曼,Jochen Hoenicke公司,扎卡里·金凯德,安德烈亚斯·波德尔斯基:
自动程序验证。拉丁美洲旅游协会 2015:25-46
2014
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HeizmannHP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HeizmannHP14
马蒂亚斯·海兹曼,Jochen Hoenicke公司,安德烈亚斯·波德尔斯基:
通过学习终止程序进行终止分析。腔静脉 2014:797-813
[第19条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/smt/圣诞节14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smt/ChristH14
尤根基督,Jochen Hoenicke公司:
弱等效阵列。表面贴装技术 2014:39-49
[第18条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HeizmannCDHLMSWP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HeizmannCDHLMSWP14
马蒂亚斯·海兹曼,尤根基督,丹尼尔·迪奇,Jochen Hoenicke公司,马库斯·林登曼,贝蒂姆·穆萨,克里斯蒂安·席林,斯特凡·维瑟特,安德烈亚斯·波德尔斯基:
具有不可满足内核的终极Automizer-（竞争贡献）。 TACAS公司 2014:418-420
[第17条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ErmisNDHP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ErmisNDHP14
埃夫伦·埃尔米斯,亚历山大·纳茨,丹尼尔·迪奇,Jochen Hoenicke公司,安德烈亚斯·波德尔斯基:
终极Kojak-（竞争贡献）。 TACAS公司 2014:421-423
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Heizmann HLP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HeizmannHLP14
马蒂亚斯·海兹曼,Jochen Hoenicke公司,简·雷克,安德烈亚斯·波德尔斯基:
线性套索程序的线性排名。 CoRR公司 abs/1401.5347(2014)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HeizmannHP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HeizmannHP14
马蒂亚斯·海兹曼,Jochen Hoenicke公司,安德烈亚斯·波德尔斯基:
通过学习终止程序进行终止分析。 CoRR公司 abs/1405.4189(2014)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/ChristH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ChristH14
尤根基督,Jochen Hoenicke公司:
弱等效数组。 CoRR公司 abs/1405.6939(2014)
2013
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/HeizmannHLP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/HeizmannHLP13
马蒂亚斯·海兹曼,Jochen Hoenicke公司,简·雷克,安德烈亚斯·波德尔斯基:
线性套索程序的线性排名。 ATVA公司 2013:365-380
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HeizmannHP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HeizmannHP13
马蒂亚斯·海兹曼,Jochen Hoenicke公司,安德烈亚斯·波德尔斯基:
为热爱Automata的人进行软件模型检查。腔静脉 2013:36-52
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChristHN13会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChristHN13
尤根基督,Jochen Hoenicke公司,亚历山大·纳茨:
保护证明树插值。 TACAS公司 2013:124-138
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HeizmannCDEHLNSP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HeizmannCDEHLNSP13
马蒂亚斯·海兹曼,尤根基督,丹尼尔·迪奇,埃夫伦·埃尔米斯,Jochen Hoenicke公司,马库斯·林登曼,亚历山大·纳茨,克里斯蒂安·席林,安德烈亚斯·波德尔斯基:
使用SMTInterpol的Ultimate Automizer-（竞争贡献）。 TACAS公司 2013:641-643
2012
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记帐/re/PostMHP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/re/PostMHP12
阿玛琳达邮报,伊戈尔·门泽尔,Jochen Hoenicke公司,安德烈亚斯·波德尔斯基:
以规范模式系统表示的汽车行为要求：博世的案例研究。要求。工程师。 17(1):19-33(2012)
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/ChristHN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/ChristHN12
尤根基督,Jochen Hoenicke公司,亚历山大·纳茨:
SMTInterpol：插值SMT解算器。自旋蛋白 2012:248-254
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/ErmisHP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/ErmisHP12
埃夫伦·埃尔米斯,Jochen Hoenicke公司,安德烈亚斯·波德尔斯基:
通过插值进行分割。 VMCAI公司 2012:186-201
[c10]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/PostH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/PostH12
阿玛琳达邮报,Jochen Hoenicke公司:
实时需求的形式化和分析：BOSCH的可行性研究。 VSTTE公司 2012:225-240
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1205-6527
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1205-6527
尤根基督,Jochen Hoenicke公司,马丁·施瓦夫:
走向有界不可行代码检测。 CoRR公司 abs/1205.6527(2012)
2011
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/PostHP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/PostHP11
阿玛琳达邮报,Jochen Hoenicke公司,安德烈亚斯·波德尔斯基:
rt-不一致性：实时需求的新特性。 FASE公司 2011:34-49
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/re/PostHP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/re/PostHP11
阿玛琳达邮报,Jochen Hoenicke公司,安德烈亚斯·波德尔斯基:
模糊的实时要求。重新 2011:153-162
2010
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/HoenickeLPSW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/HoenickeLPSW10
Jochen Hoenicke公司,K.鲁斯坦·莱诺,安德烈亚斯·波德尔斯基,马丁·施瓦夫,托马斯·维斯:
末日计划点数。形式方法系统。设计。 37(2-3):171-199(2010)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/HoenickeMO10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/HoenickeMO10
Jochen Hoenicke公司,罗兰·梅耶,Ernst-Rüdiger Olderog公司:
Kleene、Rabin和Scott都有空。 CONCUR公司 2010:462-477
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/HeizmannHP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/HeizmannHP10
马蒂亚斯·海兹曼,Jochen Hoenicke公司,安德烈亚斯·波德尔斯基:
嵌套插值。 POPL公司 2010:471-482
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HoenickeOP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HoenickeOP10
Jochen Hoenicke公司,Ernst-Rüdiger Olderog公司,安德烈亚斯·波德尔斯基:
动态控制的公平性。 TACAS公司 2010:251-265
[i1]
- 看法
  - 电子版@dagstuhl.de（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/ChristH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/ChristH10
尤根基督,Jochen Hoenicke公司:
量化公式的基于实例化的插值。软件、硬件和生物制品的决策程序 2010

2000 – 2009

请参阅常见问题解答

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

2009
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/HoenickeLPSW09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/HoenickeLPSW09
Jochen Hoenicke公司,K.鲁斯坦·莱诺,安德烈亚斯·波德尔斯基,马丁·施瓦夫,托马斯·维斯:
它注定了；我们可以证明这一点。 FM公司 2009:338-353
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/HeizmannHP09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/HeizmannHP09
马蒂亚斯·海兹曼,Jochen Hoenicke公司,安德烈亚斯·波德尔斯基:
痕迹提取的细化。 SAS公司 2009:69-85
2008
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/MeyerFHR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fic/MeyerFHR08
罗兰·梅耶,约翰内斯·费伯,Jochen Hoenicke公司,安德烈·里巴尔琴科:
模型检查持续时间微积分：一种实用方法。形式方面计算。 20(4-5):481-505(2008)
2006
【b1】
- 看法
  - 没有参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 2006年博士/博士/霍尼克
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/de/Hoenicke2006年
Jochen Hoenicke公司:
过程、数据和时间的组合。卡尔·冯·奥斯西茨基奥尔登堡大学，2006，第1-203页
2005
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/HoenickM05文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/HoenickeM05
Jochen Hoenicke公司,帕特里克·迈尔:
集成过程、数据和时间的规范的模型检查。 FM公司 2005:465-480
2002
[j1]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/njc/HoenickeO02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/njc/HoenickeO02
Jochen Hoenicke公司,Ernst-Rüdiger Olderog公司:
CSP-OZ-DC：过程、数据和时间规范技术的组合。 Nord.J.计算。 9(4):301-334(2002)
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/HoenickeO02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/HoenickeO02网站
Jochen Hoenicke公司,Ernst-Rüdiger Olderog公司:
过程、数据和时间的组合规范技术。国际单项体育联合会 2002:245-266

合著者索引

请参阅常见问题解答

管理网站设置

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