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

Milan Češka

Brno University of Technology

17H指数
111论文数
840被引数
收录论文 5
发表时间
logo
SagTree: Towards efficient mutation in evolutionary circuit approximation
errSWARM AND EVOLUTIONARY COMPUTATION
IF8.5
err2022-03-01
err0
PREAI
errCeska, Milan; Matyas, Jiri; Mrazek, Vojtech; Sekanina, Lukas; Vasicek, Zdenek; Vojnar, Tomas
err分享
err收藏
Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits
errAPPLIED SOFT COMPUTING
IF6.6
err2020-10-01
err2
errOAAI
errCeska, Milan; Matyas, Jiri; Mrazek, Vojtech; Sekanina, Lukas; Vasicek, Zdenek; Vojnar, Tomas
err分享
err收藏
Efficient synthesis of robust models for stochastic systems (vol 143, pg 140, 2018)
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2018-11-01
err0
errOAAI
errCalinescu, Radu; Ceska, Milan; Gerasimou, Simos; Kwiatkowska, Marta; Paoletti, Nicola
err分享
err收藏
Efficient synthesis of robust models for stochastic systems
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2018-09-01
err44
errOAAI
errCalinescu, Radu; Ceska, Milan; Gerasimou, Simos; Kwiatkowska, Marta; Paoletti, Nicola
err分享
err收藏
Designing fast LTL model checking algorithms for many-core GPUs
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2012-09-01
err34
PREAI
errBarnat, Jiri; Bauch, Petr; Brim, Lubos; Ceska, Milan
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Marta Kwiatkowska
H 指数: 67 · 论文数: 540
R
Radu Călinescu
H 指数: 32 · 论文数: 276
L
Lukáš Sekanina
H 指数: 32 · 论文数: 272
Z
Zdeněk Vašíček
H 指数: 29 · 论文数: 181
T
Tomáš Vojnar
H 指数: 27 · 论文数: 227
查看更多