×
作者ID: 陈生.4“Chen,Sheng”最近发表的zbMATH文章
发布日期: 陈胜
主页: https://people.cmix.louisiana.edu/schen网站/
外部链接: 逆戟鲸·谷歌学者·ResearchGate研究之门·数据库许可证
已编制索引的文档: 25份出版物自2007年以来,包括6附加arXiv预打印
合著者: 7合著者具有17联合出版物
516位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

13出版物有被引用24中的次13文件 引用人 年份
变分λ演算的一个容错型系统。 Zbl 1291.68111号
陈胜马丁·埃尔维格埃里克·沃尔金肖
7
2012
具有空间采样数据的反应扩散Fitzhugh-Nagumo系统的同步控制。 Zbl 1400.93006号
陈胜林成切石鹏陆振宇
5
2018
紧致黎曼流形的共识。 Zbl 1341.68014号
陈胜赵林都张伟功石鹏
5
2014
有限时间内完备黎曼流形的一致性。 Zbl 1272.93009号
陈胜石鹏张伟功赵林都
4
2013
用于调试类型错误的计数器实际类型。 Zbl 1284.68146号
陈胜马丁·埃尔维格
2014
引导式调试。 Zbl 1416.68034号
陈胜马丁·埃尔维格
2014
具有切换定向通信拓扑的黎曼流形强凸球的有限时间一致性。 Zbl 1305.93012号
陈胜石鹏张伟功赵林都
2014
正在迁移渐变类型。 Zbl 1511.68051号
约翰·彼得三世坎波拉陈胜马丁·埃尔维格埃里克·沃尔金肖
2
2022
具有不一致双极性信息的三重模糊方法。 Zbl 1376.68130号
韩,英林成切陈胜
2
2017
CAT(0)空间中的一致性算法及其在系统发育树分布式融合中的应用。 Zbl 1423.68580号
陈胜石鹏林成切陆振宇
1
2018
模糊度量空间中的曲线弧长。 Zbl 1376.54006号
陈胜石鹏林成切
1
2017
GADT的主体类型推断。 兹比尔1347.68076
陈胜马丁·埃尔维格
1
2016
改进类型类的类型错误报告。 Zbl 07570112号
陈胜努尔,Md Rabib
1
2022
正在迁移渐变类型。 Zbl 1511.68051号
约翰·彼得三世坎波拉陈胜马丁·埃尔维格埃里克·沃尔金肖
2
2022
改进类型类的类型错误报告。 Zbl 07570112号
陈胜努尔,Md Rabib
1
2022
具有空间采样数据的反应扩散Fitzhugh-Nagumo系统的同步控制。 Zbl 1400.93006号
陈胜林成切石鹏陆振宇
5
2018
CAT(0)空间中的一致性算法及其在系统发育树分布式融合中的应用。 Zbl 1423.68580号
陈胜石鹏林成切陆振宇
1
2018
具有不一致双极性信息的三重模糊方法。 Zbl 1376.68130号
韩,英林成切陈胜
2
2017
模糊度量空间中的曲线弧长。 Zbl 1376.54006号
陈胜石鹏林成切
1
2017
GADT的主体类型推断。 Zbl 1347.68076号
陈胜马丁·埃尔维格
1
2016
紧致黎曼流形的共识。 Zbl 1341.68014号
陈胜赵林都张伟功石鹏
5
2014
用于调试类型错误的计数器实际类型。 Zbl 1284.68146号
陈胜马丁·埃尔维格
2014
引导式调试。 Zbl 1416.68034号
陈胜马丁·埃尔维格
2014
具有切换定向通信拓扑的黎曼流形强凸球的有限时间一致性。 Zbl 1305.93012号
陈胜石鹏张伟功赵林都
2014
有限时间内完备黎曼流形的一致性。 Zbl 1272.93009号
陈胜石鹏张伟功赵林都
4
2013
变分λ演算的一个容错型系统。 Zbl 1291.68111号
陈胜马丁·埃尔维格埃里克·沃尔金肖
7
2012

按年份列出的引文