拉杜·乔巴努
人员信息
其他同名人员
拉杜·伊欧安·乔巴努 -罗马尼亚布加勒斯特Politehnica大学
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2010 – 2019
2018 【c3】 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿提格 , 拉杜·乔巴努 , 理查·马 , 帕特里克·托茨克 :
定时Petri网的通用安全是完整的PSPACE。 CONCUR公司 2018 : 6:1-6:15 [i2] 帕罗什·阿齐兹·阿卜杜拉 , 穆罕默德·法乌齐·阿蒂格 , 拉杜·乔巴努 , 理查·马 , 帕特里克·托茨克 :
定时Petri网的通用安全是完整的PSPACE。 CoRR公司 abs/1806.08170 ( 2018 ) 2016 【c2】 帕罗什·阿齐兹·阿卜杜拉 , 拉杜·乔巴努 , 理查·马 , 阿诺德·桑尼尔 , 杰里米·斯普洛斯顿 :
VASS诱导MDP的定性分析。 FoSSaCS公司 2016 : 319-334 2015 [i1] 帕罗什·阿齐兹·阿卜杜拉 , 拉杜·乔巴努 , 理查·马 , 阿诺德·桑尼尔 , 杰里米·斯普鲁斯顿 :
VASS诱导MDP的定性分析。 CoRR公司 abs/1512.08824 ( 2015 )
2000 – 2009
2008 【c1】 赫尔曼·施密特 , 阿密特·古普塔 , 拉杜·乔巴努 :
结构化ASIC的放置挑战。 ISPD公司 2008 : 84-86
![](https://dblp.org/img/cog.dark.24x24.png)