×

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

最新的 引文 关联
胡、秦和平；杰森·布雷克；约翰·Cyphert；洛丽斯·达安东尼；代表，托马斯

证明了语法引导合成的不可实现性。 （英语） 兹伯利07805540

Dillig，Isil（编辑）等人，《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11561, 335-352 (2019).
MSC公司：60年第68季度 68号30 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Q.Hu}等人，Lect。注释计算。科学。11561、335--352（2019；Zbl 07805540）
全文： 内政部 arXiv公司
代表，托马斯；艾玛·特雷茨基；Prabhu、Prathmesh

通过张量积进行牛顿程序分析。 （英语） Zbl 1347.68094号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。663-677 (2016).
MSC公司：68号30 2016年60月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Reps}等人，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。663--677（2016；Zbl 1347.68094）
全文： 内政部
拉马林加姆，G。；代表，托马斯

程序表示图的语义。 （英语） Zbl 1195.68064号

Bertot，Yves（编辑）等人，《从语义学到计算机科学》。纪念吉勒·卡恩的文章。剑桥：剑桥大学出版社（ISBN 978-0-521-51825-3/hbk）。205-233 (2009).
MSC公司：68问题55 68号30 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{G.Ramalingam}和\textit{T.Reps}，in：从语义学到计算机科学。纪念吉尔斯·卡恩的文章。剑桥：剑桥大学出版社。205-233（2009年；Zbl 1195.68064）
阿卡什·拉尔；尼古拉斯·基德；代表，托马斯；泰瑟·图利

抽象错误投影。 （英语） Zbl 1211.68091号

Nielson、Hanne Riis（编辑）等，《静态分析》。2007年8月22日至24日，第14届国际研讨会，SAS，丹麦，Kongens Lyngby。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74060-5/pbk）。计算机科学课堂讲稿4634200-217（2007）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Lal}等人，Lect。注释计算。科学。4634，200--217（2007；Zbl 1211.68091）
全文： 内政部
代表，托马斯；阿卡什·拉尔；尼克·基德

使用加权下推系统进行程序分析。 （英语） Zbl 1136.68019号

Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12日至14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。《计算机科学讲义》4855，23-51（2007）。
MSC公司：68号30 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Reps}等人，Lect。注释计算。科学。4855，23-51（2007；Zbl 1136.68019）
全文： 内政部
塔尔省列夫·阿米；穆利·萨吉夫；尼尔·伊梅尔曼；代表，托马斯

为均匀变化构建专门的形状分析。 （英语） Zbl 1132.68473号

Cook，Byron（编辑）等人，《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69735-0/pbk）。计算机科学课堂讲稿4349215-233（2007）。
MSC公司：60年第68季度 68第05页 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{T.Lev-Ami}等人，Lect。注释计算。科学。4349，215--233（2007；Zbl 1132.68473）
全文： 内政部
阿米特，达芙娜；诺姆·里内茨基；代表，托马斯；穆利·萨吉夫；埃兰·雅哈夫

在抽象下进行比较，以验证线性化能力。 （英语） Zbl 1135.68462号

Damm，Werner（编辑）等人，《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73367-6/pbk）。计算机科学课堂讲稿4590477-490（2007）。
MSC公司：60年第68季度 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{D.Amit}等人，Lect。注释计算。科学。4590477--490（2007年；Zbl 1135.68462）
全文： 内政部
阿卡什·拉尔；代表，托马斯

改进下推系统模型检查。 （英语） Zbl 1188.68195号

Ball，Thomas（编辑）等人，《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37406-X/pbk）。计算机科学课堂讲稿4144343-357（2006）。
MSC公司：60年第68季度 05C85号
PDF格式BibTeX公司 XML格式引用
\textit｛A.Lal｝和\textit｛T.Reps｝，Lect。注释计算。科学。4144343--357（2006年；Zbl 1188.68195）
全文： 内政部
Jha，萨默什；斯特凡·施温；王浩；代表，托马斯

加权下推系统和信任管理系统。 （英语） Zbl 1180.68061号

Hermanns，Holger（编辑）等人，《系统构建和分析的工具和算法》。2006年3月25日至4月2日，作为欧洲软件理论和实践联合会议的一部分，在奥地利维也纳举行了第12届国际会议，2006年TACAS。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33056-9/pbk）。计算机科学课堂讲稿3920，1-26（2006）。
MSC公司：64岁以下 68个M12 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Jha}等人，Lect。注释计算。科学。3920，1--26（2006年；Zbl 1180.68061）
全文： 内政部
丹尼斯·戈潘；代表，托马斯；穆利·萨吉夫

数组操作的数值分析框架。 （英语） Zbl 1369.68138号

第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。338-350 (2005).
MSC公司：68号30 68第05页 68页第10页
PDF格式BibTeX公司 XML格式引用
\textit{D.Gopan}等人，in：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。338--350（2005年；Zbl 1369.68138）
全文： 内政部
列夫·阿米，T。；伊梅尔曼，N。；代表，T。；萨吉夫，M。；斯利瓦斯塔瓦，S。；约什，G。

使用一阶逻辑模拟可达性，并应用于验证链接数据结构。 （英语） 兹比尔1135.68556

Nieuwenhuis，Robert（编辑），自动扣除-CADE-20。第20届自动扣减国际会议，爱沙尼亚塔林，2005年7月22日至27日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28005-7/pbk）。计算机科学课堂讲稿3632。《人工智能讲义》，99-115（2005）。
MSC公司：68吨15 68第05页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Lev-Ami}等人，Lect。注释计算。科学。3632，99-115（2005；Zbl 1135.68556）
全文： 内政部 arXiv公司
阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫

通过归纳学习进行抽象提炼。 （英语） Zbl 1081.68626号

Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576519-533（2005）。
MSC公司：60年第68季度 68N99型 68问题32
PDF格式BibTeX公司 XML格式引用
\textit{A.Loginov}等人，Lect。注释计算。科学。3576、519--533（2005；Zbl 1081.68626）
全文： 内政部
阿卡什·拉尔；代表，托马斯；高格尔·巴拉克利什南

扩展加权下推系统。 （英语） Zbl 1081.68625号

Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576，434-448（2005）。
MSC公司：60年第68季度 68N99型
PDF格式BibTeX公司 XML格式引用
\textit{A.Lal}等人，Lect。注释计算。科学。3576、434--448（2005；Zbl 1081.68625）
全文： 内政部
巴拉克里希南（G.Balakrishnan）。；代表，T。；北卡罗来纳州基德。；A.拉尔。；J.林。；D.梅尔斯基。；R.格鲁安。；Yong，S。；陈，C.-H。；Teitelbaum，T。

使用CodeSurfer/x86和WPDS++对x86可执行文件进行模型检查。 （英语） 兹比尔1081.68604

Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。《计算机科学讲义》3576158-163（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Balakrishnan}等人，Lect。注释计算。科学。3576、158--163（2005年；Zbl 1081.68604）
全文： 内政部
代表，托马斯；穆利·萨吉夫；约什，格雷塔

最佳变压器的符号实现。 （英语） Zbl 1202.68255号

Steffen，Bernhard（编辑）等人，《验证、模型检查和抽象解释》。第五届国际会议，VMCAI 2004，意大利威尼斯，2004年1月11-13日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20803-8/pbk）。莱克特。注释计算。科学。2937, 252-266 (2004).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.Reps}等人，Lect。注释计算。科学。2937252--266（2004年；Zbl 1202.68255）
全文： 内政部
约什，G。；代表，托马斯；穆利·萨吉夫

符号计算用于形状分析的最精确抽象操作。 （英语） Zbl 1126.68359号

Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学课堂讲稿2988530-545（2004）。
MSC公司：68号30 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{G.Yorsh}等人，Lect。注释计算。科学。2988530--545（2004年；Zbl 1126.68359）
全文： 内政部
尼尔·伊梅尔曼；亚历山大·拉宾诺维奇；代表Thomas W。；穆利·萨吉夫；约克语，很棒

通过结构模拟进行验证。 （英语） Zbl 1103.68623号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，281-294（2004）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Immerman}等人，Lect。注释计算。科学。3114、281--294（2004；Zbl 1103.68623）
全文： 内政部
代表，Thomas W。；穆利·萨吉夫；莱因哈德·威廉

通过三值逻辑进行静态程序分析。 （英语） Zbl 1103.68635号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，15-30（2004）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.W.Reps}等人，Lect。注释计算。科学。3114，15--30（2004；Zbl 1103.68635）
全文： 内政部
埃兰·雅哈夫；代表，托马斯；穆利·萨吉夫；莱因哈德·威廉

验证通过演化逻辑指定的临时堆属性。 （英语） Zbl 1032.68062号

Degano，Pierpaolo（编辑），《编程语言和系统》。2003年4月7日至11日，在波兰华沙举行的第十二届欧洲编程研讨会ESOP 2003，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2618, 204-222 (2003).
MSC公司：68号30 60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{E.Yahav}等人，Lect。注释计算。科学。2618、204--222（2003；Zbl 1032.68062）
全文： 链接
迈克尔·本尼迪克特；帕特丽斯·戈德弗里德；代表，托马斯

无限制分层状态机的模型检查。 （英语） Zbl 0986.68506号

Orejas，Fernando（编辑）等人，《自动化、语言和编程》。2001年7月8日至12日在希腊克里特岛举行的第28届国际学术讨论会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2076, 652-666 (2001).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Benedikt}等人，Lect。注释计算。科学。2076，652——666（2001年；兹bl 0986.68506）
全文： 链接
代表，托马斯

通过图形可达性进行程序分析。 （英语） Zbl 0944.68038号

Małuszyñski，Jan（编辑），《逻辑编程》。1997年10月13日至16日在美国纽约州华盛顿港举行的国际研讨会（ILPS’97）会议记录。马萨诸塞州剑桥：麻省理工学院出版社。麻省理工学院逻辑编程新闻系列。5-19 (1997).
MSC公司：68号30 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{T.Reps}，in：逻辑编程。1997年10月13日至16日在美国纽约州华盛顿港举行的国际研讨会（ILPS’97）会议记录。马萨诸塞州剑桥：麻省理工学院出版社。5-19（1997年；Zbl 0944.68038）
代表，Thomas W。；蒂姆·泰特鲍姆

合成器生成器。构建基于语言的编辑器的系统。 （英语） 兹比尔0711.68028

计算机科学的文本和专著。柏林等：Springer-Verlag。IX、 第317页（1989年）。
审核人：U.Kastens公司
MSC公司：第68页第20页 68-02
PDF格式BibTeX公司 XML格式引用
\textit{T.W.Reps}和\textit{T.Teitelbaum}，合成器生成器。构建基于语言的编辑器的系统。柏林等：Springer-Verlag（1989；Zbl 0711.68028）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件