×
作者ID: 尼科莱斯库“Nicolescu,Radu”最近发表的zbMATH文章
发布日期: 拉杜·尼科尔斯库;尼科尔斯库,R。
已编制索引的文档: 38出版物自1973年以来
合著者: 28位合著者具有31份联合出版物
441位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

26出版物有被引用94中的次35文件 引用人 年份
cP系统简介。 Zbl 1519.68093号
拉杜·尼科尔斯库;亚历克·亨德森
9
2018
使用PAT3和ProB对cP系统进行正式验证。 Zbl 1469.68046号
刘业洲;拉杜·尼科尔斯库;孙静
8
2020
cP系统中的哈密顿循环和旅行商问题。 Zbl 1414.68028号
詹姆斯·库珀;拉杜·尼科尔斯库
8
2019
用cP系统解决PSPACE-完整问题。 Zbl 1469.68036号
亚历克·亨德森;拉杜·尼科尔斯库;迈克尔·丁尼恩(Michael J.Dinneen)。
6
2020
P系统中更快的同步。 Zbl 1251.68102号
迈克尔·丁尼恩(Michael J.Dinneen)。;金、云、布;拉杜·尼科尔斯库
6
2012
用复杂对象编程P系统。 Zbl 1407.68102号
拉杜·尼科尔斯库;佛罗伦萨伊帕特;吴慧玲
5
2014
P系统中不相交路径的BFS解。 Zbl 1330.68342号
拉杜·尼科尔斯库;吴慧玲
5
2011
P系统和拜占庭协议。 Zbl 1208.68116号
迈克尔·丁尼恩(Michael J.Dinneen)。;金、云、布;拉杜·尼科尔斯库
5
2010
类演员cP系统。 Zbl 1522.68212号
亚历克·亨德森;拉杜·尼科尔斯库
5
2019
拜占庭协议问题的更快的P解决方案。 Zbl 1259.68068号
迈克尔·丁尼恩(Michael J.Dinneen)。;金、云、布;拉杜·尼科尔斯库
5
2010
发现hyperdag P系统的膜拓扑结构。 Zbl 1273.68133号
拉杜·尼科尔斯库;迈克尔·丁尼恩(Michael J.Dinneen)。;金、云、布
4
2010
用水进行膜计算。 Zbl 1469.68038号
托马斯·欣泽;哈,亨德里克;亚历克·亨德森;拉杜·尼科尔斯库
4
2020
使用复杂对象和角色进行并行细化。 Zbl 1457.68105号
拉杜·尼科尔斯库
2014
图着色问题的P系统解决方案的替代表示。 Zbl 1431.68027号
詹姆斯·库珀;拉杜·尼科尔斯库
2019
P系统中不相交路径的新解决方案。 Zbl 1331.68287号
拉杜·尼科尔斯库;吴慧玲
2012
P系统中的并行和分布式算法。 Zbl 1350.68110号
拉杜·尼科尔斯库
2
2012
cP系统中的次线性数独解及其形式验证。 Zbl 1469.68047号
刘业洲;拉杜·尼科尔斯库;孙静;亚历克·亨德森
2
2021
面向分布式计算的实用P系统。 兹比尔1265.68075
迈克尔·丁尼恩(Michael J.Dinneen)。;Kim,Yun Bum;拉杜·尼科尔斯库
2
2009
一种高效的标记嵌套多集统一算法。 Zbl 1490.68099号
刘业洲;拉杜·尼科尔斯库;孙静
2
2021
P系统同步的自适应算法。 Zbl 1350.68102号
迈克尔·丁尼恩(Michael J.Dinneen)。;金、云、布;拉杜·尼科尔斯库
1
2012
P模块中的同步。 Zbl 1286.68130号
迈克尔·丁尼恩(Michael J.Dinneen)。;金、云、布;拉杜·尼科尔斯库
1
2010
最常见的词–cP系统解决方案。 Zbl 1497.68199号
拉杜·尼科尔斯库
1
2018
用复杂对象建模的结构化网格算法。 Zbl 1473.68088号
拉杜·尼科尔斯库
1
2015
P系统实现动态编程立体声。 Zbl 1276.68077号
乔治·吉梅尔·法布;拉杜·尼科尔斯库;莎文·拉加万
1
2013
水计算的图灵完备性。 Zbl 1490.68106号
亚历克·亨德森;拉杜·尼科尔斯库;迈克尔·丁尼恩(Michael J.Dinneen)。;Chan,T.N。;哈,亨德里克;托马斯·欣泽
1
2021
使用Coq对cP系统进行正式验证。 Zbl 1490.68100号
刘业洲;拉杜·尼科尔斯库;孙静
1
2021
cP系统中的次线性数独解及其形式验证。 Zbl 1469.68047号
刘业洲;拉杜·尼科尔斯库;孙静;亚历克·亨德森
2
2021
一种高效的标记嵌套多集统一算法。 Zbl 1490.68099号
刘业洲;拉杜·尼科尔斯库;孙静
2
2021
水计算的图灵完备性。 Zbl 1490.68106号
亚历克·亨德森;拉杜·尼科尔斯库;迈克尔·丁尼恩(Michael J.Dinneen)。;Chan,T.N。;Happe,亨德里克;托马斯·欣泽
1
2021
使用Coq对cP系统进行正式验证。 Zbl 1490.68100号
刘业洲;拉杜·尼科尔斯库;孙静
1
2021
使用PAT3和ProB对cP系统进行正式验证。 Zbl 1469.68046号
刘业洲;拉杜·尼科尔斯库;孙静
8
2020
用cP系统解决PSPACE-完整问题。 Zbl 1469.68036号
亚历克·亨德森;拉杜·尼科尔斯库;迈克尔·丁尼恩(Michael J.Dinneen)。
6
2020
用水进行膜计算。 Zbl 1469.68038号
托马斯·欣泽;哈,亨德里克;亚历克·亨德森;拉杜·尼科尔斯库
4
2020
cP系统中的哈密顿循环和旅行商问题。 Zbl 1414.68028号
詹姆斯·库珀;拉杜·尼科尔斯库
8
2019
类演员cP系统。 Zbl 1522.68212号
亚历克·亨德森;拉杜·尼科尔斯库
5
2019
图着色问题的P系统解决方案的替代表示。 Zbl 1431.68027号
詹姆斯·库珀;拉杜·尼科尔斯库
2019
cP系统简介。 Zbl 1519.68093号
拉杜·尼科尔斯库;亚历克·亨德森
9
2018
最常见的词–cP系统解决方案。 Zbl 1497.68199号
拉杜·尼科尔斯库
1
2018
用复杂对象建模的结构化网格算法。 Zbl 1473.68088号
拉杜·尼科尔斯库
1
2015
用复杂对象编程P系统。 Zbl 1407.68102号
拉杜·尼科尔斯库;佛罗伦萨伊帕特;吴慧玲
5
2014
使用复杂对象和角色进行并行细化。 Zbl 1457.68105号
拉杜·尼科尔斯库
2014
P系统实现动态编程立体声。 Zbl 1276.68077号
吉梅尔;乔治·法布;拉杜·尼科尔斯库;沙文·拉加万
1
2013
P系统中更快的同步。 Zbl 1251.68102号
迈克尔·丁尼恩(Michael J.Dinneen)。;金、云、布;拉杜·尼科尔斯库
6
2012
P系统中不相交路径的新解。 Zbl 1331.68287号
拉杜·尼科尔斯库;吴慧玲
2012
P系统中的并行和分布式算法。 Zbl 1350.68110号
拉杜·尼科尔斯库
2
2012
P系统同步的自适应算法。 Zbl 1350.68102号
迈克尔·丁尼恩(Michael J.Dinneen)。;金、云、布;拉杜·尼科尔斯库
1
2012
P系统中不相交路径的BFS解。 Zbl 1330.68342号
拉杜·尼科尔斯库;吴慧玲
5
2011
P系统和拜占庭协议。 Zbl 1208.68116号
迈克尔·丁尼恩(Michael J.Dinneen)。;金、云、布;拉杜·尼科尔斯库
5
2010
拜占庭协议问题的更快的P解决方案。 Zbl 1259.68068号
迈克尔·丁尼恩(Michael J.Dinneen)。;金、云、布;拉杜·尼科尔斯库
5
2010
发现hyperdag P系统的膜拓扑结构。 Zbl 1273.68133号
拉杜·尼科尔斯库;迈克尔·丁尼恩(Michael J.Dinneen)。;金、云、布
4
2010
P模块中的同步。 Zbl 1286.68130号
迈克尔·丁尼恩(Michael J.Dinneen)。;金、云、布;拉杜·尼科尔斯库
1
2010
面向分布式计算的实用P系统。 Zbl 1265.68075号
迈克尔·丁尼恩(Michael J.Dinneen)。;金、云、布;拉杜·尼科尔斯库
2
2009

按年份列出的引文