伊利亚·什利亚克特
人员信息
优化列表
2020年–今天
2021 [j6] 雅罗斯拉夫·哈尔琴科 , 凯尔·梅耶 , 本杰明·波德拉克 , 德班朱姆·辛格·索拉基 , 阿迪娜·瓦格纳 , 杰森·戈尔斯 , 戴夫·麦克法兰 , 多里安·普斯蒂娜 , 凡妮莎·V·索查特 , 萨特拉吉特·高什 , 克里斯蒂安·莫奇 , 克里斯托弗·马基维奇兹(Christopher J.Markiewicz) , 劳拉·韦特 , 伊利亚·什利亚克特 , 亚历杭德罗·德拉维加 , 林宗一(Soichi Hayashi) , 克里斯蒂安·奥拉夫·哈斯勒 , Jean-Baptiste Poline公司 , 托比亚斯·卡德尔卡 , 库斯蒂·斯凯恩 , 多罗塔·贾雷卡 , 大卫·N·肯尼迪 , 特德·施特劳斯 , 马特·西斯拉克 , 彼得·瓦夫拉 , Horea-Ioan Ioanas公司 , 罗苹 , 米卡·普吕格 , 詹姆斯·哈克斯比 , 西蒙·艾克霍夫 , 迈克尔·汉克 :
DataLad:用于联合管理代码、数据及其关系的分布式系统。 J.开源软件。 6 ( 63 ) : 3262 ( 2021 )
2010 – 2019
2014 [j5] 伊利亚·什利亚克特 , 帕迪斯·萨贝蒂 , 斯蒂芬·沙夫纳 :
Cosi2公司: 精确和近似结合选择的高效模拟器。 生物信息。 30 ( 23 ) : 3427-3429 ( 2014 )
2000 – 2009
2008 【j4】 亚历山大·扎克斯 , 杨子江 , 伊利亚·什利亚克特 , 弗兰乔·伊万西奇 , Srihari Cadambi公司 , 马来语K.Ganai , 阿尔蒂·古普塔 , 普拉纳夫·阿沙尔 :
通过符号区间分析降低软件模型检查的比特宽度。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 27 ( 8 ) : 1513-1517 ( 2008 ) 2007 [j3] 伊利亚·什利亚克特 :
为搜索问题生成有效的破坏对称的谓词。 谨慎。 申请。 数学。 155 ( 12 ) : 1539-1548 ( 2007 ) 2006 【c8】 印度 , 弗兰乔·伊万西奇 , 阿尔蒂·古普塔 , 伊利亚·什利亚克特 , 王超(Chao Wang) :
在谓词抽象和优化循环中使用静态计算的不变量。 CAV汽车 2006 : 137-151 【c7】 斯里拉姆·桑卡拉纳拉亚南 , 弗兰乔·伊万西奇 , 伊利亚·什利亚克特 , 阿尔蒂·古普塔 :
析取数值域中的静态分析。 SAS公司 2006 : 3-17 2005 【c6】 弗兰乔·伊万西奇 , 杨子江 , 马来语K.Ganai , 阿尔蒂·古普塔 , 伊利亚·什利亚克特 , 普拉纳夫·阿沙尔 :
F-Soft:软件验证平台。 CAV汽车 2005 : 301-306 【c5】 弗兰乔·伊万西奇 , 伊利亚·什利亚克特 , 阿尔蒂·古普塔 , 马来语K.Ganai , 维尼特·卡隆 , 王超(Chao Wang) , 杨子江 :
使用F-SOFT对C程序进行模型检查。 ICCD公司 2005 : 297-308 2003 【c4】 伊利亚·什利亚克特 , 罗伯特·西特 , 丹尼尔·杰克逊博士 , 马努·斯里德哈兰 , 玛娜·塔赫迪里 :
使用不可满足的核心调试过度约束的声明性模型。 ASE公司 2003 : 94-105 【c3】 萨尔夫拉兹·库希德 , 达科·马里诺夫 , 伊利亚·什利亚克特 , 丹尼尔·杰克逊博士 :
高效解决方案枚举的一个案例。 坐 2003 : 272-286 2001 [注2] 伊利亚·什利亚克特 , 马克斯·罗泽诺 , 朱莉·多尔西 , 赛斯·J·泰勒 :
从仪器照片重建三维树木模型。 IEEE计算机图形和应用 21 ( 三 ) : 53-61 ( 2001 ) [j1] 伊利亚·什利亚克特 :
为搜索问题生成有效的破坏对称的谓词。 电子。 注释谨慎。 数学。 9 : 19-35 ( 2001 ) 【c2】 丹尼尔·杰克逊博士 , 伊利亚·什利亚克特 , 马努·斯里德哈兰 :
微模数机制。 ESEC/SIGSOFT FSE 2001 : 62-73 2000 【c1】 丹尼尔·杰克逊博士 , 伊恩·谢赫特 , 伊利亚·什利亚克特 :
美铝:合金约束分析仪。 ICSE公司 2000 : 730-733