消息
×
loading..
×
验证码:
换一张
忘记密码？
记住我
×
统一认证登录
登录
中文版
|
English
上海科技大学知识管理系统
ShanghaiTech University Knowledge Management System
统一认证登录
登录
注册
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
DOI
出处
存缴日期
收录类别
出版者
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
知识整合
学习讨论厅
反馈留言
个人主页
个人信息
个人简介
科研成果
代表性成果(1)
会议论文(2)
学位论文(1)
期刊论文(1)
来源
2022 44TH ANNUAL INTERNATI...(1)
2024 46TH ANNUAL INTERNATI...(1)
FORMAL ASPECTS OF COMPUTIN...(1)
收录类别
EI(1)
访问统计
来源
2022 44TH ANNUAL INTERNATI...(1)
2024 46TH ANNUAL INTERNATI...(1)
FORMAL ASPECTS OF COMPUTIN...(1)
发表日期
2025(1)
2024(2)
2022(1)
关键词云
More»
成果统计
More»
×
知识图谱
合作作者[TOP 5]
点击查看合作网络
江智浩
合作成果数：3
陈光耀
合作成果数：1
赖敏材
合作成果数：1
蔡佩珩
合作成果数：1
杨昊晨
合作成果数：1
合作作者
江智浩
合作成果数：3
陈光耀
合作成果数：1
赖敏材
合作成果数：1
蔡佩珩
合作成果数：1
杨昊晨
合作成果数：1
Chen, Xinye
合作成果数：1
Chenyang Zhu
合作成果数：1
Yining She
合作成果数：1
Zeyu Li
合作成果数：1
顾吉成
硕士生
所在学院：
信息科学与技术学院
职务：
--
研究方向：
备注：
--
科研成果
4
549
0
5
0
1
Items
Views
Downloads
TC[WOS]
TC[CSCD]
H-index
排序方式：
按发表日期降序
按发表日期升序
按WOS被引频次降序
按期刊影响因子降序
正在努力地加载数据中，请稍候……
[1]
Guangyao Chen,Zeyu Li,Jicheng Gu,Yining She,Chenyang Zhu,&Zhihao Jiang.(2025).Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems.
FORMAL ASPECTS OF COMPUTING
.
浏览/下载:
29/0
; IF:
1.4
/
1.3
评论
推荐
收藏
[2]
Gu JC,Cai PH,Jiang ZH. Towards Personalized Anti-tachycardia Pacing: A Formal Analysis Of Reentry Mechanisms And Adaptive Algorithm Development[C]. 2024 46th Annual International Conference Of The Ieee Engineering In Medicine And Biology Society (embc).2024-07-19.
浏览/下载:
298/0
; 被引[WOS]:
0
评论
推荐
收藏
[3]
顾吉成. 心脏电生理诊疗决策辅助系统的研发[D]. 上海. 上海科技大学. 2024-05-12.
浏览/下载:
12/0
评论
推荐
收藏
[4]
Lai, Mincai,Yang, Haochen,Gu, Jicheng,et al. Digital-twin-based Online Parameter Personalization For Implantable Cardiac Defibrillators[C]. 2022 44th Annual International Conference Of The Ieee Engineering In Medicine & Biology Society (embc).2022-07-15.
浏览/下载:
210/0
; 被引[WOS]:
5
评论
推荐
收藏
每页显示
10
0
条
‹
1
›
