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

Formal Aspects of Computing

IF1.4
论文数23
被引数471
期刊论文 23
发表时间
delete
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteWang, Chao; Petri, Gustavo; Lv, Yi; Long, Teng; Song, Xinhang; Liu, Zhiming
delete分享
delete收藏
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteSaadat, Maryam Ghaffari; Dixon, Clare; Fisher, Michael
delete分享
delete收藏
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete1
PREAI
deleteWoodcock, James
delete分享
delete收藏
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteLowe, Gavin
delete分享
delete收藏
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteGrzelak, Dominik; Hamann, Markus
delete分享
delete收藏
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteYang, Qizhe; Liang, Boxuan; Chen, Hao; Li, Guoqiang
delete分享
delete收藏
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete1
PREAI
deleteJones, Cliff
delete分享
delete收藏
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteChalmers, Kevin; Pedersen, Jan Baekgaard
delete分享
delete收藏
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteter Beek, Maurice H.; Johnsen, Einar Broch
delete分享
delete收藏
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteChen, Guangyao; Li, Zeyu; Gu, Jicheng; She, Yining; Zhu, Chenyang; Jiang, Zhihao
delete分享
delete收藏
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteGelessus, David; Stock, Sebastian; Vu, Fabian; Leuschel, Michael; Mashkoor, Atif
delete分享
delete收藏
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deletePassler, Juliane; Beek, Maurice H. Ter; Damiani, Ferruccio; Dubslaff, Clemens; Johnsen, Einar Broch; Tarifa, Silvia Lizeth Tapia
delete分享
delete收藏
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteWehrheim, Heike
delete分享
delete收藏
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteOtoni, Rodrigo; Blicha, Martin; Eugster, Patrick; Sharygina, Natasha
delete分享
delete收藏
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deletePaganoni, Marco; Furia, Carlo A.
delete分享
delete收藏
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteHerber, Paula; Wijs, Anton
delete分享
delete收藏
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteDunkelau, Jannik; Leuschel, Michael
delete分享
delete收藏
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteZiani, Yani; Bernier, Teo; Kosmatov, Nikolai; Loulergue, Frederic; Perez, Daniel Gracia
delete分享
delete收藏
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteBeek, Maurice H. Ter
delete分享
delete收藏
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteWoodcock, James
delete分享
delete收藏