logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
A

Andrei Karatkevich

AGH University of Krakow

11H指数
52论文数
525被引数
收录论文 4
发表时间
logo
Alvis Approach to Modeling and Verification of Real-Time Systems Running on Single-Processor Environment
errIEEE ACCESS
IF3.6
err2022-01-01
err0
errOAAI
errSzpyrka, Marcin; Baniewicz, Jaroslaw; Karatkevich, Andrei
err分享
err收藏
A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets
errieee transactions on cybernetics
IF8.7
err2020-10-01
err19
PREAI
errKaratkevich, Andrei G.; Wisniewski, Remigiusz
err分享
err收藏
Decomposition of distributed edge systems based on the Petri nets and linear algebra technique基于Petri网和线性代数技术的分布式边系统分解
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2019-06-01
err14
PREAI
errWisniewski, R.; Karatkevich, A.; Stefanowicz, L.; Wojnakowski, M.
err分享
err收藏
Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs
errIEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY
IF3.9
err2018-03-01
err35
PREAI
errWisniewski, Remigiusz; Karatkevich, Andrei; Adamski, Marian; Costa, Aniko; Gomes, Luis
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
L
Lúıs Gomes
H 指数: 25 · 论文数: 317
R
Remigiusz Wiśniewski
H 指数: 20 · 论文数: 127
A
Anikó Costa
H 指数: 15 · 论文数: 102
M
Marcin Szpyrka
H 指数: 15 · 论文数: 85
M
Marian Adamski
H 指数: 14 · 论文数: 60
查看更多