雷米·博内特
人员信息
优化列表
2010 – 2019
2014 【c7】 雷米发动机盖 , 斯特凡·基弗 , 安东尼·威贾贾·林 :
概率基本并行过程分析。 FoSSaCS公司 2014 : 43-57 [i1] 雷米发动机盖 , 斯特凡·基弗 , 安东尼·威贾贾·林 :
概率基本并行过程分析。 CoRR公司 abs/1401.4130 ( 2014 ) 2013 [j3] 雷米发动机盖 , 罗希特·查达 , P.马都苏丹 , 马赫什·维斯瓦纳坦 :
上下文锁定下的可达性。 日志。 方法计算。 科学。 9 ( 三 ) ( 2013 ) [注2] 雷米·博内特 , 阿兰·芬克尔 , 谢尔盖·哈达德 , 费尔南多·罗莎·维拉尔多 :
有序转换系统表达性的序数理论。 Inf.计算。 224 : 1-22 ( 2013 ) 【c6】 雷米发动机盖 , 罗希特·查达 :
边界上下文切换和重入锁定。 FoSSaCS公司 2013 : 65-80 2012 [j1] 雷米发动机盖 , 阿兰·芬克尔 , 杰罗姆·勒鲁 , 马克·泽顿 :
具有一个零测试的模型检验矢量加法系统。 日志。 方法计算。 科学。 8 ( 2 ) ( 2012 ) 【c5】 雷米发动机盖 , 阿兰·芬克尔 , M.Praveen先生 :
将Rackoff技术扩展到仿射网。 FSTTCS公司 2012 : 301-312 2011 【c4】 雷米·博内特 , 阿兰·芬克尔 , 谢尔盖·哈达德 , 费尔南多·罗莎·维拉尔多 :
结构良好的过渡系统表达的序贯理论。 FoSSaCS公司 2011 : 153-167 【c3】 雷米发动机盖 :
一元向量加法系统的可达性问题。 MFCS公司 2011 : 145-157 【c2】 雷米发动机盖 :
带一个零检验的向量加法系统LTL的可判定性。 RP公司 2011 : 85-95 2010 【c1】 雷米发动机盖 , 阿兰·芬克尔 , 杰罗姆·勒鲁 , 马克·泽顿 :
具有一个零检验的向量加法系统的有界性。 FSTTCS公司 2010 : 192-203