• 所属院系:计算机科学与软件工程学院
  • 认领成果数 21
  • wos论文数 20
  • wos被引 82
  • wos篇均被引 4.10

全部成果分类

导出 规范数据导出
  • 排序
  • 显示
1. Relating reasoning methodologies in linear logic and process algebra 代表性成果 SCIE

作者:Deng, Y; Simmons, RJ; Cervesato, I

通讯作者地址:Deng, Y (reprint author), Shanghai Jiao Tong Univ, Dept Comp Sci & Engn, 800 Dongchuan Rd, Shanghai 200240, Peoples R China.; Simmons, RJ (reprint author), Carnegie Mellon Univ, Sch Comp Sci, Pittsburgh, PA 15213 USA.; Cervesato, I (reprint author), Carnegie Mellon Univ, Qatar Campus, Doha, Qatar.

作者机构:[Deng, Yuxin] Shanghai Jiao Tong Univ, Dept Comp Sci & Engn, 800 Dongchuan Rd, Shanghai 200240, Peoples R China.; [Simmons, Robert J.] Carnegie Mell 更多

来源:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,2016,26,5,868-906

收录类别:SCIE

当年影响因子:0.73

资源类型:外文期刊论文

2. Logical characterizations of simulation and bisimulation for fuzzy transition systems 代表性成果 SCOPUS SCIE EI

作者:Wu, HY;Deng, YX

通讯作者:Wu, Hengyang(wuhengy_1974@aliyun.com)

通讯作者地址:Wu, HY (reprint author), Hangzhou Dianzi Univ, Informat Engn Coll, Hangzhou 310018, Zhejiang, Peoples R China.

作者机构:[Wu, Hengyang] Hangzhou Dianzi Univ, Informat Engn Coll, Hangzhou 310018, Zhejiang, Peoples R China.; [Deng, Yuxin] East China Normal Univ, Shanghai 更多

来源:FUZZY SETS AND SYSTEMS,2016,301,19-36

收录类别:SCOPUS;SCIE;EI

当年影响因子:2.718

WOS被引:4

Scopus被引:8

资源类型:外文期刊论文

8. Compositional reasoning for weighted Markov decision processes 代表性成果 SCIE

作者:Deng, YX; Hennessy, M

通讯作者地址:Deng, YX (reprint author), Shanghai Jiao Tong Univ, Shanghai 200030, Peoples R China.

作者机构:[Deng, Yuxin] Shanghai Jiao Tong Univ, Shanghai 200030, Peoples R China.; [Hennessy, Matthew] Trinity Coll Dublin, Dublin, Ireland.

来源:SCIENCE OF COMPUTER PROGRAMMING,2013,78,12,2537-2579

收录类别:SCIE

当年影响因子:1.064

WOS被引:4

资源类型:外文期刊论文

12. Learning to Rank Documents Using Similarity Information between Objects 代表性成果 SCIE

作者:Zhou, D; Ding, YX; You, QZ; Xiao, M

通讯作者地址:Zhou, D (reprint author), Shenzhen Grad Sch, Intelligent Comp Res Ctr, Harbin Inst Technol, Shenzhen 518055, Peoples R China.

作者机构:[Zhou, Di; Ding, Yuxin; You, Qingzhen; Xiao, Min] Shenzhen Grad Sch, Intelligent Comp Res Ctr, Harbin Inst Technol, Shenzhen 518055, Peoples R China.

来源:NEURAL INFORMATION PROCESSING, PT II,2011,7063,374-381

收录类别:SCIE

WOS被引:2

资源类型:外文期刊论文

13. High Order Hopfield Network with Self-feedback to Solve Crossbar Switch Problem 代表性成果 SCIE

作者:Ding, YX; Dong, L; Zhao, B; Lu, ZJ

通讯作者地址:Ding, YX (reprint author), Harbin Inst Technol, Shenzhen Grad Sch, Dept Comp Sci & Technol, Key Lab Network Oriented Intelligent Computat, Harbin, Peoples R China.

作者机构:[Ding, Yuxin; Dong, Li; Zhao, Bin; Lu, Zhanjun] Harbin Inst Technol, Shenzhen Grad Sch, Dept Comp Sci & Technol, Key Lab Network Oriented Intelligent 更多

来源:NEURAL INFORMATION PROCESSING, PT III,2011,7064,315-322

收录类别:SCIE

资源类型:外文期刊论文

14. Verifying Self-stabilizing Population Protocols with Coq 代表性成果 SCIE

作者:Deng, YX; Monin, JF

通讯作者地址:Deng, YX (reprint author), Shanghai Jiao Tong Univ, Dept Comp Sci & Engn, Shanghai, Peoples R China.

作者机构:[Deng, Yuxin] Shanghai Jiao Tong Univ, Dept Comp Sci & Engn, Shanghai, Peoples R China.; [Monin, Jean-Francois] Univ Grenoble 1, Grenoble, France.

来源:THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE; ENGINEERING, PROCEEDINGS,2009,201-+

收录类别:SCIE

WOS被引:5

资源类型:外文期刊论文

17. Game Characterizations of Process Equivalences 代表性成果 SCIE

作者:Chen, X; Deng, YX

通讯作者地址:Chen, X (reprint author), Shanghai Jiao Tong Univ, Dept Comp Sci & Engn, Shanghai, Peoples R China.

作者机构:[Chen, Xin; Deng, Yuxin] Shanghai Jiao Tong Univ, Dept Comp Sci & Engn, Shanghai, Peoples R China.

来源:PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS,2008,5356,107-121

收录类别:SCIE

WOS被引:5

资源类型:外文期刊论文

19. Towards automatic measurement of probabilistic processes 代表性成果 SCIE

作者:Song, L; Deng, YX; Cai, XJ

通讯作者地址:Song, L (reprint author), Shanghai Jiao Tong Univ, Dept Comp Sci, 800 Dongchuan Rd, Shanghai 200240, Peoples R China.

作者机构:[Song, Lin; Deng, Yuxin; Cai, Xiaojuan] Shanghai Jiao Tong Univ, Dept Comp Sci, Shanghai 200240, Peoples R China.

来源:USIC 2007: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON; QUALITY SOFTWARE,2007,50-59

收录类别:SCIE

资源类型:外文期刊论文

共 2 页, 21 条记录

TOP