Jain,希曼舒;君士坦丁·巴齐斯;埃德蒙·克拉克 使用一般匹配检查非子句公式的可满足性。 (英文) Zbl 1187.68549号 Biere,Armin(编辑)等人,《满意度测试的理论和应用——SAT 2006》。第九届国际会议,西雅图,华盛顿州,美国,2006年8月12-15日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37206-7/pbk)。《计算机科学讲义》4121,75-89(2006)。MSC公司:68T20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Jain}等人,Lect。注释计算。科学。4121,75-89(2006年;Zbl 1187.68549) 全文: 内政部
图巴·雅武兹·卡维奇;君士坦丁·巴齐斯;特夫菲克·布尔坦 动作语言验证程序,扩展。 (英文) Zbl 1081.68640号 Etessami,Kousha(编辑)等人,《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27231-3/pbk)。计算机科学课堂讲稿3576413-417(2005)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Yavuz Kahveci}等人,Lect。注释计算。科学。3576、413--417(2005年;Zbl 1081.68640) 全文: 内政部
君士坦丁·巴齐斯;特夫菲克·布尔坦 加宽算术自动机。 (英文) Zbl 1103.68606号 Alur,Rajeev(编辑)等人,《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22342-8/pbk)。计算机科学讲义3114,321-333(2004)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Bartzis}和\textit{T.Bultan},莱克特。注释计算。科学。3114、321--333(2004;Zbl 1103.68606) 全文: 内政部
君士坦丁·巴齐斯;特夫菲克·布尔坦 无限状态模型检查中的高效图像计算。 (英文) Zbl 1278.68154号 Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 249-261 (2003).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Bartzis}和\textit{T.Bultan},莱克特。注释计算。科学。2725、249--261(2003年;Zbl 1278.68154) 全文: 内政部
君士坦丁·巴齐斯;特夫菲克·布尔坦 验证中算术约束的有效符号表示。 (英文) Zbl 1101.68642号 发现的国际期刊。计算。科学。 14,第4期,605-624(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Bartzis}和\textit{T.Bultan},国际期刊发现。计算。科学。14,第4号,605--624(2003;Zbl 1101.68642) 全文: 内政部
君士坦丁·巴齐斯;特夫菲克·布尔坦 自动验证中算术约束的基于自动的表示。 (英文) Zbl 1033.68583号 Champarnaud,Jean-Marc(编辑)等人,《自动机的实现和应用》。2002年7月3日至5日在法国图尔斯举行的CIAA 2002第七届国际会议。修改后的文件。柏林:施普林格出版社(ISBN 3-540-40391-4/pbk)。莱克特。注释计算。科学。260882-288(2003年)。MSC公司:60年第68季度 65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Bartzis}和\textit{T.Bultan},莱克特。注释计算。科学。2608282-288(2003年;Zbl 1033.68583) 全文: 链接
君士坦丁·巴齐斯;特夫菲克·布尔坦 有界算术约束的有效BDD的构造。 (英文) Zbl 1031.68542号 Garavle,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2619, 394-408 (2003).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Bartzis}和\textit{T.Bultan},莱克特。注释计算。科学。261394--408(2003年;Zbl 1031.68542) 全文: 链接
奥斯卡·H·伊巴拉。;苏建文;君士坦丁·巴齐斯 计数器以及具有线性约束的数据库查询的安全性和不相交性问题。 (英文) Zbl 1013.68077号 Martín-Vide,Carlos(编辑)等人,《数学、计算机科学、语言学和生物学在哪里相遇》。为纪念盖奥盖·佩恩而写的论文。多德雷赫特:Kluwer学术出版社。127-137 (2001).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人,in:数学、计算机科学、语言学和生物学的交汇之处。为纪念盖奥盖·佩恩而写的论文。多德雷赫特:Kluwer学术出版社。127-137(2001;Zbl 1013.68077)