×

找到37个文档（结果1-37）

最新的 引文 关联
拜伦·库克；海蒂·卡拉夫；尼尔·皮特曼

无限状态系统的公平性。 （英语） 兹比尔1420.68122

Baier，Christel（编辑）等人，《系统构建和分析的工具和算法》。第21届国际会议，TACAS 2015，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2015，2015年4月11日至18日，英国伦敦。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9035, 384-398 (2015).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}等人，Lect。注释计算。科学。9035384--398（2015；Zbl 1420.68122）
全文： 内政部 链接
拜伦·库克；海蒂·卡拉夫；尼尔·皮特曼

无限状态系统的自动验证。 （英语） 兹比尔1381.68154

Kroening，Daniel（编辑）等人，《计算机辅助验证》。2015年7月18日至24日，第27届国际会议，CAV 2015，美国加利福尼亚州旧金山。诉讼程序。第一部分：查姆：施普林格（ISBN 978-3-319-21689-8/pbk；978-3-3169-21690-4/电子书）。计算机科学讲义9206，13-29（2015）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}等人，Lect。注释计算。科学。9206，13-29（2015；Zbl 1381.68154）
全文： 内政部
奥斯州阿尔巴古蒂；乔什·伯丁；拜伦·库克；扎卡里·金凯德

空间插值。 （英语） Zbl 1335.68040号

Vitek，Jan（编辑），《编程语言和系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-46668-1/pbk；978-3-562-46669-8/电子书）。《计算机科学讲义》9032，634-660（2015）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Albargouthi}等人，Lect。注释计算。科学。90322634-660（2015年；兹比尔1335.68040）
全文： 内政部 arXiv公司
拜伦·库克；看，阿比盖尔；弗洛里安·祖勒格

拉姆齐与词典终止证明。 （英语） Zbl 1381.68050号

Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795，47-61（2013）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit｛B.Cook｝等人，Lect。注释计算。科学。7795，47-61（2013；Zbl 1381.68050）
全文： 内政部
阿列克谢·戈茨曼；乔什·伯丁；拜伦·库克

并发分离逻辑中的精度和连接规则。 （英语） Zbl 1342.68085号

Mislove，Michael（ed.）等人，《第27届编程语义数学基础会议论文集》（MFPS XXVII），匹兹堡，宾夕法尼亚州，美国，2011年5月25日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记276171-190（2011）。
MSC公司：68号30 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Gotsman}等人，《电子》。注释Theor。计算。科学。276171-190（2011年；Zbl 1342.68085）
全文： 内政部
拜伦·库克；埃里克·科斯金

用决策谓词做预言。 （英语） Zbl 1284.68389号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。399-410 (2011).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}和\textit{E.Koskinen}，in：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。399-410（2011年；Zbl 1284.68389）
全文： 内政部
拜伦·库克；贾斯敏·费希尔；埃尔兹比塔Krepska；尼尔·皮特曼

证明生物系统的稳定性。 （英语） 2014年9月13日

Jhala，Ranjit（编辑）等人，《验证、模型检查和抽象解释》。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18274-7/pbk）。计算机科学课堂讲稿6538，134-149（2011）。
MSC公司：第92页第42页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}等人，Lect。注释计算。科学。6538，134--149（2011；Zbl 1318.92014）
全文： 内政部
泰瑟·图利（编辑）；拜伦·库克（编辑）；杰克逊，保罗（编辑）

计算机辅助验证。2010年7月15日至19日，第22届国际会议，CAV 2010，英国爱丁堡。诉讼程序。 （英语） Zbl 1193.68016号

计算机科学课堂讲稿6174.柏林：施普林格出版社（ISBN 978-3-642-14294-9/pbk）。十六、676页。(2010).
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{T.Touili}（编辑）等，计算机辅助验证。2010年7月15日至19日，第22届国际会议，CAV 2010，英国爱丁堡。诉讼程序。柏林：施普林格出版社（2010；Zbl 1193.68016）
全文： 内政部
拜伦·库克；丹尼尔·克罗宁；菲利普·吕默；Christoph M.温特斯泰格。

位向量关系的排序函数综合。 （英语） Zbl 1284.68172号

Esparza，Javier（编辑）等人，《系统构建和分析的工具和算法》。2010年3月20日至28日在塞浦路斯帕福斯举行的第16届国际会议（TACAS 2010）是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12001-5/pbk）。计算机科学课堂讲稿6015236-250（2010）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}等人，Lect。注释计算。科学。6015236-250（2010年；Zbl 1284.68172）
全文： 内政部
阿列克谢·戈茨曼；拜伦·库克；马修·帕金森；维克托·瓦菲亚迪斯

证明非阻塞算法不会阻塞。 （英语） Zbl 1315.68093号

2009年1月18日至24日，美国佐治亚州萨凡纳，POPL'09，第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。16-28（2009年）。
MSC公司：68号30 68甲15 68甲19 68周01
PDF格式BibTeX公司 XML格式引用
\textit{A.Gotsman}等人，摘自：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。16-28（2009年；Zbl 1315.68093）
全文： 内政部
杨红seok；Lee，Oukseh先生；乔什·伯丁；克里斯蒂亚诺·加尔卡尼奥；拜伦·库克；迪诺·迪斯特法诺；彼得·奥赫恩

系统代码的可缩放形状分析。 （英语） Zbl 1155.68359号

Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123385-398（2008）。
MSC公司：68N25号 68号30
PDF格式BibTeX公司 XML格式引用
\textit{H.Yang}等人，Lect。注释计算。科学。5123、385--398（2008年；Zbl 1155.68359）
全文： 内政部
拜伦·库克；苏米特·古尔瓦尼；塔尔省列夫·阿米；安德烈·里巴尔琴科；穆利·萨吉夫

证明有条件终止。 （英语） Zbl 1155.68431号

Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。《计算机科学讲义》512328-340（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}等人，Lect。注释计算。科学。5123、328--340（2008年；Zbl 1155.68431）
全文： 内政部
阿齐姆·查德哈里；拜伦·库克；苏米特·古尔瓦尼；穆利·萨吉夫；杨红seok

对摘要进行排名。 （英语） Zbl 1133.68317号

Sophia Drossopoulou（编辑），《编程语言和系统》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第17届欧洲编程研讨会（ESOP 2008）是欧洲软件理论与实践联合会议（ETAPS 2008）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78738-9/pbk）。计算机科学课堂讲稿4960148-162（2008）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit｛A.Chawdhary｝等人，Lect。注释计算。科学。4960、148--162（2008年；Zbl 1133.68317）
全文： 内政部
拜伦·库克；阿列克谢·戈茨曼；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科；莫舍·瓦尔迪。

证明这些程序最终会有好处。 （英语） Zbl 1295.68083号

2007年1月17日至19日，法国尼斯，POPL'07，第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-575-4）。265-276 (2007).
MSC公司：68号30 64岁以下 68甲15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}等人，摘自：第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'07，法国尼斯，2007年1月17-19日。纽约州纽约市：计算机协会（ACM）。265--276（2007年；Zbl 1295.68083）
全文： 内政部 链接
乔什·伯丁；阿齐姆·查德哈里；拜伦·库克；迪诺·迪斯特法诺；彼得·奥赫恩

从不变性分析中进行方差分析。 （英语） Zbl 1295.68076号

2007年1月17日至19日，法国尼斯，POPL'07，第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-575-4）。211-224 (2007).
MSC公司：68号30 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Berdine}等人，《第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL'07，法国尼斯，2007年1月17-19日。纽约州纽约市：计算机协会（ACM）。211-224（2007；Zbl 1295.68076）
全文： 内政部
库克，B。（编辑）；R·塞巴斯蒂亚尼。（编辑）

第四次自动推理中决策程序的语用学研讨会（PDPAR 2006）和第一次概率自动机和逻辑国际研讨会（PaUL 2006）的联合会议记录，西雅图，华盛顿州，美国，2006年8月。 （英语） Zbl 1273.68022号

理论计算机科学电子笔记174，第8号。阿姆斯特丹：爱思唯尔。108页。，仅电子版（2007年）。
MSC公司：68-06 03B35型 60年第68季度 68吨15 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}（编辑）和textit{R.Sebastiani}（编），第四届自动推理中决策过程语用学研讨会（PDPAR 2006）和第一届概率自动机和逻辑国际研讨会（PaUL 2006）的联合会议记录，西雅图，华盛顿州，美国，2006年8月。阿姆斯特丹：爱思唯尔（2007；Zbl 1273.68022）
全文： 链接
斯蒂芬·马吉尔；乔什·伯丁；埃德蒙·克拉克；拜伦·库克

形状分析的算术强化。 （英语） Zbl 1211.68094号

Nielson、Hanne Riis（编辑）等，《静态分析》。2007年8月22日至24日，第14届国际研讨会，SAS，丹麦，Kongens Lyngby。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74060-5/pbk）。计算机科学课堂讲稿4634419-436（2007）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Magill}等人，Lect。注释计算。科学。4634，419--436（2007；Zbl 1211.68094）
全文： 内政部
阿列克谢·戈茨曼；乔什·伯丁；拜伦·库克；诺姆·里内茨基；穆利·萨吉夫

可存储锁和线程的本地推理。 （英语） 兹比尔1137.68354

Shao，Zhong（编辑），《程序设计语言和系统》。第五届亚洲研讨会，2007年11月29日至12月1日，新加坡，APLAS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-76636-0/pbk）。计算机科学课堂讲稿4807，19-37（2007）。
MSC公司：68号30 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Gotsman}等人，Lect。注释计算。科学。4807、19-37（2007年；Zbl 1137.68354）
全文： 内政部
拜伦·库克（编辑）；安德烈亚斯·波德尔斯基（编辑）

验证、模型检查和抽象解释。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。 （英语） Zbl 1131.68006号

计算机科学课堂讲稿4349.柏林：施普林格出版社（ISBN 978-3-540-69735-0/pbk）。xi，第395页。(2007).
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}（编辑）和\textit{A.Podelski}（编），验证、模型检查和抽象解释。2007年1月14日至16日在法国尼斯举行的第八届国际会议，VMCAI 2007。诉讼程序。柏林：施普林格（2007年；Zbl 1131.68006）
全文： 内政部
马内维奇（Manevich，R.）。；J·伯丁。；库克，B。；拉马林加姆，G。；萨吉夫，M。

通过图分解进行形状分析。 （英语） Zbl 1186.68115号

Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。《计算机科学讲义》4424，3-18（2007）。
MSC公司：68号30 68第05页 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{R.Manevich}等人，Lect。注释计算。科学。4424，3--18（2007年；Zbl 1186.68115）
全文： 内政部
阿列克谢·戈茨曼；乔什·伯丁；拜伦·库克

使用分离堆抽象进行过程间形状分析。 （英语） Zbl 1225.68072号

Yi，Kwangkeun（编辑），静态分析。2006年8月29日至31日，第13届国际研讨会，SAS 2006，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37756-6/pbk）。计算机科学讲义4134240-260（2006）。
MSC公司：68号30 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{A.Gotsman}等人，Lect。注释计算。科学。4134240-260（2006年；Zbl 1225.68072）
全文： 内政部
安德烈亚斯·格雷斯迈耶；罗德里克·布洛姆；拜伦·库克

修复布尔程序并将其应用于C。 （英语） Zbl 1188.68188号

Ball，Thomas（编辑）等人，《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37406-X/pbk）。计算机科学课堂讲稿4144358-371（2006）。
MSC公司：60年第68季度 68甲15
PDF格式BibTeX公司 XML格式引用
\textit｛A.Griesmayer｝等人，Lect。注释计算。科学。4144358--371（2006年；Zbl 1188.68188）
全文： 内政部
乔什·伯丁；拜伦·库克；迪诺·迪斯特法诺；O'Hearn，Peter W。

具有变形堆的程序的自动终止证明。 （英语） Zbl 1188.68109号

Ball，Thomas（编辑）等人，《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37406-X/pbk）。计算机科学讲义4144386-400（2006）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Berdine}等人，Lect。注释计算。科学。4144386--400（2006年；Zbl 1188.68109）
全文： 内政部
拜伦·库克；丹尼尔·克罗宁；娜塔莎·莎莉吉娜

异步布尔程序的符号模型检查。 （英语） Zbl 1151.68367号

Patrice Godefroid（编辑），模型检查软件。第十二届SPIN国际研讨会，美国加利福尼亚州旧金山，2005年8月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28195-9/pbk）。计算机科学课堂讲稿3639，75-90（2005）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}等人，Lect。注释计算。科学。3639，75-90（2005年；Zbl 1151.68367）
全文： 内政部
拜伦·库克；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科

终止的抽象细化。 （英语） Zbl 1141.68365号

Hankin，Chris（编辑）等人，《静态分析》。2005年9月7日至9日在英国伦敦举行的2005年SAS第12届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28584-9/pbk）。计算机科学课堂讲稿367287-101（2005）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}等人，Lect。注释计算。科学。3672，87-101（2005；Zbl 1141.68365）
全文： 内政部
Lahiri，Shuvendu K。；鲍尔，托马斯；拜伦·库克

通过符号决策过程进行谓词抽象。 （英语） Zbl 1081.68055号

Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576，24-38（2005）。
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.K.Lahiri}等人，Lect。注释计算。科学。3576，24-38（2005；Zbl 1081.68055）
全文： 内政部
拜伦·库克；丹尼尔·克罗宁；娜塔莎·莎莉吉娜

Cogent：程序验证的精确定理证明。 （英语） Zbl 1081.68673号

Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576296-300（2005）。
MSC公司：68吨15 68N99型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}等人，Lect。注释计算。科学。3576，296--300（2005；Zbl 1081.68673）
全文： 内政部
鲍尔，托马斯；拜伦·库克；Das、Satyaki；Rajamani，Sriram K。

精炼软件谓词抽象中的近似。 （英语） Zbl 1126.68344号

Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学讲义2988，388-403（2004）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.Ball}等人，Lect。注释计算。科学。2988388--403（2004年；Zbl 1126.68344）
全文： 内政部
鲍尔，托马斯；拜伦·库克；Lahiri，Shuvendu K。；张林涛

Zapato：谓词抽象求精的自动定理证明。 （英语） Zbl 1103.68604号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。《计算机科学讲义》3114，457-461（2004）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{T.Ball}等人，Lect。注释计算。科学。3114457-461（2004；Zbl 1103.68604）
全文： 内政部
Lahiri，Shuvendu K。；Randal E.布莱恩特。；拜伦·库克

谓词抽象的符号方法。 （英语） Zbl 1278.68181号

Hunt，Warren A.jun.（编辑）等人，《计算机辅助验证》。第15届国际会议，CAV 2003，美国科罗拉多州博尔德，2003年7月8日至12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40524-0/pbk）。莱克特。注释计算。科学。2725, 141-153 (2003).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.K.Lahiri}等人，Lect。注释计算。科学。2725141--153（2003年；Zbl 1278.68181）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件