尤亚德·卢斯蒂格
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2015 [第14条] 达娜·菲斯曼 , 尤亚德·卢斯蒂格 :
Büchi判定的模块化方法。 CONCUR公司 2015 : 368-382 2014 [j3] 苏米特·奈恩 , 尤亚德·卢斯蒂格 , 莫舍·瓦尔迪 :
概率成分合成。 日志。 方法计算。 科学。 10 ( 2 ) ( 2014 ) 2013 [注2] 尤亚德·卢斯蒂格 , 莫舍·瓦尔迪 :
从组件库合成。 国际期刊软件。 技术工具。 Transf公司。 15 ( 5-6 ) : 603-618 ( 2013 ) 2011 [第13条] 尤亚德·卢斯蒂格 , 苏米特·奈恩 , 莫舍·瓦尔迪 :
概率成分合成。 CSL公司 2011 : 412-427 [第12条] 奥尔娜·库普夫曼 , 尤德·卢斯蒂格 , 莫舍·瓦尔迪 , 米哈利斯·扬纳卡基斯 :
有界系统和环境的时间合成。 STACS公司 2011 : 615-626 [第11条] 尤亚德·卢斯蒂格 , 莫舍·瓦尔迪 :
递归组件库合成。 甘道夫 2011 : 1-16 2010 [j1] 奥尔娜·库普夫曼 , 尤亚德·卢斯蒂格 :
格模拟关系和游戏。 发现的国际期刊。 计算。 科学。 21 ( 2 ) : 167-189 ( 2010 ) [第10条] 达娜·菲斯曼 , 奥尔娜·库普夫曼 , 尤亚德·卢斯蒂格 :
理性综合。 TACAS公司 2010 : 190-204
2000 – 2009
2009 【c9】 尤亚德·卢斯蒂格 , 莫舍·瓦尔迪 :
从组件库合成。 FoSSaCS公司 2009 : 395-409 [i2] 达娜·菲斯曼 , 奥尔娜·库普夫曼 , 尤亚德·卢斯蒂格 :
理性综合。 CoRR公司 abs/0907.3019 ( 2009 ) 2008 【b1】 尤亚德·卢斯蒂格 :
关于基于格的多值系统的推理。 以色列耶路撒冷希伯来语大学, 2008 【c8】 达娜·菲斯曼 , 奥尔娜·库普夫曼 , 尤亚德·卢斯蒂格 :
分布式协议容错性验证。 TACAS公司 2008 : 315-331 【c7】 奥尔娜·库普夫曼 , 尤亚德·卢斯蒂格 :
多值逻辑、自动机、仿真和游戏。 VMCAI公司 2008 : 5 2007 【c6】 奥尔娜·库普夫曼 , 尤亚德·卢斯蒂格 :
格模拟关系和游戏。 ATVA公司 2007 : 316-330 【c5】 奥尔娜·库普夫曼 , 尤亚德·卢斯蒂格 :
什么触发行为? FMCAD公司 2007 : 146-153 【c4】 奥尔娜·库普夫曼 , 尤亚德·卢斯蒂格 :
格子自动机。 VMCAI公司 2007 : 199-213 2006 【c3】 奥尔娜·库普夫曼 , 尤亚德·卢斯蒂格 , 莫舍·瓦尔迪 :
关于本地可检查属性。 LPAR公司 2006 : 302-316 2005 【c2】 丹尼尔·盖斯特 , 马克·金兹伯格 , 尤德·卢斯蒂格 , 伊斯海·拉比诺维茨 , 奥哈德·沙查姆 , 雷切尔·索雷夫 :
在有限路径模型上支持基于SAT的BMC。 BMC@CAV 2005 : 67-77 2003 【c1】 辛迪·艾斯纳 , 达娜·菲斯曼 , 约翰·哈夫利切克 , 尤亚德·卢斯蒂格 , 安东尼·麦克艾萨克 , 大卫·范·坎本霍特 :
截断路径上的时态逻辑推理。 CAV汽车 2003 : 27-39 2002 [i1] 密码学基础 , 尤亚德·卢斯蒂格 , 莫尼·奈尔 :
论多重加密的选择性密文安全性。 IACR加密。 电子打印架构。 2002 : 89 ( 2002 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)