默认搜索操作

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

问别人

维克多·舒潘

>主页 >珀森斯

人员信息

附属： 瑞士苏黎世ETH

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2020
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ijait/Shuppan20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijait/Schuppan20
维克多·舒潘:
QBF的增强不可满足核：存在量词的通用性减弱。国际艺术杂志。智力。工具 29(04年3月):2060012:1-2060012:27(2020)

2010 – 2019

请参阅常见问题解答

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

2018
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictai/Schuppan18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictai/Schuppan18
维克多·舒潘:
QBF的增强不满足核：对存在量词的弱化普遍性。国际通信技术协会 2018:81-89
2016
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Schuppan16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Schuppan16
维克多·舒潘:
通过时间分辨率提取LTL的不可满足核心。信息学报 53(三):247-299(2016)
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Shuppan16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Schuppan16
维克多·舒潘:
利用时间相关性信息增强LTL的不可满足核心。西奥。计算。科学。 655:155-192(2016)
2013
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/time/Shuppan13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/time/Schuppan13
维克多·舒潘:
通过时间分辨率提取LTL的不满足核。时间 2013:54-61
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Schuppan13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Schuppan13
维克多·舒潘:
利用时间相关性信息增强LTL的不满意核心。 QAPL公司 2013:49-65
2012
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/Schuppan12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/Schuppan12
维克多·舒潘:
关于LTL的不可满足和不可实现核心的概念。科学。计算。程序。 77(7-8):908-939(2012)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-112-3884
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1212-3884
维克多·舒潘:
通过时间分辨率提取LTL的不满足核。 CoRR公司腹肌/1212.3884(2012)
2011
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/SchuppanD11会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/SchuppanD11
维克多·舒潘,卢特菲·达尔马旺:
评估LTL可满足性求解器。 ATVA公司 2011:397-413
2010
[第12条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BloemCGHKRSS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BloemCGHKRSS10
罗德里克·布隆,亚历山德罗·西马蒂,卡琳·格雷梅尔,乔治·霍夫雷克,罗伯特·科尼霍弗,马可·罗维里,维克多·舒潘,理查德·西伯:
RATSY——一种新的综合需求分析工具。 CAV汽车 2010:425-429

2000 – 2009

请参阅常见问题解答

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

2009
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsen/Shuppan09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsen/Shuppan09
维克多·舒潘:
LTL不可满足核心的概念。 FSEN公司 2009:129-145
2008
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mochart/EdelkampSBWFA08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mochart/EdelkampSBWFA08
斯特凡·埃德尔坎普,维克多·舒潘,德拉甘·博斯纳基,安东·威伊斯,安斯加·芬克,侯赛因·阿尔贾扎尔:
定向模型检验综述。 MoChArt公司 2008:65-89
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/CimatiRST08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/CimattiRST08
亚历山德罗·西马蒂,马可·罗维里,维克多·舒潘,安德烈·查尔兹夫:
可实现性诊断信息。 VMCAI公司 2008:52-67
2007
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CimattiRST07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CimattiRST07
亚历山德罗·西马蒂,马可·罗维里,维克多·舒潘,斯特凡诺·托内塔:
时态逻辑可满足性的布尔抽象。 CAV汽车 2007:532-546
2006
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/博士/舒潘2006
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/ch/Schuppan2006
维克多·舒潘:
活性检查作为安全检查，以找到线性时间特性的最短反例。苏黎世ETH，2006，国际标准图书编号3-89963-337-7，第1-151页
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BiereHJLS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BiereHJLS06
阿明·比尔,凯霍·赫尔扬科,汤米·A·琼蒂拉,蒂莫·拉塔瓦拉,维克多·舒潘:
有界LTL模型检查的线性编码。日志。方法计算。科学。 2(5)(2006)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-cs-0611029
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-cs-0611029
阿明·比尔,凯霍·赫尔扬科,汤米·A·琼蒂拉,蒂莫·拉塔瓦拉,维克多·舒潘:
有界LTL模型检查的线性编码。 CoRR公司腹肌/肌/0611029(2006)
2005
【c7】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ShuppanB05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/SchuppanB05
维克多·舒潘,阿明·比尔:
LTL与过去的符号模型检查的最简短反例。 TACAS公司 2005:493-509
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/ShuppanB06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/ShuppanB06
维克多·舒潘,阿明·比尔:
生命检查作为无限状态空间的安全检查。无穷 2005:79-96
2004
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/SchuppanB04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/SchuppanB04
维克多·舒潘,阿明·比尔:
将有限状态模型检查有效简化为可达性分析。国际期刊软件。工具技术。变压器。 5(2-3):185-204(2004)
[c5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ArthoSBEBZ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ArthoSBEBZ04
西里尔·阿瑟,维克多·舒潘,阿明·比尔,帕斯卡·尤格斯特,马塞尔·鲍尔,鲍里斯·兹韦米勒（Boris Zweimüller）:
JNuke：高效的Java动态分析。 CAV汽车 2004:462-465
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/SchuppanB05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/ShuppanBB05
维克多·舒潘,马塞尔·鲍尔,阿明·比尔:
Java中的JVM独立重播。 RV@电子地图 2004:85-104
2003
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/ShuppanB03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/SchuppanB03
维克多·舒潘,阿明·比尔:
使用SMV验证IEEE 1394 FireWire树标识协议。形式方面计算。 14(三):267-280(2003)
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BiereAHS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BiereAHS03
阿明·比尔,西里尔·阿瑟,马利克·哈罗德,维克多·舒潘:
形式方法组ETH Zürich。飞行管理信息系统 2003:289-293
2002
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BiereAS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BiereAS02
阿明·比尔,西里尔·阿瑟,维克多·舒潘:
生命检查即安全检查。飞行管理信息系统 2002:160-177
2000
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ewspt/SchuppanR00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ewspt/SchuppanR00
维克多·舒潘,温弗里德·鲁姆:
基于CMM的V型97评估。 EWSPT公司 2000:69-83

合著者索引

请参阅常见问题解答

管理网站设置

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