科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
F
Fedor Shmarov
University of Manchester
8
H指数
37
论文数
197
被引数
0
相关解读
订阅
收录论文
3
发表时间
发表时间
IF
被引数
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
结合BMC和fuizing技术发现并发程序中的软件漏洞
IEEE ACCESS
IF
3.6
2022-01-01
4
OA
AI
Aljaafari, Fatimah K.; Menezes, Rafael; Manino, Edoardo; Shmarov, Fedor; Mustafa, Mustafa A.; Cordeiro, Lucas C.
分享
收藏
The use of psoriasis biomarkers, including trajectory of clinical response, to predict clearance and remission duration to UVB phototherapy
JOURNAL OF THE EUROPEAN ACADEMY OF DERMATOLOGY AND VENEREOLOGY
IF
8
2021-08-03
8
PRE
AI
Watson, N.; Wilson, N.; Shmarov, F.; Zuliani, P.; Reynolds, N. J.; Weatherhead, S. C.
分享
收藏
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
IEEE ACCESS
IF
3.6
2020-01-01
5
OA
AI
Shmarov, Fedor; Soudjani, Sadegh; Paoletti, Nicola; Bartocci, Ezio; Lin, Shan; Smolka, Scott A.; Zuliani, Paolo
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
N
Nick J. Reynolds
H 指数: 60 · 论文数: 408
S
Scott A. Smolka
H 指数: 42 · 论文数: 325
E
Ezio Bartocci
H 指数: 37 · 论文数: 266
S
Shan Lin
H 指数: 27 · 论文数: 150
L
Lucas C. Cordeiro
H 指数: 24 · 论文数: 295
查看更多