罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼（Ofer Strichman） 反应合成中的特定鲁棒性。 （英语） Zbl 07683089号 形式方法系统。设计。 60，编号2259-276（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit｛R.Bloem｝等人，Form.Methods Syst。设计。60，第2号，259--276（2022；Zbl 07683089） 全文： 内政部
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼（Ofer Strichman） 合成中的真空。 （英语） Zbl 1522.68297号 形式方法系统。设计。 57，第3号，473-495（2021）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛R.Bloem｝等人，Form.Methods Syst。设计。57，编号3，473--495（2021；Zbl 1522.68297） 全文： 内政部
尼尔·德鲁克;何希明;约尔·瓦克宁;米查尔·佩恩;斯特里赫曼（Ofer Strichman） 无人飞行器的循环路线。 （英语） Zbl 1423.68445号 J.计算。系统。科学。 103, 18-45 (2019).MSC公司：68T20型 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Drucker}等人，《计算杂志》。系统。科学。103、18-45（2019年；Zbl 1423.68445） 全文： 内政部 链接
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼（Ofer Strichman） 合成非真空系统。 （英语） Zbl 1484.68096号 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 55-72 (2017).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，Lect。注释计算。科学。10145，55-72（2017；Zbl 1484.68096） 全文： 内政部 链接
丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼（Ofer Strichman）;托马斯·瓦尔;詹姆斯·沃雷尔 有界模型检查的线性完整性阈值。 （英语） Zbl 1360.68592号 Gopalakrishnan，Ganesh（编辑）等人，《计算机辅助验证》。2011年7月14日至20日，第23届国际会议，CAV 2011，美国犹他州雪鸟。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22109-5/pbk）。计算机科学课堂讲稿6806557-572（2011）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人，Lect。注释计算。科学。6806557--572（2011；Zbl 1360.68592） 全文： 内政部
丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman） 可满足性模理论的框架。 （英语） Zbl 1192.68647号 正式Asp。计算。 第5号第21页，第485-494页（2009年）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}和\textit{O.Strichman}，正式Asp。计算。21，第5号，485--494（2009；Zbl 1192.68647） 全文： 内政部
罗扎诺夫、米伦;斯特里赫曼（Ofer Strichman） 在P-time中生成最小及物性约束以确定等式逻辑。 （英语） Zbl 1277.68146号 Krstić，Sava（编辑）等人，第五届可满足性模理论国际研讨会论文集（SMT 2007），德国柏林，2007年7月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》198，第2期，第3-17页（2008年）。MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Rozanov}和\textit{O.Strichman}，电子。注释Theor。计算。科学。198，第2、3--17号（2008；Zbl 1277.68146） 全文： 内政部
萨加·查基;斯特里赫曼（Ofer Strichman） 用（L^{*}）对假设保证推理进行了三种优化。 （英语） Zbl 1147.68569号 形式方法系统。设计。 32，第3期，267-284（2008）.MSC公司：60年第68季度 第68季度85 第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}和\textit{O.Strichman}，形式方法系统。设计。32，第3号，267--284（2008；Zbl 1147.68569） 全文： 内政部
约夫·罗德;斯特里赫曼（Ofer Strichman） 构建小型等式图，以确定具有未解释函数的等式逻辑。 （英语） Zbl 1093.03013号 Inf.计算。 204，第1期，26-59（2006）.MSC公司：03B70号 03B25号 12升05 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Rodeh}和\textit{O.Strichman}，Inf.Comput。204，第1号，26-59（2006；Zbl 1093.03013） 全文： 内政部
阿米尔·普努利;约夫·罗德;斯特里赫曼（Ofer Strichman）;迈克尔·西格尔 小模型属性：它能有多小？ （英语） Zbl 1012.03040号 Inf.计算。 178，第1期，279-293（2002）.MSC公司：03B70号 03B25号 68兰特 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}等人，《信息计算》。178，编号1，279--293（2002；Zbl 1012.03040） 全文： 内政部