詹姆斯·布罗瑟斯顿
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2021 [公元27年] 詹姆斯·布罗瑟斯顿 , 保罗·布鲁特 , Nikos Gorogannis公司 , 马克斯·卡诺维奇 :
Android Java的组合死锁检测器。 ASE公司 2021 : 955-966 2020 [j6] 加迪·特莱斯 , 詹姆斯·布罗瑟斯顿 :
使用循环证明自动验证指针程序的时间属性。 J.汽车。 原因。 64 ( 三 ) : 555-578 ( 2020 ) [公元26年] 詹姆斯·布罗瑟斯顿 , 戴安娜·科斯塔 , 阿奎那·霍伯 , 约翰·威克森 :
并发分离逻辑中权限区域的推理。 CAV(2) 2020 : 203-224
2010 – 2019
2018 [公元25年] 詹姆斯·布罗瑟斯顿 , 马克斯·卡诺维奇 :
分离逻辑中指针算法的复杂性。 阿普拉斯 2018 : 329-349 [i3] 詹姆斯·布罗瑟斯顿 , 马克斯·卡诺维奇 :
关于分离逻辑中指针算术的复杂性(扩展版)。 CoRR公司 腹肌/1803.03164 ( 2018 ) 2017 [公元24年] 詹姆斯·布罗瑟斯顿 , Nikos Gorogannis公司 , 马克斯·卡诺维奇 :
阵列分离逻辑中的双向消减(及相关问题)。 学员 2017 : 472-490 【c23】 加迪·特莱斯 , 詹姆斯·布罗瑟斯顿 :
使用循环证明自动验证指针程序的时间属性。 学员 2017 : 491-508 [公元22年] 鲁本·N.S.罗 , 詹姆斯·布罗瑟斯顿 :
分离逻辑中递归过程的自动循环终止证明。 清洁石油产品 2017 : 53-65 【c21】 鲁本·N.S.罗 , 詹姆斯·布罗斯顿 :
循环证明的可实现性:为无限下降抽取排序信息。 TABLEAUX公司 2017 : 295-310 [i2] 鲁本·N.S.罗 , 詹姆斯·布罗瑟斯顿 :
抽象循环纠缠系统中的尺寸关系。 CoRR公司 abs/1702.03981 ( 2017 ) 2016 [公元20年] 杰里米·道森 , 詹姆斯·布罗瑟斯顿 , 拉杰夫·戈尔 :
使用显示演算的亚结构逻辑机检插值定理。 国际JCAR 2016 : 452-468 [第19条] 詹姆斯·布罗瑟斯顿 , Nikos Gorogannis公司 , 马克斯·卡诺维奇 , 鲁本·罗 :
使用归纳谓词对符号堆分离逻辑进行模型检查。 POPL公司 2016 : 84-96 [i1] 詹姆斯·布罗瑟斯顿 , Nikos Gorogannis公司 , 马克斯·卡诺维奇 :
阵列分离逻辑中的双向消减(及相关问题)。 CoRR公司 abs/1607.01993 ( 2016 ) 2015 [第18条] 詹姆斯·布罗瑟斯顿 , 朱尔斯·维拉德 :
次经典布尔丛逻辑及其Par的意义。 CSL公司 2015 : 325-342 [第17条] 詹姆斯·布罗斯顿 , Nikos Gorogannis公司 :
通过基对近似消除分离逻辑中的归纳蕴涵。 TABLEAUX公司 2015 : 287-303 2014 [j5] 詹姆斯·布罗瑟斯顿 , 马克斯·卡诺维奇 :
命题分离逻辑及其邻域的不可解性。 美国临床医学杂志 61 ( 2 ) : 14:1-14:43 ( 2014 ) [第16条] 詹姆斯·布罗瑟斯顿 , 卡斯滕·福斯 , 胡安·安东尼奥·纳瓦罗·佩雷斯 , Nikos Gorogannis公司 :
带有归纳谓词的分离逻辑中的可满足性判定过程。 CSL-LICS公司 2014 : 25:1-25:10 [第15条] 詹姆斯·布罗瑟斯顿 , 朱尔斯·维拉德 :
分离理论的参数完备性。 POPL公司 2014 : 453-464 [第14条] 詹姆斯·布罗瑟斯顿 , Nikos Gorogannis公司 :
归纳定义的安全和终止先决条件的循环外推。 萨斯 2014 : 68-84 2012 【j4】 詹姆斯·布罗斯顿 :
显示捆绑逻辑。 Stud Logica公司 100 ( 6 ) : 1223-1254 ( 2012 ) [c13] 詹姆斯·布罗瑟斯顿 , Nikos Gorogannis公司 , 拉斯穆斯·勒奇达尔·彼得森 :
一般循环定理证明器。 阿普拉斯 2012 : 350-367 2011 [j3] 詹姆斯·布罗瑟斯顿 , 亚历克斯·辛普森 :
归纳和无限下降的序贯演算。 J.日志。 计算。 21 ( 6 ) : 1177-1216 ( 2011 ) [第12条] 詹姆斯·布罗斯顿 , 迪诺·迪斯特法诺 , 拉斯穆斯·勒奇达尔·彼得森 :
分离逻辑中的自动循环蕴涵证明。 学员 2011 : 131-146 [第11条] 詹姆斯·布罗瑟斯顿 , 拉吉夫·戈雷 :
可显示逻辑中的Craig插值。 TABLEAUX公司 2011 : 88-103 2010 [注2] 詹姆斯·布罗瑟斯顿 , 克里斯蒂亚诺·卡尔卡尼奥 :
经典BI:其语义和证明理论。 日志。 方法计算。 科学。 6 ( 三 ) ( 2010 ) [第10条] 詹姆斯·布罗瑟斯顿 , 马克斯·卡诺维奇 :
命题分离逻辑及其邻域的不确定性。 低收入国家 2010 : 130至139 【c9】 詹姆斯·布罗瑟斯顿 :
束逻辑的统一显示证明理论。 MFPS公司 2010 : 197-211
2000 – 2009
2009 【c8】 詹姆斯·布罗瑟斯顿 , 克里斯蒂亚诺·卡尔卡尼奥 :
经典BI:关于资源二元化的推理逻辑。 POPL公司 2009 : 328-339 2008 【c7】 詹姆斯·布罗斯顿 , 理查德·博纳特 , 克里斯蒂亚诺·卡尔卡尼奥 :
分离逻辑中程序终止的循环证明。 POPL公司 2008 : 101-112 2007 【c6】 詹姆斯·布罗瑟斯顿 , 亚历克斯·辛普森 :
归纳和无限下降的完整序贯演算。 低收入国家 2007 : 51-62 【c5】 詹姆斯·布罗瑟斯顿 :
串蕴涵逻辑中的形式化归纳推理。 萨斯 2007 : 87-103 2005 【c4】 詹姆斯·布罗瑟斯顿 :
具有归纳定义的一阶逻辑的循环证明。 TABLEAUX公司 2005 : 78-92 2003 [j1] 雷内·维斯特加德 , 詹姆斯·布罗瑟斯顿 :
使用单排序变量名的微积分形式化的一阶合流证明。 Inf.计算。 183 ( 2 ) : 212-244 ( 2003 ) 2002 【c3】 詹姆斯·布罗瑟斯顿 , 安纳托利·德吉亚列夫 , 迈克尔·菲希尔 , 阿列克谢·利西萨 :
使用时间分辨率搜索不变量。 LPAR公司 2002 : 86-101 2001 【c2】 雷内·维斯特加德 , 詹姆斯·布罗瑟斯顿 :
使用单排序变量名的lambda-Calculus的形式化一阶合流证明。 区域贸易协定 2001 : 306-321 【c1】 雷内·维斯特加德 , 詹姆斯·布罗瑟斯顿 :
巴伦德雷格特式等式证明的机械化(剩余透视)。 梅林 2001 : 18-36
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)