伊戈尔·齐诺维克;尤里·切比里亚克;丹尼尔·克罗宁 基因调控网络Glass模型中的周期轨道和平衡。 (英语) Zbl 1366.92052号 IEEE传输。Inf.理论 56,第2期,805-820(2010).MSC公司:92C40型 PDF格式BibTeX公司 XML格式引用 \textit{I.Zinovik}等人,IEEE Trans。Inf.Theory 56,No.2,805--820(2010;Zbl 1366.92052) 全文: 内政部
尤里·切比里亚克;托马斯·沃尔;丹尼尔·克罗宁;利奥波德·哈勒 在二元超立方体中寻找精益诱导循环。 (英语) Zbl 1247.68248号 Kullmann,Oliver(编辑),可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02776-5/pbk)。计算机科学课堂讲稿5584,18-31(2009)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chebiryak}等人,Lect。注释计算。科学。5584,18-31(2009年;兹比尔1247.68248) 全文: 内政部 链接
伊戈尔·齐诺维克;丹尼尔·克罗宁;尤里·切比里亚克 使用SAT解算器通过穷举搜索计算二进制组合格雷码。 (英语) Zbl 1328.94095号 IEEE传输。Inf.理论 54,第4期,1819-1823(2008).MSC公司:94年2月25日 2015年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{I.Zinovik}等人,IEEE Trans。Inf.Theory 54,No.4,1819--1823(2008;Zbl 1328.94095) 全文: 内政部
尤里·切比里亚克;丹尼尔·克罗宁 六立方体中哈密顿圈的分类。 (英语) Zbl 1147.68703号 J.满意。布尔模型。计算。 4,第1号,57-74(2008).MSC公司:68T20型 05C38号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chebiryak}和\textit{D.Kroening},J.Satisf。布尔模型。计算。4、编号1、57--74(2008;Zbl 1147.68703)
伊戈尔·齐诺维克;丹尼尔·克罗宁;尤里·切比里亚克 识别沿循环吸引子具有周期轨道的玻璃网络的代数算法。 (英语) Zbl 1127.92004号 Anai,Hirokazu(编辑)等,代数生物学。第二届国际会议,2007年7月2日至4日,奥地利哈根堡堡,AB 2007。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73432-1/pbk)。计算机科学课堂讲稿4545140-154(2007)。MSC公司:92B05型 68瓦30 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{I.Zinovik}等人,Lect。注释计算。科学。4545,140--154(2007;Zbl 1127.92004) 全文: 内政部 链接