停止战争！

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

对于科学家：

默认搜索操作

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

问别人

汤米·A·琼蒂拉

>主页 >珀森斯

人员信息

附属： 芬兰阿尔托大学

其他同名人员

请参阅常见问题解答

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2021
[第2页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/Drechsler JN21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/DrechslerJN21
罗尔夫·德雷克斯勒,汤米·A·琼蒂拉,伊尔卡·尼梅莱:
非条款SAT和ATPG。可满足性手册 2021:1047-1086
2020
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/JunttilaKK20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/JunttilaKKK20
汤米·A·琼蒂拉,马蒂·卡帕,佩特里·卡斯基,Jukka Kohonen公司:
用于对称减少的自适应前缀分配技术。 J.塞姆。计算。 99:21至49(2020)

2010年至2019年

请参阅常见问题解答

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

2017
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/JunttilaKKK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/JunttilaKKK17
汤米·A·琼蒂拉,马蒂·卡帕,佩特里·卡斯基,Jukka Kohonen公司:
一种用于对称约简的自适应前缀分配技术。坐 2017:101-118
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/JunttilaKKK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JunttilaKKK17
汤米·A·琼蒂拉,马蒂·卡帕,佩特里·卡斯基,Jukka Kohonen公司:
用于对称减少的自适应前缀分配技术。 CoRR公司 abs/1706.08325(2017)
2014
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/LaitinenJN14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/LaitinenJN14
特罗·莱蒂宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
对奇偶校验约束进行分类和传播（扩展版本）。 CoRR公司 abs/1406.4698(2014)
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/LaitinenJN14a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/LaitinenJN14a
特罗·莱蒂宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
冲突驱动的XOR子句学习（扩展版）。 CoRR公司 abs/1407.6571(2014)
2013
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/KindermannJN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/KindermannJN13
罗兰·金德曼,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
时间自动机的MITL片段的有界模型检验。 ACSD系统 2013:216-225
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/LaitinenJN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/LaitinenJN13
特罗·莱蒂宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
模拟奇偶推理。 LPAR公司 2013:568-583
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1304-7209
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1304-7209
罗兰·金德曼,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
时间自动机MITL片段的有界模型检验。 CoRR公司 abs/1304.7209(2013)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/LaitinenJN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/LaitinenJN13
特罗·莱蒂宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
模拟奇偶校验推理（扩展版）。 CoRR公司 abs/1311.4289(2013)
2012
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/DubrovinJH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/DubrovinJH12
乔里·杜布罗文,汤米·A·琼蒂拉,凯霍·赫尔扬科:
利用步骤语义对异步系统进行有效的有界模型检查。科学。计算。程序。 77(10-11):1095-1121年(2012)
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cp/LaitinenJN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cp/LaitinenJN12
特罗·莱蒂宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
对奇偶约束进行分类和传播。人物配对关系 2012:357-372
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/KindermannJN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/KindermannJN12
罗兰·金德曼,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
基于SMT的时间系统归纳方法。格式 2012:171-187
[公元35年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/KindermannJN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/KindermannJN12
罗兰·金德曼,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
超越拉索：完成基于SMT的时间自动机有界模型检查。食品/福特 2012:84-100
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictai/LaitinenJN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictai/LaitinenJN12
泰罗·莱蒂宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
用完全奇偶推理扩展子句学习SAT解题器。国际通信技术协会 2012:65-72
[c33]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/LaitinenJN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/LaitinenJN12
特罗·莱蒂宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
冲突驱动的XOR子句学习。坐 2012:383-396
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/corr/abs-1204-5639
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1204-5639
罗兰·金德曼,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
基于SMT的定时系统归纳法。 CoRR公司 abs/1204.5639(2012)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1207-0988
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1207-0988
特罗·莱蒂宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
使用完全奇偶推理扩展子句学习SAT解题器（扩展版本）。 CoRR公司 abs/1207.0988(2012)
2011
[j10]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/HyvarinenJN11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/HyvarinenJN11
安蒂·埃罗·约翰内斯·海瓦里宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
随机搜索的搜索空间划分。芬丹。信息学 107(2-3):289-311(2011)
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iet-cdt/LauniainnHJ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iet-cdt/LauniainnHJ11
Tuomas Launiainen公司,凯霍·赫尔扬科,汤米·A·琼蒂拉:
PSL安全属性的有效模型检查。 IET计算。数字。技术。 5(6):479-492(2011)
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/KindermannJN11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/KindermannJN11
罗兰·金德曼,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
带时钟的安全仪表系统符号分析建模。 ACSD公司 2011:185-194
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cp/HyvarinenJN11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cp/HyvarinenJN11
Antti Eero Johannes Hyvärinen公司,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
基于网格的SAT求解与迭代分区和子句学习。人物配对关系 2011:385-399
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictai/LaitinenJN11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictai/LaitinenJN11
特罗·莱蒂宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
基于等价类的DPLL奇偶校验推理（XOR）。国际通信技术协会 2011:649-658
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tapas/JunttilaK11公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tapas/JunttilaK11网站
汤米·A·琼蒂拉,佩特里·卡斯基:
规范标记的冲突传播和组件递归。餐前小吃 2011:151-162
2010
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/LauniainnHJ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/LauniainnHJ10
Tuomas Launiainen公司,凯乔·赫尔詹科,汤米·A·琼蒂拉:
PSL安全属性的有效模型检查。 ACSD系统 2010:95-104
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cp/JunttilaK10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cp/JunttilaK10
汤米·A·琼蒂拉,佩特里·卡斯基:
通过可满足性实现精确覆盖：一项实证研究。人物配对关系 2010:297-304
[公元26年]
- 看法
  - 电子版@iospress.nl
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ecai/LaitinenJN10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecai/LaitinenJN10
特罗·莱蒂宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
基于奇偶推理的扩展子句学习DPLL。 ECAI公司 2010:21-26
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HyvarinenJN10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HyvarinenJN10
安蒂·埃罗·约翰内斯·海瓦里宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
用于分布式解决的分区SAT实例。 LPAR（日惹） 2010:372-386

2000年至2009年

请参阅常见问题解答

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

2009
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/约束/JarvisaloJ09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/constraints/JarvisaloJ09
马蒂·贾维萨洛,汤米·A·琼蒂拉:
限制分支在小句学习中的局限性。制约国际期刊。 14(三):325-356(2009)
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsat/HyvarinenJN09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsat/HyvarinenJN09
安蒂·埃罗·约翰内斯·海瓦里宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
在基于网格的随机SAT求解中引入子句学习。 J.满意。布尔模型。计算。 6(4):223-244(2009)
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aiia/HyvarinenJN09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aiia/HyvarinenJN09
Antti Eero Johannes Hyvärinen公司,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
随机搜索的搜索空间划分。 AI*IA公司 2009:243-252
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/CimattiDJR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/CimattiDJR09
亚历山德罗·西马蒂,乔里·杜布罗文,汤米·A·琼蒂拉,马可·罗维里:
谓词抽象的结构感知计算。 FMCAD公司 2009:9-16
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/Drechsler JN09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/DrechslerJN09
罗尔夫·德雷克斯勒,汤米·A·琼蒂拉,伊尔卡·尼梅莱:
非条款SAT和ATPG。可满足性手册 2009:655-693
2008
[公元22年]
- 看法
  - 电子版@aaai.org（存档）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aaai/JarvisaloJ08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/JarvisaloJ08
马蒂·贾维萨洛,汤米·A·琼蒂拉:
论自上而下分支启发式的力量。 AAAI公司 2008:304至309
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/杜布罗文J08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/DubrovinJ08
乔里·杜布罗文,汤米·A·琼蒂拉:
分层UML状态机的符号模型检查。 ACSD系统 2008:108-117
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aimsa/HyvarinenJN08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aimsa/HyvarinenJN08
安蒂·埃罗·约翰内斯·海瓦里宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
将学习纳入基于网格的随机SAT求解。 AIMSA公司 2008:247-261
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/HyvarinenJN08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/HyvarinenJN08
安蒂·埃罗·约翰内斯·海瓦里宁,汤米·A·琼蒂拉,伊尔卡·尼梅莱:
通过随机搜索解决网格中SAT的策略。 AISC/MKM/结石 2008:125-140
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecai/JarvisaloJN08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecai/JarvisaloJN08
马蒂·贾维萨洛,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
基于理由的SAT非条款本地搜索。 ECAI公司 2008:535-539
[第17条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fmoods/DubrovinJH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmoods/DubrovinJH08
乔里·杜布罗文,汤米·A·琼蒂拉,凯霍·赫尔扬科:
基于对象的通信状态机的符号步骤编码。 FMOODS公司 2008:96-112
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/JarvisaloJN08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/JarvisaloJN08
马蒂·贾维萨洛,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
基于调整的局部搜索和自适应噪声策略。 LPAR公司 2008:31-46
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/JunttilaD08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/JunttilaD08
汤米·A·琼蒂拉,乔里·杜布罗文:
基于可满足模理论的有界模型检验中的编码队列。 LPAR公司 2008:290-304
2007
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alenex/JunttilaK07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alenex/JunttilaK07
汤米·A·琼蒂拉,佩特里·卡斯基:
为大型和稀疏图设计一个高效的规范标记工具。亚历克斯 2007
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cp/贾维萨洛J07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cp/JarvisaloJ07
马蒂·贾维萨洛,汤米·A·琼蒂拉:
子句学习中受限分支的限制。人物配对关系 2007:348-363
2006
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/BozzanoBCJRRS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/BozzanoBCJRRS06
马可·波扎诺,罗伯托·布鲁托梅索,亚历山德罗·西马蒂,汤米·A·琼蒂拉,西尔维奥·兰伊斯,彼得·范·罗苏姆,罗伯托·塞巴斯蒂亚尼:
通过布尔搜索进行有效的理论组合。 Inf.计算。 204(10):1493-1525(2006)
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BiereHJLS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BiereHJLS06
阿明·比尔,凯霍·赫尔扬科,汤米·A·琼蒂拉,蒂莫·拉塔瓦拉,维克多·舒潘:
有界LTL模型检查的线性编码。日志。方法计算。科学。 2(5)(2006)
[第12条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HeljankoJKLL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HeljankoJKLL06
凯霍·赫尔扬科,汤米·A·琼蒂拉,Misa Keinänen女士,马丁·兰格,蒂莫·拉塔瓦拉:
弱交替Büchi自动机的有界模型检验。 CAV汽车 2006:95-108
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/HyvarinenJN06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/HyvarinenJN06
安蒂·埃罗·约翰内斯·海瓦里宁,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
求解网格中SAT的一种分布方法。坐 2006:430-435
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-cs-0611029
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-cs-0611029
阿明·比尔,凯霍·赫尔扬科,汤米·A·琼蒂拉,蒂莫·拉塔瓦拉,维克多·舒潘:
有界LTL模型检查的线性编码。 CoRR公司 abs/cs/0611029(2006)
2005
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/amai/JarvisaloJN05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/amai/JarvisaloJN05
马蒂·贾维萨洛,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
布尔电路表方法中的无限制切割与限制切割。安。数学。Artif公司。智力。 44(4):373-399(2005)
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BozzanoBCJRSS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BozzanoBCJRSS05
马可·波扎诺,罗伯托·布鲁托梅索,亚历山德罗·西马蒂,汤米·A·琼蒂拉,彼得·范·罗苏姆,斯蒂芬·舒尔茨,罗伯托·塞巴斯蒂亚尼:
数学SAT：SAT与数学决策程序的紧密结合。 J.自动化。原因。 35(1-3):265-293(2005)
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BozzanoBCJRSS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BozzanoBCJRSS05
马可·波扎诺,罗伯托·布鲁托梅索,亚历山德罗·西马蒂,汤米·A·琼蒂拉,彼得·范·罗苏姆,斯蒂芬·舒尔茨,罗伯托·塞巴斯蒂亚尼:
MathSAT 3系统。 CADE公司 2005:315-321
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HeljankoJL05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HeljankoJL05
凯霍·赫尔扬科,汤米·A·琼蒂拉,蒂莫·拉塔瓦拉:
完整PLTL的增量和完整有界模型检查。 CAV汽车 2005:98-111
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BozzanoBCJRRS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BozzanoBCJRRS05
马可·波扎诺,罗伯托·布鲁托梅索,亚历山德罗·西马蒂,汤米·A·琼蒂拉,西尔维奥·兰伊斯,彼得·范·罗苏姆,罗伯托·塞巴斯蒂亚尼:
基于延迟理论组合的有效可满足模理论。 CAV汽车 2005:335至349
【c7】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BozzanoBCJRSS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BozzanoBCJRSS05
马可·波扎诺,罗伯托·布鲁托梅索,亚历山德罗·西马蒂,汤米·A·琼蒂拉,彼得·范·罗苏姆,斯蒂芬·舒尔茨,罗伯托·塞巴斯蒂亚尼:
线性算术逻辑可满足性的增量分层过程。 TACAS公司 2005:317-333
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/LatvalaBHJ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/LatvalaBHJ05
蒂莫·拉塔瓦拉,阿明·比尔,凯霍·赫尔扬科,汤米·A·琼蒂拉:
简单就是更好：对过去的LTL进行有效的有界模型检查。 VMCAI公司 2005:380-395
2004
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsd/Junttila04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsd/Junttila04
汤米·A·琼蒂拉:
数据对称的新轨道算法。 ACSD系统 2004:175-184
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/Junttila04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/Junttila04网址
汤米·A·琼蒂拉:
位置/转换网络的新标准化代表标记算法。 ICATPN公司 2004:258-277
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/LatvalaBHJ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/LatvalaBHJ04
蒂莫·拉塔瓦拉,阿明·比尔,凯霍·赫尔扬科,汤米·A·琼蒂拉:
简单有界LTL模型检查。 FMCAD公司 2004:186-200年
【c2】
- 看法
  - 电子版@rutgers.edu（存档）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/isaim/JarvisaloJN04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isaim/JarvisaloJN04
马蒂·贾维萨洛,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
布尔电路的Tableau方法中的无限制与限制割。人工智能与维护 2004
2001
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jucs/Junttila01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jucs/Junttila01
汤米·A·琼蒂拉:
位置/过渡网络对称性简化方法的计算复杂性。 J.大学。计算。科学。 7(4):307-326(2001)
2000
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cl/JunttilaN00号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cl/JunttilaN00
汤米·A·琼蒂拉,伊尔卡·尼梅尔:
布尔电路可满足性检查的高效Tableau方法。计算逻辑 2000:553-567

1990 – 1999

请参阅常见问题解答

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

1999
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/Junttila99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/Junttila99
汤米·A·琼蒂拉:
寻找代数系统网的对称性。芬丹。信息学 37(三):269至289(1999)

合著者索引

请参阅常见问题解答

服务

管理网站设置

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