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

Mieke Massink

consiglio nazionale delle ricerche (cnr)

29H指数
180论文数
3.0K被引数
收录论文 3
发表时间
logo
WEAK SIMPLICIAL BISIMILARITY AND MINIMISATION FOR POLYHEDRAL MODEL CHECKING多面体模型检测中的弱单纯形相似性与最小化
errLogical Methods in Computer Science
IF1
err2026-01-01
err0
PREAI
errBezhanishvili, Nick; Bussi, Laura; Ciancia, Vincenzo; Gabelaia, David; Jibladze, Mamuka; Latella, Diego; Massink, Mieke; De Vink, Erik P.
err分享
err收藏
Symbolic and hybrid AI for brain tissue segmentation using spatial model checking基于空间模型检测的脑组织分割符号与混合AI方法
errArtificial Intelligence in Medicine
IF6.2
err2025-05-24
err0
errOAAI
errGina Belmonte; Vincenzo Ciancia; Mieke Massink
err分享
err收藏
A Uniform Definition of Stochastic Process Calculi
errACM COMPUTING SURVEYS
IF28
err2013-07-11
err29
errOAAI
errde Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
R
Rocco De Nicola
H 指数: 46 · 论文数: 443
M
Michele Loreti
H 指数: 29 · 论文数: 184
D
Diego Latella
H 指数: 27 · 论文数: 183
E
E.P. de Vink
H 指数: 25 · 论文数: 166
N
Nick Bezhanishvili
H 指数: 19 · 论文数: 157
查看更多