苏米特·奈恩
人员信息
其他同名人员
优化列表
2010 – 2019
2014 [j3] 苏米特·奈恩 , 尤亚德·卢斯蒂格 , 莫舍·瓦尔迪 :
概率成分合成。 日志。 方法计算。 科学。 10 ( 2 ) ( 2014 ) [第11条] 克里希南德·查特吉 , 劳伦特·多恩 , 苏米特·奈恩 , 莫舍·瓦尔迪 :
具有有限记忆策略的部分观测随机奇偶博弈的复杂性。 FoSSaCS公司 2014 : 242-257 [i1] 克里希南德·查特吉 , 劳伦特·多恩 , 苏米特·奈恩 , 莫舍·瓦尔迪 :
具有有限记忆策略的部分观测随机奇偶博弈的复杂性。 CoRR公司 abs/1401.3289 ( 2014 ) 2013 [第10条] 苏米特·奈恩 , 莫舍·瓦尔迪 :
求解部分信息随机奇偶博弈。 低收入国家 2013 : 341-348 2012 【c9】 苏米特·奈恩 , 莫舍·瓦尔迪 :
合成概率构造器。 FoSSaCS公司 2012 : 421-436 2011 【c8】 尤亚德·卢斯蒂格 , 苏米特·奈恩 , 莫舍·瓦尔迪 :
概率成分合成。 CSL公司 2011 : 412-427
2000 – 2009
2009 【c7】 苏米特·奈恩 , 莫舍·瓦尔迪 :
跟踪语义是完全抽象的。 低收入国家 2009 : 59-68 2008 [注2] 陈陶璐 , 万·J·福克金 , 巴斯·卢提克 , 苏米特·奈恩 :
基于有限字母和无限基数。 Inf.计算。 206 ( 5 ) : 492-519 ( 2008 ) 2007 【c6】 苏米特·奈恩 , 莫舍·瓦尔迪 :
分支与线性时间:语义视角。 ATVA公司 2007 : 19-34 2006 [j1] 卢卡·埃特罗 , 万·J·福克金 , Anna Ingólfsdóttir女士 , 苏米特·奈恩 :
具有中断的BPA上的双相似性不是有限的。 西奥。 计算。 科学。 366 ( 1-2 ) : 60-81 ( 2006 ) 【c5】 陈陶璐 , 万·J·福克金 , 苏米特·奈恩 :
有限字母和无限基II:完整和就绪模拟。 FoSSaCS公司 2006 : 1-15 2005 【c4】 卢卡·埃特罗 , 万·J·福克金 , 安娜·英格尔斯多蒂尔 , 苏米特·奈恩 :
具有中断的BPA上的相似性不是有限的。 CALCO公司 2005 : 52-66 【c3】 万·J·福金克 , 苏米特·奈恩 :
失败语义的有限基础。 ICALP公司 2005 : 755-765 2004 【c2】 万·J·福克金 , 苏米特·奈恩 :
有限字母和无限基:从就绪对到可能世界。 FoSSaCS公司 2004 : 182-194 2003 【c1】 斯特凡·布罗姆 , 万·J·福克金 , 苏米特·奈恩 :
关于就绪跟踪、就绪模拟和故障跟踪的公理化。 ICALP公司 2003 : 109-118